PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Fränzle, Martin"

Author of the publication

copydeleteadd this publication to your clipboard
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.

, , , and . FORMS/FORMAT, page 207-215. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martin Wimpff University of Stuttgart

EEG motor imagery decoding: A framework for comparative analysis with channel attention mechanisms, , , and . Journal of Neural Engineering, (2024)

Dr. -Ing. Martin Dazer University of Stuttgart

Increasing Availability of High Power Drivetrain Applications using Adaptive Operating Strategies. (2024)(Präsentation).

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

 

Other publications of authors with the same name

EAVS: Energy aware virtual sensing for wireless sensor networks., , , and . ISSNIP, page 1-6. IEEE, (2014)Estimating the probability of a timely traffic-hazard warning via simulation., , and . SpringSim (ANSS), page 130-137. SCS/ACM, (2015)Controller design from temporal logic: undecidability need not matter.. University of Kiel, (1997)Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains., , and . STTT, 17 (4): 485-504 (2015)Engineering constraint solvers for automatic analysis of probabilistic hybrid automata., , and . J. Log. Algebr. Program., 79 (7): 436-466 (2010)Robust indoor location tracking of multiple inhabitants using only binary sensors., , , , and . CASE, page 194-199. IEEE, (2015)A path planning framework for autonomous vehicles., , and . RoMoCo, page 203-208. IEEE, (2013)The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge., , , and . FORMS/FORMAT, page 207-215. Springer, (2010)Using Guided Simulation to Assess Driver Assistance Systems., , , , and . FORMS/FORMAT, page 195-205. Springer, (2010)Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods., , , and . Software and Systems Modeling, 14 (1): 121-148 (2015)