Concepedia

Martin Fränzle

MF

39

Publications

1.6K

Citations

20

H-Index

1993

Active since

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Institute of Software

Chinese Academy of Sciences

Oldenburger Institut für Informatik

University of Chinese Academy of Sciences

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

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsFormal VerificationComputer EngineeringVerificationAutomated ReasoningAutomationProgram Analysis

Publications per year

1993–2023

39

Publications

39

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure1

Martin Fränzle, Christian Herde, Tino Teige et al. · Journal on Satisfiability Boolean Modeling and Computation · 2007 · 310 citations · Full text

Nonlinear Model Predictive Control for trajectory tracking and collision avoidance of underactuated vessels with disturbances

Mohamed Abdelaal, Martin Fränzle, Axel Hahn · Ocean Engineering · 2018 · 186 citations

Naval Architecture, Underactuated Vessels, Engineering +9

HySAT: An efficient proof engine for bounded model checking of hybrid systems

Martin Fränzle, Christian Herde · Formal Methods in System Design · 2006 · 108 citations

Bounded Model Checking, Engineering, Automated Reasoning +14

Measurability and safety verification for stochastic hybrid systems

Martin Fränzle, Ernst Moritz Hahn, Holger Hermanns et al. · 2011 · 89 citations

Stochastic Hybrid System, Reachability Analysis, Prototypical Implementation +15

Modeling options for demand side participation of thermostatically controlled loads

Maryam Kamgarpour, Christian Ellen, Sadegh Soudjani et al. · 2013 · 82 citations · Full text

Mathematical Programming, Aggregate Tcl Dynamics, Engineering +18

Rows per page

1–5 of 39