Autor der Publikation

A Verification Methodology for Model Fields.

, und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 115-130. Springer, (2006)

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

Nagini: A Static Verifier for Python., und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 596-603. Springer, (2018)Sound Automation of Magic Wands., , , , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 130-151. Springer, (2022)Permission Inference for Array Programs., , , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 55-74. Springer, (2018)Ownership transfer in universe types., und . OOPSLA, Seite 461-478. ACM, (2007)Serializability for eventual consistency: criterion, analysis, and applications., , , und . POPL, Seite 458-472. ACM, (2017)Sound Verification of Security Protocols: From Design to Interoperable Implementations., , , , , , , und . SP, Seite 1077-1093. IEEE, (2023)Automatically testing implementations of numerical abstract domains., , , und . ASE, Seite 768-778. ACM, (2018)BayClone: Bayesian Nonparametric Inference of Tumor Subclones Using NGS Data., , , , , , und . Pacific Symposium on Biocomputing, Seite 467-478. (2015)Actor Services - Modular Verification of Message Passing Programs., und . ESOP, Volume 9632 von Lecture Notes in Computer Science, Seite 699-726. Springer, (2016)A general framework for dynamic stub injection., , , und . ICSE, Seite 586-596. IEEE / ACM, (2017)