Martin Fränzle

According to our database1, Martin Fränzle authored at least 111 papers between 1992 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
A Traffic Aware Segment-based Routing protocol for VANETs in urban scenarios.
Computers & Electrical Engineering, 2018

Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions.
Proceedings of the Computer Safety, Reliability, and Security, 2018

Quantitative Risk Assessment of Safety-Critical Systems via Guided Simulation for Rare Events.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Costs and Rewards in Priced Timed Automata.
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

Under-Approximating Reach Sets for Polynomial Continuous Systems.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

What's to Come is Still Unsure - Synthesizing Controllers Resilient to Delayed Interaction.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis.
IEEE Trans. Automat. Contr., 2017

Model Checking Delay Differential Equations Against Metric Interval Temporal Logic.
Sci. Ann. Comp. Sci., 2017

Navigating with safety in confined waterways: an explorative case study.
Proceedings of the Mensch und Computer 2017, 2017

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2017

Safe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

A hybrid MAC scheme for wireless vehicular communication.
Proceedings of the IEEE EUROCON 2017 -17th International Conference on Smart Technologies, 2017

Just scratching the surface: Partial exploration of initial values in reach-set computation.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

The Demon, the Gambler, and the Engineer - Reconciling Hybrid-System Theory with Metrology.
Proceedings of the Symposium on Real-Time and Hybrid Systems, 2017

Constraint-Solving Techniques for the Analysis of Stochastic Hybrid Systems.
Proceedings of the Provably Correct Systems, 2017

2016
Improving Energy Efficiency in QoS-Constrained Wireless Sensor Networks.
IJDSN, 2016

Robustness in Cyber-Physical Systems (Dagstuhl Seminar 16362).
Dagstuhl Reports, 2016

Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491).
Dagstuhl Reports, 2016

Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment.
Proceedings of the 2016 IEEE Vehicular Networking Conference, 2016

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving.
Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

Multi-channel mode for emergency system in urban connected vehicles.
Proceedings of the 24th IEEE/ACM International Symposium on Quality of Service, 2016

Temporal Logic Verification for Delay Differential Equations.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Advancing Software Model Checking Beyond Linear Arithmetic Theories.
Proceedings of the Hardware and Software: Verification and Testing, 2016

Accurate ICP-based floating-point reasoning.
Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

Discounted Duration Calculus.
Proceedings of the FM 2016: Formal Methods, 2016

Validated Simulation-Based Verification of Delayed Differential Dynamics.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains.
STTT, 2015

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods.
Software and System Modeling, 2015

State-based real-time analysis of SDF applications on MPSoCs with shared communication resources.
Journal of Systems Architecture - Embedded Systems Design, 2015

Cooperation and network coding based MAC protocol for VANETs.
Proceedings of the 2015 IEEE Vehicular Networking Conference, 2015

Estimating the probability of a timely traffic-hazard warning via simulation.
Proceedings of the 48th Annual Simulation Symposium, 2015

Envisioning self-verification of electronic systems.
Proceedings of the 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2015

A Solving Procedure for Stochastic Satisfiability Modulo Theories with Continuous Domain.
Proceedings of the Quantitative Evaluation of Systems, 12th International Conference, 2015

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2015

Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints.
Proceedings of the 2015 IEEE European Modelling Symposium, 2015

Automatic Verification of Stability and Safety for Delay Differential Equations.
Proceedings of the Computer Aided Verification - 27th International Conference, 2015

Verification of Stochastic Systems by Stochastic Satisfiability Modulo Theories with Continuous Domain.
Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

Robust indoor location tracking of multiple inhabitants using only binary sensors.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

No Need Knowing Numerous Neighbours - Towards a Realizable Interpretation of MLSL.
Proceedings of the Correct System Design, 2015

Formal Verification of Simulink/Stateflow Diagrams.
Proceedings of the Automated Technology for Verification and Analysis, 2015

2014
Modeling, Verification, and Control of Complex Systems for Energy Networks (Dagstuhl Seminar 14441).
Dagstuhl Reports, 2014

Transformations for Compositional Verification of Assumption-Commitment Properties.
Proceedings of the Reachability Problems - 8th International Workshop, 2014

Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems.
Proceedings of the Reachability Problems - 8th International Workshop, 2014

Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.
Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

EAVS: Energy aware virtual sensing for wireless sensor networks.
Proceedings of the 2014 IEEE Ninth International Conference on Intelligent Sensors, 2014

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts.
Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems.
Proceedings of the 28th IEEE International Conference on Advanced Information Networking and Applications, 2014

2013
Combining decomposition and reduction for state space analysis of a self-stabilizing system.
J. Comput. Syst. Sci., 2013

Preface.
Electr. Notes Theor. Comput. Sci., 2013

A path planning framework for autonomous vehicles.
Proceedings of the 9th Workshop on Robot Motion and Control, 2013

Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation.
Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics, and Risk Management. Healthcare and Safety of the Environment and Transport, 2013

Verifying Simulink diagrams via a Hybrid Hoare Logic Prover.
Proceedings of the International Conference on Embedded Software, 2013

Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability.
Logical Methods in Computer Science, 2012

Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2012

Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System.
Proceedings of the IEEE 26th International Conference on Advanced Information Networking and Applications, 2012

2011
Semantic Independence.
Proceedings of the Encyclopedia of Parallel Computing, 2011

Parallel SAT Solving in Bounded Model Checking.
J. Log. Comput., 2011

Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Using Guided Simulation to Assess Driver Assistance Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011

Measurability and safety verification for stochastic hybrid systems.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011

Crossing the Bridge between Similar Games.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Proof certificates and non-linear arithmetic constraints.
Proceedings of the 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2011

2010
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata.
J. Log. Algebr. Program., 2010

Resolution for Stochastic Boolean Satisfiability.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.
Proceedings of the FORMS/FORMAT 2010, 2010

Using Guided Simulation to Assess Driver Assistance Systems.
Proceedings of the FORMS/FORMAT 2010, 2010

2009
Efficient Model Checking for Duration Calculus?
Int. J. Software and Informatics, 2009

Proofs of Unsatisfiability for mixed Boolean and Non-linear Arithmetic Constraint Formulae.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Constraint-Based Analysis of Probabilistic Hybrid Systems.
Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

2008
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.
Proceedings of the Fifth IFIP International Conference On Theoretical Computer Science, 2008

Analysis of Hybrid Systems Using HySAT.
Proceedings of the Third International Conference on Systems, 2008

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2008

2007
Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure.
JSAT, 2007

SFB/TR 14 AVACS - Automatic Verification and Analysis of Complex Systems (Der Sonderforschungsbereich/Transregio 14 AVACS - Automatische Verifikation und Analyse komplexer Systeme).
it - Information Technology, 2007

HySAT: An efficient proof engine for bounded model checking of hybrid systems.
Formal Methods in System Design, 2007

A Symbolic Decision Procedure for Robust Safety of Timed Systems.
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Deciding an Interval Logic with Accumulated Durations.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Verification of Hybrid Systems.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006
Test automation for hybrid systems.
Proceedings of the Third International Workshop on Software Quality Assurance, 2006

An optimal approach to the task allocation problem on hierarchical architectures.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Parallel SAT Solving in Bounded Model Checking.
Proceedings of the Formal Methods: Applications and Technology, 2006

2005
Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.
Electr. Notes Theor. Comput. Sci., 2005

Scheduling Distributed Real-Time Systems by Satisfiability Checking.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

A Robust Interpretation of Duration Calculus.
Proceedings of the Theoretical Aspects of Computing, 2005

2004
Model-checking dense-time Duration Calculus.
Formal Asp. Comput., 2004

Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2003
A Semantics for Distributed Execution of Statemate.
Formal Asp. Comput., 2003

Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems.
Proceedings of the Logic for Programming, 2003

2002
Take It NP-Easy: Bounded Model Construction for Duration Calculus.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

2001
Visual temporal logic as a rapid prototyping tool.
Comput. Lang., 2001

What Will Be Eventually True of Polynomial Hybrid Automata?
Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

1999
Analysis of Hybrid Systems: An Ounce of Realism Can Save an Infinity of States.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999

Compilation and Synthesis for Real-Time Embedded Controllers.
Proceedings of the Correct System Design, 1999

1998
Compiling Graphical Real-Time Specifications into Silicon.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997
Controller design from temporal logic: undecidability need not matter.
PhD thesis, 1997

1996
Synthesizing Controllers from Duration Calculus.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1995
A Generalized Notion of Semantic Independence.
Inf. Process. Lett., 1995

1994
Provably Correct Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Towards Provably Correct Code Gneration for a Hard Real-Time Programming Language.
Proceedings of the Compiler Construction, 5th International Conference, 1994

1993
Developing Correct Systems.
Proceedings of the Fifth Euromicro Workshop on Real-Time Systems, 1993

1992
Provably Correct Compiler Development and Implementation.
Proceedings of the Compiler Construction, 1992


  Loading...