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

X-Separability and Left-Invertibility in lambda-calculus, und . LICS, Seite 320-328. IEEE Computer Society, (1987)Visualisation of Control Software for Cyber-Physical Systems., , , und . Inf., 12 (5): 178 (2021)Formal Models of Timing Attacks on Web Privacy., , , , , , und . TOSCA, Volume 62 von Electronic Notes in Theoretical Computer Science, Seite 229-243. Elsevier, (2001)Flexible Plan Verification: Feasibility Results., , , , und . RCRA@AI*IA, Volume 589 von CEUR Workshop Proceedings, CEUR-WS.org, (2009)A Symbolic Model Checker for ACTL., , , , und . FM-Trends, Volume 1641 von Lecture Notes in Computer Science, Seite 228-242. Springer, (1998)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , und . SmartGridComm, Seite 1-6. IEEE, (2018)Demand-aware price policy synthesis and verification services for Smart Grids., , , , , , , , und . SmartGridComm, Seite 794-799. IEEE, (2014)Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier., , , , und . ICTCS, Volume 2841 von Lecture Notes in Computer Science, Seite 58-71. Springer, (2003)On model based synthesis of embedded control software., , , , und . EMSOFT, Seite 227-236. ACM, (2012)Exploiting Transition Locality in the Disk Based Mur phi Verifier., , , und . FMCAD, Volume 2517 von Lecture Notes in Computer Science, Seite 202-219. Springer, (2002)