Quentin Nivon

According to our database, Quentin Nivon authored at least 4 papers between 2022 and 2024.

Collaborative distances:

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

2024

Semi-Automated Refactoring of BPMN Processes.

Quentin Nivon, Gwen Salaün

Proceedings of the 24th IEEE International Conference on Software Quality, 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