( en | de | ru )

 

Disambiguierung von "Mansky, William"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying an HTTP Key-Value Server with Interaction Trees and VST.

, , , , , , , , , und . ITP, Volume 193 von LIPIcs, Seite 32:1-32:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

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.

Thomas Mansky

Dieter Mansky

Sebastian Mansky

Patrick Mansky

Raphaela Goldbach-Mansky

 

Weitere Publikationen von Autoren mit dem selben Namen

Compositional Verification of Concurrent C Programs with Search Structure Templates., , , und . CPP, Seite 60-74. ACM, (2024)Using Locales to Define a Rely-Guarantee Temporal Logic., und . ITP, Volume 7406 von Lecture Notes in Computer Science, Seite 299-314. Springer, (2012)Toward a multi-method approach to formalizing human-automation interaction and human-human communications., , , , , , und . SMC, Seite 1817-1824. IEEE, (2011)Specifying and verifying program transformations with PTRANS. University of Illinois Urbana-Champaign, USA, (2014)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , und . CPP, Seite 234-248. ACM, (2019)An Axiomatic Specification for Sequential Memory Models., , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 413-428. Springer, (2015)BARRACUDA: binary-level analysis of runtime RAces in CUDA programs., , , , und . PLDI, Seite 126-140. ACM, (2017)Symbolic Analysis Tools for CSP., , und . ICTAC, Volume 8687 von Lecture Notes in Computer Science, Seite 295-313. Springer, (2014)An Iris Instance for Verifying CompCert C Programs., und . Proc. ACM Program. Lang., 8 (POPL): 148-174 (Januar 2024)Verifying an HTTP Key-Value Server with Interaction Trees and VST., , , , , , , , , und . ITP, Volume 193 von LIPIcs, Seite 32:1-32:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)