Bernd Westphal

Available identifiers

zbMath Open westphal.berndMaRDI QIDQ1683434

List of research outcomes

Publication	Date of Publication	Type
On implementable timed automata	2022-10-13	Paper
On global scheduling independency in networks of timed automata	2017-12-01	Paper
Quasi-dependent variables in hybrid automata	2017-05-16	Paper
Transformations for compositional verification of assumption-commitment properties	2015-10-28	Paper
Concurrent LSC verification	2013-12-04	Paper
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems	2013-08-26	Paper
Detecting quasi-equal clocks in timed automata	2013-08-16	Paper
Timed automata with disjoint activity	2012-11-21	Paper
Reducing quasi-equal clocks in networks of timed automata	2012-11-21	Paper
Live and let die: LSC-based verification of UML-models.	2010-02-09	Paper
Mind the Shapes: Abstraction Refinement Via Topology Invariants	2008-07-03	Paper
The Spotlight Principle	2008-04-04	Paper
On the Expressive Power of Live Sequence Charts	2007-09-24	Paper
Check It Out: On the Efficient Formal Verification of Live Sequence Charts	2007-09-05	Paper
Live and let die: LSC based verification of UML models	2005-05-12	Paper

Research outcomes over time

This page was built for person: Bernd Westphal