( en | de | ru )

 

Disambiguierung von "Dan, Andrei Marian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts.

, , , , und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 521-541. Springer, (2017)

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.

Andrei Negoescu

Andrei Lehmann

Andrei Belitski

Andrei Verbovsky

Andrei Munk

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of Memory Fences via Refinement Propagation., , , und . SAS, Volume 8723 von Lecture Notes in Computer Science, Seite 237-252. Springer, (2014)Predicate Abstraction for Relaxed Memory Models., , , und . SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 84-104. Springer, (2013)Securify: Practical Security Analysis of Smart Contracts., , , , , und . ACM Conference on Computer and Communications Security, Seite 67-82. ACM, (2018)Automatic Verification of RMA Programs via Abstraction Extrapolation., , , , und . VMCAI, Volume 10747 von Lecture Notes in Computer Science, Seite 47-70. Springer, (2018)Scalable Polyhedral Verification of Recurrent Neural Networks., , , , , und . CAV (1), Volume 12759 von Lecture Notes in Computer Science, Seite 225-248. Springer, (2021)Effective Abstractions for Verification under Relaxed Memory Models., , , und . VMCAI, Volume 8931 von Lecture Notes in Computer Science, Seite 449-466. Springer, (2015)Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts., , , , und . CAV (2), Volume 10427 von Lecture Notes in Computer Science, Seite 521-541. Springer, (2017)