( en | de | ru )

 

Disambiguierung von "Stiévenart, Quentin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Summary-Based Compositional Analysis for Soft Contract Verification.

, , und . SCAM, Seite 186-196. IEEE, (2022)

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.

Albrecht Quentin

Sabine Quentin

Quentin Alamélou

Quentin Monnet

Quentin Bramas

 

Weitere Publikationen von Autoren mit dem selben Namen

An empirical evaluation of quasi-static executable slices., , und . J. Syst. Softw., (Juni 2023)Dynamic Slicing of WebAssembly Binaries., , und . ICSME, Seite 84-96. IEEE, (2023)Static Taint Analysis of Event-driven Scheme Programs., , , und . ELS, Seite 80-87. ELSAA, (2017)STRAF: A Scala Framework for Experiments in Trace-Based JIT Compilation., , , und . GTTSE, Volume 10223 von Lecture Notes in Computer Science, Seite 223-234. Springer, (2015)Effect-Driven Flow Analysis., , , und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 247-274. Springer, (2019)Mailbox Abstractions for Static Analysis of Actor Programs., , , und . ECOOP, Volume 74 von LIPIcs, Seite 25:1-25:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Developers Struggle with Authentication in Blazor WebAssembly., , und . ICSME, Seite 389-393. IEEE, (2022)Incremental Flow Analysis through Computational Dependency Reification., , , und . SCAM, Seite 25-36. IEEE, (2020)Compositional Information Flow Analysis for WebAssembly Programs., und . SCAM, Seite 13-24. IEEE, (2020)MAF: A Framework for Modular Static Analysis of Higher-Order Languages., , , und . SCAM, Seite 37-42. IEEE, (2020)