Martin Fränzle

Prof. for Foundationsd and Applications of Systems of Cyber-Physical Systems

Carl von Ossietzky Universität Oldenburg

Germany

Research Interests

Explore related searches

Professors in Germany

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Martin Fränzle is a Professor for Foundations and Applications of Systems of Cyber-Physical Systems at Carl von Ossietzky Universität Oldenburg, Germany. His research encompasses efficient runtime verification, contract-based specifications of timing behaviors, and the analysis of stochastic differential equations. He has contributed significantly to the field through various publications, focusing on the architecture of human cyber-physical systems and ensuring safety properties in interacting systems.

Articles (15)

Year:

2025

Year:

2024

Year:

2024

Year:

2024

Year:

2024

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Year:

2021

Collaborators (4)

David Hess

Professor

Vanderbilt University

UNITED STATES

View details

Janos Sztipanovits

Vanderbilt University

UNITED STATES

View details

Mingshuai Chen

RWTH Aachen University

GERMANY

View details

Martin Zimmermann

Aalborg University

DENMARK

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Martin Fränzle

Research Interests

Explore related searches

Contact this professor

About

Articles (15)

Efficient Runtime Verification of Real-Time Systems under Parametric Communication Delays

A Reference Architecture of Human Cyber-Physical Systems – Part I: Fundamental Concepts

A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations

A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction

Reach-Avoid Analysis for Polynomial Stochastic Differential Equations

Contract-based specification of mode-dependent timing behavior

Reach-Avoid Verification Based on Convex Optimization

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

Costs and rewards in priced timed automata

A comparative, sociotechnical design perspective on Responsible Innovation: multidisciplinary research and education on digitized energy and Automated Vehicles

A sampling-based approach for handling delays in continuous and hybrid systems

Bayesian hybrid automata: Reconciling formal methods with metrology

Functional verification of cyber-physical systems containing machine-learnt components

Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control

Phase transition in the bipartite z-matching

Collaborators (4)

David Hess

Janos Sztipanovits

Mingshuai Chen

Martin Zimmermann

Make your next move.