Quentin Nivon -

Registered user since Wed 4 Sep 2024

Name:Quentin Nivon

Country:France

Affiliation:University Grenoble Alpes

Research interests:Formal Methods, BPMN, Graph Theory

Contributions

2025

FormaliSE

Web Chair in Organization Committee within the Research Track-track

2024

FormaliSE

Author of Automated Repair of Violated Eventually Properties in Concurrent Programs within the FormaliSE 2024-track