PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Vojdani, Vesal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Static race detection for device drivers: the Goblint approach.

, , , , , und . ASE, Seite 391-402. ACM, (2016)

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 Vojdani, Vesal
Eine Person hinzufügen mit dem Namen Vojdani, Vesal
 

Weitere Publikationen von Autoren mit dem selben Namen

Region Analysis for Race Detection., und . SAS, Volume 5673 von Lecture Notes in Computer Science, Seite 171-187. Springer, (2009)Shape Analysis of Low-Level C with Overlapping Structures., , und . VMCAI, Volume 5944 von Lecture Notes in Computer Science, Seite 214-230. Springer, (2010)How to combine widening and narrowing for non-monotonic systems of equations., , und . PLDI, Seite 377-386. ACM, (2013)Trufflereloader: a low-overhead language-neutral reloader., , und . ICOOOLPS@ECOOP, Seite 3:1-3:10. ACM, (2016)Frameworks for Interprocedural Analysis of Concurrent Programs., , und . Software Systems Safety, Volume 36 von NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2014)Efficiently intertwining widening and narrowing., , , , und . CoRR, (2015)Static race detection for device drivers: the Goblint approach., , , , , und . ASE, Seite 391-402. ACM, (2016)Precise Analysis of Value-Dependent Synchronization in Priority Scheduled Programs., , , und . VMCAI, Volume 8318 von Lecture Notes in Computer Science, Seite 21-38. Springer, (2014)Enhancing Top-Down Solving with Widening and Narrowing., , und . Semantics, Logics, and Calculi, Volume 9560 von Lecture Notes in Computer Science, Seite 272-288. Springer, (2016)Side-Effecting Constraint Systems: A Swiss Army Knife for Program Analysis., , und . APLAS, Volume 7705 von Lecture Notes in Computer Science, Seite 157-172. Springer, (2012)