Publikationen
Liste als BibTeX-Datei exportieren
- Minimizing Test Suites with Unfoldings of Multithreaded Programs ACM Trans. Embedded Comput. Syst., 16(2):45:1–45:24, 2017. Details DOI BIB
- Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification In MariaSimonetta Balsamo , William J. Knottenbelt und Andrea Marin , Editor, Proceedings of the IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2009, 15-18 December 2009, Daejeon, Korea, Seiten 72–77, 2009. Details URL DOI BIB
- Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness CoRR, abs/0905.3951():, 2009. Details URL BIB