Debugging of BPMN Processes Using Coloring Techniques. - Quentin Nivon; Gwen Salaün (FACS, 2022)

Refactoring of Multi-instance BPMN Processes with Time and Resources. - Quentin Nivon; Gwen Salaün (SEFM, 2023)

Automated Repair of Violated Eventually Properties in Concurrent Programs. - Irman Faqrizal; Quentin Nivon; Gwen Salaün (FormaliSE@ICSE, 2024)

Automated Generation of BPMN Processes from Textual Requirements. - Quentin Nivon; Gwen Salaün (ICSOC (1), 2024)

Semi-Automated Refactoring of BPMN Processes. - Quentin Nivon; Gwen Salaün (QRS, 2024)

GIVUP: Automated Generation and Verification of Textual Process Descriptions. - Quentin Nivon; Gwen Salaün; Frédéric Lang (SIGSOFT FSE Companion, 2025)