Talks

• Approaching Safety for Parameterized Systems via View Abstraction PDF

  • March 11, 2020: GRIF Seminar
    Université de Sherbrooke
    

• Directed Reachability for Infinite-State Systems PDF

  • December 14, 2020: Theory of Verification Seminar
    Max Planck Institute for Software Systems (Online)
    
  • February 25, 2021: PaVeS Seminar
    Technical University of Munich (Online)
    
  • March 18, 2021: CFV Seminar
    University of Antwerp (Online)
    
  • March 19, 2021: Club Informatique
    Université de Sherbrooke (Online)
    
  • March 31, 2021: International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
    Université du Luxembourg (Online)
    

• Continuous One-Counter Automata PDF

  • June 6, 2021: Annual Symposium on Logic in Computer Science (LICS)
    Università di Roma “La Sapienza” (Online)
    
  • September 16, 2021: Highlights of Logic, Games and Automata
    RWTH Aachen University (Online)
    

• Efficient verification through approximations PDF

  • October 14, 2021: Summer School on Verification Technology, Systems & Applications (VTSA 2021)
    Université de Liège
    

• The complexity of soundness in workflow nets PDF

  • June 17, 2022: Summer School on Modelling and Verification of Parallel Processes (MOVEP 2022)
    Aalborg University
    
  • August 4, 2022: Logic in Computer Science (LICS 2022)
    Technion – Israel Institute of Technology
    
  • September 12, 2022: Young Researchers Workshop on Concurrenty Theory (YRCONCUR 2022)
    University of Warsaw
    
  • November 14, 2022: IRIF Verification Seminar PDF
    Université Paris Cité
    

• Verifying generalised and structural soundness of workflow nets via relaxationsPDF

  • August 10, 2022: Computer Aided Verification (CAV 2022)
    Technion – Israel Institute of Technology