Autor der Publikation

Enforcement of (Timed) Properties with Uncontrollable Events.

, , , , , und . ICTAC, Volume 9399 von Lecture Notes in Computer Science, Seite 542-560. Springer, (2015)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Enforcement of Timed Properties., , , , , und . RV, Volume 7687 von Lecture Notes in Computer Science, Seite 229-244. Springer, (2012)Robustness testing of composed real-time systems., , und . J. Comput. Methods Sci. Eng., 10 (3-6): 135-148 (2010)Testing Protocol Robustness., und . IICS, Volume 2877 von Lecture Notes in Computer Science, Seite 201-215. Springer, (2003)Testing robustness of communicating systems using ioco-based approach., und . ISCC, Seite 67-72. IEEE Computer Society, (2009)A pragmatic approach for testing robustness on real-time component based systems., , und . AICCSA, Seite 143. IEEE Computer Society, (2005)Experimental Test Generation for Real-Time Systems., , , und . IASSE, Seite 284-289. ISCA, (2004)Automatic Web Service Testing from WSDL Descriptions., und . IICS, Volume P-186 von LNI, Seite 217-226. GI, (2011)A pragmatic approach for testing stateless and stateful Web Service Robustness., und . Stud. Inform. Univ., 10 (2): 139-179 (2012)Automated Robustness Testing for Reactive Systems: Application to Communicating Protocols., , , und . IICS, Volume P-165 von LNI, Seite 409-421. GI, (2010)Multiple Mutation Testing for Timed Finite State Machine with Timed Guards and Timeouts., , und . ICTSS, Volume 11812 von Lecture Notes in Computer Science, Seite 104-120. Springer, (2019)