news 5 View all Paper accepted at CCGrid 2020 Paper accepted to iFM 2019 Talk given to the Inria WIDE research group New Postdoc and Engineer Job interviews work-in-progress 4 View all Capstone Madeus and Petri nets Survey on verified reconfiguration Madeus++