Login / Signup
Bastien Thomas
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 4
Top Topics
Data Mining Tasks
Computational Efficiency
Image Data
Data Quality
Top Venues
Future Gener. Comput. Syst.
CONCUR
IPDPS Workshops
TACAS (2)
</>
Publications
</>
Bastien Thomas
,
Ocan Sankur
PyLTA: A Verification Tool for Parameterized Distributed Algorithms.
TACAS (2)
(2023)
Nathalie Bertrand
,
Bastien Thomas
,
Josef Widder
Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms.
CONCUR
(2021)
Olivier Beaumont
,
Thomas Lambert
,
Loris Marchal
,
Bastien Thomas
Performance analysis and optimality results for data-locality aware tasks scheduling with replicated inputs.
Future Gener. Comput. Syst.
111 (2020)
Olivier Beaumont
,
Thomas Lambert
,
Loris Marchal
,
Bastien Thomas
Data-Locality Aware Dynamic Schedulers for Independent Tasks with Replicated Inputs.
IPDPS Workshops
(2018)