Quentin Nivon

According to our database, Quentin Nivon authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

GIVUP: Automated Generation and Verification of Textual Process Descriptions.

Quentin Nivon, Gwen Salaün, Frédéric Lang

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

2024

Semi-Automated Refactoring of BPMN Processes.

Quentin Nivon, Gwen Salaün

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

Automated Generation of BPMN Processes from Textual Requirements.

Quentin Nivon, Gwen Salaün

Proceedings of the Service-Oriented Computing - 22nd International Conference, 2024

Automated Repair of Violated Eventually Properties in Concurrent Programs.

Irman Faqrizal, Quentin Nivon, Gwen Salaün

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

Refactoring of Multi-instance BPMN Processes with Time and Resources.

Quentin Nivon, Gwen Salaün

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2022

Debugging of BPMN Processes Using Coloring Techniques.

Quentin Nivon, Gwen Salaün

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022