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 |
|---|---|---|
| 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
