( en | de | ru )

 

Disambiguierung von "Furia, Carlo A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Evidence-Based Automated Program Fixing

, , , , und . CoRR, (2011)

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.

Hans-Otto Furian

Thimm Christoph Furian

Robert Furian

Robert Furian

Lothar Carlowitz

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic Translation of C Source Code to Eiffel, , , , und . CoRR, (2012)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)Flexible Invariants Through Semantic Collaboration., , , und . CoRR, (2013)SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings., , , und . J. Syst. Softw., (2020)A Fully Verified Container Library., , und . FM, Volume 9109 von Lecture Notes in Computer Science, Seite 414-434. Springer, (2015)Bayesian Data Analysis in Empirical Software Engineering Research., , und . CoRR, (2018)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)Inferring Loop Invariants Using Postconditions., und . Fields of Logic and Computation, Volume 6300 von Lecture Notes in Computer Science, Seite 277-300. Springer, (2010)Automatic Program Repair by Fixing Contracts., , , und . FASE, Volume 8411 von Lecture Notes in Computer Science, Seite 246-260. Springer, (2014)Comments on temporal logics for real-time system specification., , und . ACM Comput. Surv., 41 (2): 13:1-13:5 (2009)