Henning Dierks

From MaRDI portal
Person:436412

Available identifiers

zbMath Open dierks.henningMaRDI QIDQ436412

List of research outcomes





PublicationDate of PublicationType
Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces2012-07-20Paper
Constructing Test Automata from Graphical Real-Time Requirements2011-04-08Paper
Towards Component Based Design of Hybrid Systems: Safety and Stability2010-09-07Paper
Real-Time Systems2008-10-09Paper
Automatic Abstraction Refinement for Timed Automata2008-07-03Paper
Model Checking Software2007-05-02Paper
Comparing model checking and logical reasoning for real-time systems2004-10-01Paper
https://portal.mardi4nfdi.de/entity/Q44179292003-07-30Paper
PLC-automata: A new class of implementable real-time automata2000-12-12Paper
https://portal.mardi4nfdi.de/entity/Q45099952000-10-19Paper

Research outcomes over time

This page was built for person: Henning Dierks

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:436412&oldid=10780746"
Powered by MediaWiki