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

A fully verified container library., , und . Formal Asp. Comput., 30 (5): 495-523 (2018)Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna.. SIGACT News, 42 (1): 32-35 (2011)Inferring Loop Invariants Using Postconditions., und . Fields of Logic and Computation, Volume 6300 von Lecture Notes in Computer Science, Seite 277-300. Springer, (2010)A Fully Verified Container Library., , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 414-434. Springer, (2015)What good are strong specifications?, , , , und . ICSE, Seite 262-271. IEEE Computer Society, (2013)Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques., , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 382-398. Springer, (2011)Automatic Program Repair by Fixing Contracts., , , und . FASE, Volume 8411 von Lecture Notes in Computer Science, Seite 246-260. Springer, (2014)Code-based automated program fixing., , , , und . ASE, Seite 392-395. IEEE Computer Society, (2011)Automatic Translation of C Source Code to Eiffel, , , , und . CoRR, (2012)Restore: Retrospective Fault Localization Enhancing Automated Program Repair., , , , , und . CoRR, (2019)