According to our database1, Thibaut Balabonski authored at least 19 papers between 2010 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
Theory Comput. Syst., 2019
Proceedings of the Networked Systems - 7th 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
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 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
ACM Trans. Program. Lang. Syst., 2016
Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the Proceedings 5th International Workshop on Higher-Order Rewriting, 2010
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010