Autor der Publikation

Testing and Verifying Chain Repair Methods for Corfu Using Stateless Model Checking.

, , und . IFM, Volume 10510 von Lecture Notes in Computer Science, Seite 227-242. 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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficiently compiling a functional language on AMD64: the HiPE experience., , und . PPDP, Seite 176-186. ACM, (2005)Detection of Asynchronous Message Passing Errors Using Static Analysis., und . PADL, Volume 6539 von Lecture Notes in Computer Science, Seite 5-18. Springer, (2011)Message Analysis for Concurrent Languages., , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 73-90. Springer, (2003)The Nifty way to call hell from heaven., und . Erlang Workshop, Seite 1-11. ACM, (2016)Memory Management for Prolog with Tabling., und . ISMM, Seite 97-106. ACM, (1998)Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens., , und . FMCAD, Seite 284-293. IEEE, (2022)A Polyvariant Binding-Time Analysis for Off-line Partial Deduction, , und . CoRR, (2000)CAT: The Copying Approach to Tabling, und . J. Funct. Log. Program., (1999)ProFuN TG: A tool for programming and managing performance-aware sensor network applications., , , und . LCN Workshops, Seite 751-759. IEEE Computer Society, (2015)Turning Centralized Coherence and Distributed Critical-Section Execution on their Head: A New Approach for Scalable Distributed Shared Memory., , , , und . HPDC, Seite 3-14. ACM, (2015)