Bernd Westphal

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On implementable timed automata Formal Techniques for Distributed Objects, Components, and Systems	2022-10-13	Paper
On global scheduling independency in networks of timed automata	2017-12-01	Paper
Quasi-dependent variables in hybrid automata Proceedings of the 17th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Transformations for compositional verification of assumption-commitment properties Lecture Notes in Computer Science	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 MSCS. Mathematical Structures in Computer Science	2013-08-26	Paper
Detecting quasi-equal clocks in timed automata Lecture Notes in Computer Science	2013-08-16	Paper
Timed automata with disjoint activity Lecture Notes in Computer Science	2012-11-21	Paper
Reducing quasi-equal clocks in networks of timed automata Lecture Notes in Computer Science	2012-11-21	Paper
Live and let die: LSC-based verification of UML-models. Lecture Notes in Computer Science	2010-02-09	Paper
Mind the Shapes: Abstraction Refinement Via Topology Invariants Automated Technology for Verification and Analysis	2008-07-03	Paper
The Spotlight Principle Lecture Notes in Computer Science	2008-04-04	Paper
On the Expressive Power of Live Sequence Charts Program Analysis and Compilation, Theory and Practice	2007-09-24	Paper
Check It Out: On the Efficient Formal Verification of Live Sequence Charts Computer Aided Verification	2007-09-05	Paper
Live and let die: LSC based verification of UML models Science of Computer Programming	2005-05-12	Paper

Research outcomes over time

This page was built for person: Bernd Westphal