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

Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants., und . SEFM, Seite 310-314. IEEE Computer Society, (2010)Finite Integer Computations: An Algebraic Foundation for Their Correctness.. Formal Asp. Comput., 18 (2): 244-262 (2006)Deductive Verification of Hybrid Control Systems Modeled in Simulink with KeYmaera X., , und . ICFEM, Volume 11232 von Lecture Notes in Computer Science, Seite 89-105. Springer, (2018)Instruction Caches in Static WCET Analysis of Artificially Diversified Software., , und . ECRTS, Volume 106 von LIPIcs, Seite 21:1-21:23. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)The VATES-Diamond as a Verifier's Best Friend., , , und . Verification, Induction, Termination Analysis, Volume 6463 von Lecture Notes in Computer Science, Seite 81-101. Springer, (2010)Model checking SystemC designs using timed automata., , und . CODES+ISSS, Seite 131-136. ACM, (2008)Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler., , und . FMICS, Volume 4916 von Lecture Notes in Computer Science, Seite 85-100. Springer, (2007)Efficient and Safe Control Flow Recovery Using a Restricted Intermediate Language., , , und . WETICE, Seite 235-240. IEEE Computer Society, (2018)Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity., , , und . DASC/PiCom/DataCom/CyberSciTech, Seite 454-461. IEEE Computer Society, (2017)Static run-time mode extraction by state partitioning in synchronous process networks., und . SCOPES, Seite 28-37. ACM, (2011)