According to our database1, Lionel Rieg authored at least 20 papers between 2008 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Virtual timeline: a formal abstraction for verifying preemptive schedulers with temporal isolation.
Proc. ACM Program. Lang., 2020
Theory Comput. Syst., 2019
Proceedings of the Networked Systems - 7th International Conference, 2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
Brief Announcement Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018
A Foundational Framework for Certified Impossibility Results with Mobile Robots on Graphs.
Proceedings of the 19th International Conference on Distributed Computing and Networking, 2018
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems.
Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017
Proceedings of the Distributed Computing - 30th International Symposium, 2016
Brief Announcement: Certified Universal Gathering in R<sup>2</sup> for Oblivious Mobile Robots.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016
PhD thesis, 2014
Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013
Proceedings of the 15th International Symposium on Temporal Representation and Reasoning, 2008