Thibaut Balabonski

According to our database1, Thibaut Balabonski authored at least 19 papers between 2010 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Computer Aided Formal Design of Swarm Robotics Algorithms.
CoRR, 2021

2020
On the Semantics of Polychronous Polytimed Specifications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019
Synchronous Gathering without Multiplicity Detection: a Certified Algorithm.
Theory Comput. Syst., 2019

Continuous vs. Discrete Asynchronous Moves: A Certified Approach for Mobile Robots.
Proceedings of the Networked Systems - 7th International Conference, 2019

2018
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

2017
Foundations of strong call by need.
Proc. ACM Program. Lang., 2017

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

2016
The Design and Formalization of Mezzo, a Permission-Based Programming Language.
ACM Trans. Program. Lang. Syst., 2016

2015
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

Towards a Formal Semantics of the TESL Specification Language.
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

2014
Type Soundness and Race Freedom for Mezzo.
Proceedings of the Functional and Logic Programming - 12th International Symposium, 2014

2013
Weak optimality, and the meaning of sharing.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012
Axiomatic Sharing-via-Labelling.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

A unified approach to fully lazy sharing.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

2010
On the Implementation of Dynamic Patterns
Proceedings of the Proceedings 5th International Workshop on Higher-Order Rewriting, 2010

Optimality for dynamic patterns.
Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

A Geometric Approach to the Problem of Unique Decomposition of Processes.
Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010


  Loading...