Publikationen
Liste als BibTeX-Datei exportieren
- 2017Minimizing Test Suites with Unfoldings of Multithreaded ProgramsOlli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko und Javier EsparzaACM Trans. Embedded Comput. Syst.,
16(2):45:1–45:24,
2017.
DetailsURLDOIBIB
- 2009Examining robotic systems with shape-adjustable manipulators under
dynamic environments: From simulation to verificationChih-Hong Cheng, Alois Knoll, Christian Buckl, Javier Esparza und Yang Chen
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,
DetailsURLDOIBIB
- 2009Modeling and Verification for Timing Satisfaction of Fault-Tolerant
Systems with FinitenessChih-Hong Cheng, Christian Buckl, Javier Esparza und Alois KnollCoRR,
abs/0905.3951():,
2009.
DetailsURLBIB