Martin Fränzle

צוטט על ידי

	הכל	מאז 2019
ציטוטים ביבליוגרפיים	4095	1721
H-index	31	20
i10-index	100	51

340

170

255

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202415 19 24 40 21 31 18 28 18 19 30 55 42 92 95 93 135 140 183 145 212 213 159 261 220 314 253 285 316 324 224

גישה ציבורית

הצג הכל

81 מאמרים

27 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Tino TeigeChief Research Engineer Innovation & Technology, BTC Embedded Systems AGכתובת אימייל מאומתת בדומיין btc-es.de
Naijun ZhanSchool of Computer Science, Peking Universityכתובת אימייל מאומתת בדומיין ios.ac.cn
Bai XueFull Professor, State Key Laboratory of Computer Science,Institute of Software, CASכתובת אימייל מאומתת בדומיין ios.ac.cn
Nacim RamdaniUniversité d'Orléans, Bourges, Franceכתובת אימייל מאומתת בדומיין univ-orleans.fr
Ernst-Ruediger OlderogProfessor für Informatik, Universität Oldenburgכתובת אימייל מאומתת בדומיין informatik.uni-oldenburg.de
Bernd BeckerProfessor of Computer Science, University of Freiburgכתובת אימייל מאומתת בדומיין informatik.uni-freiburg.de
Nils Müllnerpostdoc, Mälardalen Universityכתובת אימייל מאומתת בדומיין informatik.uni-oldenburg.de
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKכתובת אימייל מאומתת בדומיין cs.ox.ac.uk
Axel HahnDirektor DLR-Institut, Professor für Informatik, Universität Oldenburgכתובת אימייל מאומתת בדומיין uol.de
Eckard BödeGerman Aerospace Center (DLR)כתובת אימייל מאומתת בדומיין dlr.de
Stefan RatschanCzech Academy of Sciencesכתובת אימייל מאומתת בדומיין cs.cas.cz
Mingshuai ChenAssistant Professor of Computer Science, Zhejiang Universityכתובת אימייל מאומתת בדומיין zju.edu.cn
Nedialko S. NedialkovProfessor, McMaster Universityכתובת אימייל מאומתת בדומיין mcmaster.ca
Holger HermannsProfessor of Computer Science, Saarland University, Saarland Informatics Campusכתובת אימייל מאומתת בדומיין cs.uni-saarland.de
Kim GrüttnerGerman Aerospace Center (DLR)כתובת אימייל מאומתת בדומיין dlr.de
Andreas LüdtkeOFFIS Institut für Informatikכתובת אימייל מאומתת בדומיין offis.de
Christian EllenOFFISכתובת אימייל מאומתת בדומיין offis.de
Liang ZouTencentכתובת אימייל מאומתת בדומיין tencent.com
Mani SwaminathanResearcher in Computer Scienceכתובת אימייל מאומתת בדומיין uni-oldenburg.de
Anders P. RavnAalborg Universityכתובת אימייל מאומתת בדומיין cs.aau.dk

עקוב אחר

Martin Fränzle

Professor of Computer Science, University of Oldenburg

כתובת אימייל מאומתת בדומיין informatik.uni-oldenburg.de

Formal methods in computer science hybrid discrete-continuous systems control


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	458	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‏	188	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‏	175	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‏	113	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‏	106	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‏	95	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‏	75	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‏	67	2015
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‏	64	2020
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‏	64	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‏	62	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‏	57	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‏	51	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 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‏	47	2018
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‏	47	2015

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים