Javier Esparza

Publikationen

Liste als BibTeX-Datei exportieren

• 2017 Minimizing Test Suites with Unfoldings of Multithreaded Programs Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko und Javier Esparza ACM Trans. Embedded Comput. Syst., 16(2):45:1–45:24, 2017. Details DOI BIB
• 2009 Examining robotic systems with shape-adjustable manipulators under dynamic environments: From simulation to verification Chih-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, Details URL DOI BIB
• 2009 Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness Chih-Hong Cheng, Christian Buckl, Javier Esparza und Alois Knoll CoRR, abs/0905.3951():, 2009. Details URL BIB