1. Temporal Breakpoints for Multiverse Debugging;Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering;2023-10-23
2. Debugging Paxos in the UML Multiverse;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01
3. Debugging for reactive programming;Proceedings of the 38th International Conference on Software Engineering;2016-05-14
4. MOPBox: A Library Approach to Runtime Verification;Runtime Verification;2012