Henning Dierks

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
Decomposing real-time specifications	2025-03-19	Paper
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces Science of Computer Programming	2012-07-20	Paper
Constructing test automata from graphical real-time requirements Lecture Notes in Computer Science	2011-04-08	Paper
Towards Component Based Design of Hybrid Systems: Safety and Stability Time for Verification	2010-09-07	Paper
Real-Time Systems	2008-10-09	Paper
Automatic Abstraction Refinement for Timed Automata Lecture Notes in Computer Science	2008-07-03	Paper
Model Checking Software Lecture Notes in Computer Science	2007-05-02	Paper
Comparing model checking and logical reasoning for real-time systems Formal Aspects of Computing	2004-10-01	Paper
scientific article; zbMATH DE number 1956586 (Why is no real title available?)	2003-07-30	Paper
PLC-automata: A new class of implementable real-time automata Theoretical Computer Science	2000-12-12	Paper
scientific article; zbMATH DE number 1519980 (Why is no real title available?)	2000-10-19	Paper

Research outcomes over time

This page was built for person: Henning Dierks