Bastien Thomas

According to our database, Bastien Thomas authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

PyLTA: A Verification Tool for Parameterized Distributed Algorithms.

Bastien Thomas, Ocan Sankur

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2021

Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms.

Nathalie Bertrand, Bastien Thomas, Josef Widder

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Performance analysis and optimality results for data-locality aware tasks scheduling with replicated inputs.

Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas

Future Gener. Comput. Syst., 2020

2018

Data-Locality Aware Dynamic Schedulers for Independent Tasks with Replicated Inputs.

Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018