Data-Locality Aware Dynamic Schedulers for Independent Tasks with Replicated Inputs. - Olivier Beaumont; Thomas Lambert; Loris Marchal; Bastien Thomas (IPDPS Workshops, 2018)

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)

Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms. - Nathalie Bertrand 001; Bastien Thomas; Josef Widder (CONCUR, 2021)

PyLTA: A Verification Tool for Parameterized Distributed Algorithms. - Bastien Thomas; Ocan Sankur (TACAS (2), 2023)