( en | de | ru )

 

Disambiguierung von "Grieskamp, Wolfgang"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Securing Aptos Framework with Formal Verification.

, , , , , , , und . FMBC@CAV, Volume 118 von OASIcs, Seite 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

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.

Wolfgang Grieskamp

Thomas Grieskamp

Reta Grieskamp

Wolfgang Loch

Wolfgang Moschek

 

Weitere Publikationen von Autoren mit dem selben Namen

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover., , , , , und . TACAS (1), Volume 13243 von Lecture Notes in Computer Science, Seite 183-200. Springer, (2022)Reasoning About Vectors Using an SMT Theory of Sequences., , , , , , , , , und . IJCAR, Volume 13385 von Lecture Notes in Computer Science, Seite 125-143. Springer, (2022)The Move Prover., , , , , , , , und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 137-150. Springer, (2020)Towards Federated Learning at Scale: System Design, , , , , , , , , und 4 andere Autor(en). (2019)cite arxiv:1902.01046.Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components, , und . (1998)Model-Based Testing in the Field: Lessons Learned.. GI Jahrestagung (2), Volume P-94 von LNI, Seite 189-196. GI, (2006)Securing Aptos Framework with Formal Verification., , , , , , , und . FMBC@CAV, Volume 118 von OASIcs, Seite 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)Towards Federated Learning at Scale: System Design, , , , , , , , , und 4 andere Autor(en). (2019)cite arxiv:1902.01046.Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components., , und . FASE, Volume 1382 von Lecture Notes in Computer Science, Seite 88-106. Springer, (1998)Generating finite state machines from abstract state machines, , , und . ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis, Seite 112--122. New York, NY, USA, ACM Press, (2002)