Autor der Publikation

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

Model Checking.. Software and Systems Safety - Specification and Verification, Volume 30 von NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2011)Black Box Checking., , und . FORTE, Volume 156 von IFIP Conference Proceedings, Seite 225-240. Kluwer, (1999)Formal Methods for Message Sequence Charts.. ICDCS Workshop on Distributed System Validation and Verification, Seite E7-E13. (2000)An improvement in formal verification., und . FORTE, Volume 6 von IFIP Conference Proceedings, Seite 197-211. Chapman & Hall, (1994)Analyzing Message Sequence Charts., und . SAM, Seite 3-17. VERIMAG, IRISA, SDL Forum, (2000)Synthesis of succinct systems., , und . J. Comput. Syst. Sci., 81 (7): 1171-1193 (2015)Adaptive Model Checking., , und . Logic Journal of the IGPL, 14 (5): 729-744 (2006)Interleaving Set Temporal Logic., und . Theor. Comput. Sci., 75 (3): 263-287 (1990)Verification of Distributed Programs Using Representative Interleaving Sequences., und . Distributed Computing, 6 (2): 107-120 (1992)An Algorithmic Approach for Checking Closure Properties of Temporal Logic Specifications and Omega-Regular Languages., , und . Theor. Comput. Sci., 195 (2): 183-203 (1998)