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. Incremental Synchronization of BPMN Models and Documentations by Leveraging Structural Algorithms and LLMs. David Cremer, Benjamin Dalmas, Quentin Nivon, Gwen Salaün, Proc. of CoopIS'25, October 2025, Marbella, Spain. [HAL]
  2. 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]
  3. Automated Generation of BPMN Processes from Textual Requirements. Quentin Nivon, Gwen Salaün, Proc. of ICSOC'24, December 2024, Tunis, Tunisia. [HAL]
  4. Semi-Automated Refactoring of BPMN Processes. Quentin Nivon, Gwen Salaün, Proc. of QRS'24, July 2024, Cambridge, England. [HAL]
  5. 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]
  6. 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]
  7. 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]