This page contains the list of all the publications that I (co-)authored during my academic career.
Even if it is supposed to, this page may not be up-to-date at the time you read it, so please feel free to visit my dblp page and/or my
Google Scholar page.
International conferences
-
GIVUP: Automated Generation and Verification of Textual Process Descriptions. Quentin Nivon, Gwen Salaün, Frédéric Lang,
Proc. of FSE'25, June 2025, Trondheim, Norway.
-
Automated Generation of BPMN Processes from Textual Requirements. Quentin Nivon, Gwen Salaün,
Proc. of ICSOC'24, December 2024, Tunis, Tunisia.
-
Semi-Automated Refactoring of BPMN Processes. Quentin Nivon, Gwen Salaün,
Proc. of QRS'24, July 2024, Cambridge, England.
-
Automated Repair of Violated Eventually Properties in Concurrent Programs. Irman Faqrizal, Quentin Nivon, Gwen Salaün,
Proc. of FormaliSE'24, April 2024, Lisbon, Portugal.
-
Refactoring of Multi-Instance BPMN Processes with Time and Resources. Quentin Nivon, Gwen Salaün,
Proc. of SEFM'23, November 2023, Eindhoven, the Netherlands.
-
Debugging of BPMN Processes Using Coloring Techniques. Quentin Nivon, Gwen Salaün,
Proc. of FACS'22, November 2022, Oslo, Norway (online).
Technical Reports
-
Complete Results for the 2025 Edition of the Model Checking Contest.
Fabrice Kordon, François Hulin-Hubard, Loïc Jezequel, Emmanual Paviot-Adet, Quentin Nivon, Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio, Z. Ding, Y. He, S. Li, C. Jiang, Peter Gjøl Jensen, Jiri Srba, Yann Thierry-Mieg,
Technical Report, June 2025, Paris, France.
-
Complete Results for the 2024 Edition of the Model Checking Contest.
Fabrice Kordon, Pierre Bouvier, Hubert Garavel, François Hulin-Hubard, Loïc Jezequel, Emmanual Paviot-Adet, Quentin Nivon, Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio, Peter Gjøl Jensen, D. Morard, B. Smith, Jiri Srba, Yann Thierry-Mieg, Karsten Wolf,
Technical Report, June 2024, Paris, France.