Martin Fränzle - Concepedia

Author

Martin Fränzle

Carl von Ossietzky Universität Oldenburg ORCID

Also Known As

Fr\"anzle, Martin, Fraenzle, Martin, Fränzle, Martin, M. Franzle, Markey, Nicolas, Martin Franzle, Martin Fränzle, Martin FrÄnzle, Martin Fränzle, Martin Fränzle1

316

Publications

2.9K

Citations

H-Index

Concepts

All Affiliations

Carl von Ossietzky Universität Oldenburg Institute of Software Chinese Academy of Sciences Oldenburger Institut für Informatik University of Chinese Academy of Sciences

About

Martin Fränzle is an author at Carl von Ossietzky Universität Oldenburg specializing in engineering, systems engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	28	1K
2	Arts	1	1	19
3	Business	1	1	20
4	Natural Sciences	1	1	33
5	Classics	1	1	19

Martin Fränzle

Publications

1.6K

Citations

H-Index

Page 1

	Year	Citations
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1 Martin Fränzle, Christian Herde, Tino Teige, Journal on Satisfiability Boolean Modeling and Computation	2007	310
Nonlinear Model Predictive Control for trajectory tracking and collision avoidance of underactuated vessels with disturbances Mohamed Abdelaal, Martin Fränzle, Axel Hahn Ocean Engineering Naval ArchitectureUnderactuated VesselsEngineeringCollision AvoidanceAerospace Engineering	2018	186
HySAT: An efficient proof engine for bounded model checking of hybrid systems Martin Fränzle, Christian Herde Formal Methods in System Design Bounded Model CheckingEngineeringAutomated ReasoningProgram AnalysisEfficient Proof Engine	2006	108
Measurability and safety verification for stochastic hybrid systems Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns, Stochastic Hybrid SystemReachability AnalysisPrototypical ImplementationEngineeringStochastic System	2011	89
Modeling options for demand side participation of thermostatically controlled loads Maryam Kamgarpour, Christian Ellen, Sadegh Soudjani, Mathematical ProgrammingAggregate Tcl DynamicsEngineeringPower Grid OperationEnergy Efficiency	2013	82
Inner-Approximating Reachable Sets for Polynomial Systems With Time-Varying Uncertainties Xue Bai, Martin Fränzle, Naijun Zhan IEEE Transactions on Automatic Control Numerical AnalysisMathematical ProgrammingReachability AnalysisEngineeringReachability Problem	2019	50
Verifying Simulink diagrams via a Hybrid Hoare Logic Prover Liang Zou, Naijun Zhany, Shuling Wang, EngineeringVerificationComputer-aided VerificationModel VerificationFormal Verification	2013	47
Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods Andreas Eggers, Nacim Ramdani, Nedialko S. Nedialkov, Software & Systems Modeling Numerical AnalysisDifferent Enclosure MethodsSystems AnalysisEngineeringComputer Engineering	2012	45
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems Martin Fränzle, Christian Herde Electronic Notes in Theoretical Computer Science	2005	43
A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios Saifullah Khan, Muhammad Alam, Martin Fränzle, Computers & Electrical Engineering Vehicle CommunicationUrban ScenariosInternet Of VehicleSmart CityVehicle Network	2018	40

Page 1