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


  1. 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. [HAL] [YT]
  2. Automated Generation of BPMN Processes from Textual Requirements. Quentin Nivon, Gwen Salaün, Proc. of ICSOC'24, December 2024, Tunis, Tunisia. [HAL]
  3. Semi-Automated Refactoring of BPMN Processes. Quentin Nivon, Gwen Salaün, Proc. of QRS'24, July 2024, Cambridge, England. [HAL]
  4. Automated Repair of Violated Eventually Properties in Concurrent Programs. Irman Faqrizal, Quentin Nivon, Gwen Salaün, Proc. of FormaliSE'24, April 2024, Lisbon, Portugal. [HAL]
  5. Refactoring of Multi-Instance BPMN Processes with Time and Resources. Quentin Nivon, Gwen Salaün, Proc. of SEFM'23, November 2023, Eindhoven, the Netherlands. [HAL]
  6. Debugging of BPMN Processes Using Coloring Techniques. Quentin Nivon, Gwen Salaün, Proc. of FACS'22, November 2022, Oslo, Norway (online). [HAL]

Technical Reports


  1. 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. [PDF]
  2. 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. [PDF]

Miscellaneous


  1. Model Checking and Debugging of BPMN Processes Using Coloration Techniques. Quentin Nivon, Master report, June 2022, Grenoble, France. [PDF]