( en | de | ru )

 

Disambiguierung von "Godefroid, Patrice"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Ensuring privacy in presence awareness: an automated verification approach.

, , , und . CSCW, Seite 59-68. ACM, (2000)

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.

Susanne Godefroid

Susanne Godefroid

Susanne Godefroid

Peter Godefroid

Christoph Godefroid

 

Weitere Publikationen von Autoren mit dem selben Namen

Checking Beliefs in Dynamic Networks., , , , und . NSDI, Seite 499-512. USENIX Association, (2015)Using Partial Orders to Improve Automatic Verification Methods.. CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 321-340. DIMACS/AMS, (1990)Active property checking., , und . EMSOFT, Seite 207-216. ACM, (2008)Model Checking of Unrestricted Hierarchical State Machines., , und . ICALP, Volume 2076 von Lecture Notes in Computer Science, Seite 652-666. Springer, (2001)Model Checking Partial State Spaces with 3-Valued Temporal Logics., und . CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 274-287. Springer, (1999)Software Model Checking: The VeriSoft Approach.. Formal Methods Syst. Des., 26 (2): 77-101 (2005)Software Model Checking: Searching for Computations in the Abstract or the Concrete., und . IFM, Volume 3771 von Lecture Notes in Computer Science, Seite 20-32. Springer, (2005)Model Checking Without a Model: An Analysis of the Heart-Beat Monitor of a Telephone Switch Using VeriSoft., , und . ISSTA, Seite 124-133. ACM, (1998)Learn&Fuzz: machine learning for input fuzzing., , und . ASE, Seite 50-59. IEEE Computer Society, (2017)Billions and billions of constraints: whitebox fuzz testing in production., , und . ICSE, Seite 122-131. IEEE Computer Society, (2013)