PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vardhan, Abhay"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning to Verify Safety Properties.

, , , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 274-289. Springer, (2004)

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.

Keine Personen gefunden für den Autorennamen Vardhan, Abhay
Eine Person hinzufügen mit dem Namen Vardhan, Abhay
 

Weitere Publikationen von Autoren mit dem selben Namen

Decentralized runtime analysis of multithreaded applications., , , und . IPDPS, IEEE, (2006)LEVER: A Tool for Learning Based Verification., und . CAV, Volume 4144 von Lecture Notes in Computer Science, Seite 471-474. Springer, (2006)Actively Learning to Verify Safety for FIFO Automata., , , und . FSTTCS, Volume 3328 von Lecture Notes in Computer Science, Seite 494-505. Springer, (2004)Using passive object garbage collection algorithms for garbage collection of active objects., und . MSP/ISMM, Seite 213-220. ACM, (2002)Efficient Decentralized Monitoring of Safety in Distributed Systems., , , und . ICSE, Seite 418-427. IEEE Computer Society, (2004)Learning to Verify Safety Properties., , , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 274-289. Springer, (2004)Learning to verify branching time properties., und . Formal Methods in System Design, 31 (1): 35-61 (2007)Using Language Inference to Verify Omega-Regular Properties., , , und . TACAS, Volume 3440 von Lecture Notes in Computer Science, Seite 45-60. Springer, (2005)Learning to verify branching time properties., und . ASE, Seite 325-328. ACM, (2005)