( en | de | ru )

 

Disambiguierung von "Rollet, Antoine"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime Enforcement of Timed Properties.

, , , , , und . RV, Volume 7687 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2012)

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.

Jacques Antoine

Gerhard Antoine

Rainer Antoine

Antoine Kahn

Antoine Derighetti

 

Weitere Publikationen von Autoren mit dem selben Namen

Robustness testing of composed real-time systems., , und . J. Comput. Methods Sci. Eng., 10 (3-6): 135-148 (2010)Runtime Enforcement of Timed Properties., , , , , und . RV, Volume 7687 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2012)Testing robustness of communicating systems using ioco-based approach., und . ISCC, Seite 67-72. IEEE Computer Society, (2009)Testing Protocol Robustness., und . IICS, Volume 2877 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2003)A pragmatic approach for testing robustness on real-time component based systems., , und . AICCSA, Seite 143. IEEE Computer Society, (2005)A pragmatic approach for testing stateless and stateful Web Service Robustness., und . Stud. Inform. Univ., 10 (2): 139-179 (2012)Optimal enforcement of (timed) properties with uncontrollable events., , , , und . Math. Struct. Comput. Sci., 29 (1): 169-214 (2019)Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols., , , und . IICS, Volume P-165 von LNI, Seite 409-421. GI, (2010)Robustness Testing on Composed Timed Systems., , und . SEDE, Seite 161-167. ISCA, (2009)Guiding Symbolic Execution with A-Star., , , und . SEFM, Volume 14323 von Lecture Notes in Computer Science, Seite 47-65. Springer, (2023)