• Sign in
  • Sign up
conf.researchr.org / Quentin Nivon
  • FSE 2025 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • ICSE 2026 profile
Quentin Nivon

Registered user since Wed 4 Sep 2024

Name:Quentin Nivon
Country:France
Affiliation:University Grenoble Alpes
Personal website: https://quentinnivon.github.io/
Research interests:Formal Methods, BPMN, Graph Theory

Contributions

2026

FormaliSE

  • Committee Member in Program Committee Members within the Research Track-track

2025

ESEC/FSE

  • Author of GIVUP: Automated Generation and Verification of Textual Process Descriptions within the Demonstrations-track

FormaliSE

  • Web Chair in Organization Committee within the Research Track-track

2024

FormaliSE

  • Author of Automated Repair of Violated Eventually Properties in Concurrent Programs within the FormaliSE 2024-track
Share
xSat 25 Oct 08:22
using conf.researchr.org (v1.72.1)
Support page
Sign Up