Author of the publication

CauDEr: A Causal-Consistent Reversible Debugger for Erlang.

, , , and . FLOPS, volume 10818 of Lecture Notes in Computer Science, page 247-263. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Reversible Semantics for Erlang., , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 259-274. Springer, (2016)CauDEr: A Causal-Consistent Reversible Debugger for Erlang., , , and . FLOPS, volume 10818 of Lecture Notes in Computer Science, page 247-263. Springer, (2018)Property-Based Test Case Generators for Free., , , , and . TAP@FM, volume 11823 of Lecture Notes in Computer Science, page 186-206. Springer, (2019)Reversible Term Rewriting., , and . FSCD, volume 52 of LIPIcs, page 28:1-28:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Concolic Execution in Functional Programming by Program Instrumentation., and . LOPSTR, volume 9527 of Lecture Notes in Computer Science, page 277-292. Springer, (2015)Causal-Consistent Replay Debugging for Message Passing Programs., , and . FORTE, volume 11535 of Lecture Notes in Computer Science, page 167-184. Springer, (2019)Towards Modelling Actor-Based Concurrency in Term Rewriting., and . WPTE@RDP, volume 46 of OASIcs, page 19-29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Fitness Based Identification of a Robot Structure., , and . ALIFE, page 733-741. MIT Press, (2008)