PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Parlato, Gennaro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs.

, , , , und . ASE, Seite 807-812. IEEE Computer Society, (2015)

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.

Ph. D. Gennaro Senatore University of Stuttgart

Gennaro Avolio University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Scope-bounded Multistack Pushdown Systems: Fixed-Point, Sequentialization, and Tree-Width., und . FSTTCS, Volume 18 von LIPIcs, Seite 173-184. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2012)CSeq: A concurrency pre-processor for sequential C verification tools., , und . ASE, Seite 710-713. IEEE, (2013)Context-Bounded Analysis of TSO Systems., , und . FPS@ETAPS, Volume 8415 von Lecture Notes in Computer Science, Seite 21-38. Springer, (2014)A Unifying Approach for Multistack Pushdown Automata., , und . MFCS (1), Volume 8634 von Lecture Notes in Computer Science, Seite 377-389. Springer, (2014)MU-CSeq: Sequentialization of C Programs by Shared Memory Unwindings - (Competition Contribution)., , , , und . TACAS, Volume 8413 von Lecture Notes in Computer Science, Seite 402-404. 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)An Infinite Automaton Characterization of Double Exponential Time., , und . CSL, Volume 5213 von Lecture Notes in Computer Science, Seite 33-48. Springer, (2008)A Robust Class of Context-Sensitive Languages., , und . LICS, Seite 161-170. IEEE Computer Society, (2007)Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization., , , , und . CAV, Volume 8559 von Lecture Notes in Computer Science, Seite 585-602. Springer, (2014)Lazy Sequentialization for the Safety Verification of Unbounded Concurrent Programs., , , und . ATVA, Volume 9938 von Lecture Notes in Computer Science, Seite 174-191. (2016)