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

Mechanized Formal Methods: Progress and Prospects.. FSTTCS, Volume 1180 von Lecture Notes in Computer Science, Seite 43-51. Springer, (1996)An Operational Semantics for Stateflow., und . FASE, Volume 2984 von Lecture Notes in Computer Science, Seite 229-243. Springer, (2004)Proof of separability: A verification technique for a class of a security kernels.. Symposium on Programming, Volume 137 von Lecture Notes in Computer Science, Seite 352-367. Springer, (1982)Mechanizing Formal Methods: Opportunities and Challenges.. ZUM, Volume 967 von Lecture Notes in Computer Science, Seite 105-113. Springer, (1995)Theorem Proving for Verification.. MOVEP, Volume 2067 von Lecture Notes in Computer Science, Seite 39-57. Springer, (2000)A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model., und . FTCS, Seite 402-411. IEEE Computer Society, (1993)From Refutation to Verification.. FORTE, Volume 183 von IFIP Conference Proceedings, Seite 369-374. Kluwer, (2000)What Use is Verified Software?. ICECCS, Seite 270-276. IEEE Computer Society, (2007)Harnessing Disruptive Innovation in Formal Verification.. SEFM, Seite 21-30. IEEE Computer Society, (2006)Automated Test Generation and Verified Software.. VSTTE, Volume 4171 von Lecture Notes in Computer Science, Seite 161-172. Springer, (2005)