PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Jéron, Thierry"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Predictive runtime verification of timed properties.

, , , , , und . Journal of Systems and Software, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Jose Juan Jeronimo Rendon University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Validation and Test Generation for Object-Oriented Distributed Software., , und . PDSE, Seite 51-60. IEEE Computer Society, (1998)A game approach to determinize timed automata., , , und . Formal Methods in System Design, 46 (1): 42-80 (2015)On-the-fly Verification of Finite Transition Systems., , , und . Formal Methods in System Design, 1 (2/3): 251-273 (1992)An Approach to Symbolic Test Generation., , und . IFM, Volume 1945 von Lecture Notes in Computer Science, Seite 338-357. Springer, (2000)Test Cases Generation for Nondeterministic Real-Time Systems., , und . FATES, Volume 2931 von Lecture Notes in Computer Science, Seite 131-146. Springer, (2003)More Testable Properties., , , , und . ICTSS, Volume 6435 von Lecture Notes in Computer Science, Seite 30-46. Springer, (2010)Using On-The-Fly Verification Techniques for the Generation of test Suites., , , und . CAV, Volume 1102 von Lecture Notes in Computer Science, Seite 348-359. Springer, (1996)Abstracting Time and Data for Conformance Testing of Real-Time Systems., , , und . ICST Workshops, Seite 9-17. IEEE Computer Society, (2011)Model-checking of infinite Kripke structures defined by simple graph grammars., und . Electron. Notes Theor. Comput. Sci., (1995)3D Layout of Reachability Graphs of Communicating Processes., und . Graph Drawing, Volume 894 von Lecture Notes in Computer Science, Seite 25-32. Springer, (1994)