Autor der Publikation

Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs.

, , , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 174-191. (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Concurrent Program Verification with Lazy Sequentialization and Interval Analysis., , , und . NETYS, Volume 10299 von Lecture Notes in Computer Science, Seite 255-271. (2017)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 174-191. (2016)Toward Group-Based User-Attribute Policies in Azure-Like Access Control Systems., , , und . DBSec, Volume 10359 von Lecture Notes in Computer Science, Seite 349-361. Springer, (2017)Vac - Verifier of Administrative Role-Based Access Control Policies., , , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 184-191. Springer, (2014)Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches - (Competition Contribution)., , , und . TACAS, Volume 9035 von Lecture Notes in Computer Science, Seite 461-463. Springer, (2015)