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 (in press).
  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]

Miscellaneous


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