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
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System.

, , and . AINA, page 936-943. IEEE Computer Society, (2012)

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)

Martin Baumann

Martin Schwartz University of Stuttgart

Martin Alvarez University of Stuttgart

Univ. -Prof. Martin Ostermann University of Stuttgart

 

Other publications of authors with the same name

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains., , and . STTT, 17 (4): 485-504 (2015)A path planning framework for autonomous vehicles., , and . RoMoCo, page 203-208. IEEE, (2013)EAVS: Energy aware virtual sensing for wireless sensor networks., , , and . ISSNIP, page 1-6. IEEE, (2014)Engineering constraint solvers for automatic analysis of probabilistic hybrid automata., , and . J. Log. Algebr. Program., 79 (7): 436-466 (2010)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)Robust indoor location tracking of multiple inhabitants using only binary sensors., , , , and . CASE, page 194-199. IEEE, (2015)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)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)