Martin Fränzle

Cited by

	All	Since 2018
Citations	3614	1437
h-index	30	19
i10-index	87	43

320

160

240

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202312 17 25 35 19 32 15 30 22 23 29 67 48 100 107 85 133 138 172 151 214 217 170 262 220 309 247 280 318 59

Public access

View all

73 articles

21 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 ZhanInstitute of Software Chinese Academy of SciencesVerified email at ios.ac.cn
Dr. Bai XueState Key Laboratory of Computer Science, Institute of Software CASVerified email at ios.ac.cn
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
Nacim RamdaniUniversité d'Orléans, Bourges, FranceVerified email at univ-orleans.fr
Nils Müllnerpostdoc, Mälardalen UniversityVerified email at informatik.uni-oldenburg.de
Alessandro AbateProfessor of Verification and Control, University of OxfordVerified email at cs.ox.ac.uk
Axel HahnProfessor für Informatik, Universität OldenburgVerified email at uol.de
Eckard BödeGerman Aerospace Center (DLR)Verified email at dlr.de
Stefan RatschanCzech Academy of SciencesVerified email at cs.cas.cz
Nedialko S. NedialkovProfessor, McMaster UniversityVerified email at mcmaster.ca
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang UniversityVerified email at zju.edu.cn
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
Christian EllenOFFISVerified email at offis.de
Liang ZouTencentVerified email at tencent.com
Mohamed AbdelaalResearch Scientist, Software AGVerified email at ipvs.uni-stuttgart.de
Sadegh SoudjaniReader / Associate Professor in Cyber-Physical Systems, Newcastle UniversityVerified email at ncl.ac.uk
Anders P. RavnAalborg UniversityVerified email at cs.aau.dk

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	438	2006
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	161	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	135	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	123	1994
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	119	2018
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	105	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	103	2013
Stochastic satisfiability modulo theory: A novel technique for the analysis of probabilistic hybrid systems M Fränzle, H Hermanns, T Teige Hybrid Systems: Computation and Control: 11th International Workshop, HSCC …, 2008	93	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	87	2008
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	65	2013
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	63	2015
Improving SAT modulo ODE for hybrid systems analysis by combining different enclosure methods A Eggers, N Ramdani, N Nedialkov, M Fränzle Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011	57	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	57	2005
Formal verification of Simulink/Stateflow diagrams L Zou, N Zhan, S Wang, M Fränzle Automated Technology for Verification and Analysis: 13th International …, 2015	52	2015
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	50	2008
What will be eventually true of polynomial hybrid automata? M Fränzle Theoretical Aspects of Computer Software: 4th International Symposium, TACS …, 2001	50	2001
Analysis of hybrid systems: An ounce of realism can save an infinity of states M Franzle Lecture Notes in Computer Science (см. в книгах) 1683, 126-140, 1999	46	1999
Model-checking dense-time duration calculus M Fränzle Formal Aspects of Computing 16, 121-139, 2004	45	2004
Test automation for hybrid systems B Badban, M Fränzle, J Peleska, T Teige Proceedings of the 3rd international workshop on Software quality assurance …, 2006	44	2006
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata M Fränzle, T Teige, A Eggers The Journal of Logic and Algebraic Programming 79 (7), 436-466, 2010	43	2010

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