Martin Fränzle

Cited by

	All	Since 2020
Citations	4225	1529
h-index	31	19
i10-index	104	46

340

170

255

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202515 19 24 40 21 31 18 28 18 19 30 55 42 92 95 93 136 140 183 145 212 213 160 260 223 314 255 285 320 321 323 22

Public access

View all

89 articles

28 articles

available

not available

Based on funding mandates

Co-authors

Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGVerified email at btc-es.de
Naijun ZhanSchool of Computer Science, Peking UniversityVerified email at ios.ac.cn
Bai XueFull Professor, State Key Laboratory of Computer Science,Institute of Software, CASVerified email at ios.ac.cn
Nacim RamdaniUniversité d'Orléans, Bourges, FranceVerified email at univ-orleans.fr
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerified email at informatik.uni-oldenburg.de
Bernd BeckerProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-freiburg.de
Nils Müllnerpostdoc, Mälardalen UniversityVerified email at informatik.uni-oldenburg.de
Axel HahnDirektor DLR-Institut, Professor für Informatik, Universität OldenburgVerified email at uol.de
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Eckard BödeGerman Aerospace Center (DLR)Verified email at dlr.de
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
Stefan RatschanCzech Academy of SciencesVerified email at cs.cas.cz
Nedialko S. NedialkovProfessor, McMaster UniversityVerified email at mcmaster.ca
Andreas LüdtkeOFFIS Institut für InformatikVerified email at offis.de
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
Kim GrüttnerGerman Aerospace Center (DLR)Verified email at dlr.de
Liang ZouTencentVerified email at tencent.com
Christian EllenOFFISVerified email at offis.de
Mani SwaminathanResearcher in Computer ScienceVerified email at uni-oldenburg.de
Willem HagemannUniversität OldenburgVerified email at uni-oldenburg.de

Martin Fränzle

Professor of Computer Science, University of Oldenburg

Verified email at informatik.uni-oldenburg.de

Formal methods in computer science hybrid discrete-continuous systems control


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Efficient solving of large non-linear arithmetic constraint systems with complex boolean structure M Fränzle, C Herde, T Teige, S Ratschan, T Schubert Journal on Satisfiability, Boolean Modeling and Computation 1 (3-4), 209-236, 2006	464	2006
Nonlinear Model Predictive Control for trajectory tracking and collision avoidance of underactuated vessels with disturbances M Abdelaal, M Fränzle, A Hahn Ocean Engineering 160, 168-180, 2018	197	2018
HySAT: An efficient proof engine for bounded model checking of hybrid systems M Fränzle, C Herde Formal Methods in System Design 30, 179-198, 2007	178	2007
Analysis of hybrid systems: An ounce of realism can save an infinity of states M Fränzle Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999	150	1999
Provably correct systems J He, CAR Hoare, M Fränzle, M Müller-Olm, ER Olderog, M Schenke, ... Formal Techniques in Real-Time and Fault-Tolerant Systems: Third …, 1994	127	1994
Measurability and safety verification for stochastic hybrid systems M Fränzle, EM Hahn, H Hermanns, N Wolovick, L Zhang Proceedings of the 14th international conference on Hybrid systems …, 2011	118	2011
Modeling options for demand side participation of thermostatically controlled loads M Kamgarpour, C Ellen, SEZ Soudjani, S Gerwinn, JL Mathieu, N Müllner, ... 2013 IREP Symposium Bulk Power System Dynamics and Control-IX Optimization …, 2013	107	2013
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems M Fränzle, H Hermanns, T Teige International Workshop on Hybrid Systems: Computation and Control, 172-186, 2008	99	2008
SAT modulo ODE: A direct SAT approach to hybrid systems A Eggers, M Fränzle, C Herde Automated Technology for Verification and Analysis: 6th International …, 2008	96	2008
Identification and quantification of hazardous scenarios for automated driving B Kramer, C Neurohr, M Büker, E Böde, M Fränzle, W Damm International symposium on model-based safety and assessment, 163-178, 2020	76	2020
Verifying simulink diagrams via a hybrid hoare logic prover L Zou, N Zhany, S Wang, M Fränzle, S Qin 2013 Proceedings of the International Conference on Embedded Software …, 2013	76	2013
Formal verification of Simulink/Stateflow diagrams L Zou, N Zhan, S Wang, M Fränzle Automated Technology for Verification and Analysis: 13th International …, 2015	71	2015
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods A Eggers, N Ramdani, NS Nedialkov, M Fränzle Software & Systems Modeling 14 (1), 121-148, 2015	65	2015
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods A Eggers, N Ramdani, N Nedialkov, M Fränzle International Conference on Software Engineering and Formal Methods, 172-187, 2011	65	2011
Efficient proof engines for bounded model checking of hybrid systems M Fränzle, C Herde Electronic Notes in Theoretical Computer Science 133, 119-137, 2005	61	2005
Inner-approximating reachable sets for polynomial systems with time-varying uncertainties B Xue, M Fränzle, N Zhan IEEE Transactions on Automatic Control 65 (4), 1468-1483, 2019	58	2019
Analysis of hybrid systems using HySAT C Herde, A Eggers, M Fränzle, T Teige Third International Conference on Systems (icons 2008), 196-201, 2008	52	2008
What will be eventually true of polynomial hybrid automata? M Fränzle Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001	51	2001
A comprehensive and harmonized method for assessing the effectiveness of advanced driver assistance systems by virtual simulation: the PEARS initiative P Yves, F Felix, F Anita, G Johann, H Thomas, L Magdalena, P Stefan, ... Proc. 24th Int. Tech. Conf. Enhanced Saf. Vehicles (ESV), 1-12, 2015	49	2015
A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios S Khan, M Alam, M Fränzle, N Müllner, Y Chen Computers & Electrical Engineering 68, 447-462, 2018	48	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors