About
Research
Tools and Projects
Teaching

drawing Igor Khmelnitsky

I am a PhD student in the LMF (previously known as th LSV) in ENS Paris-Saclay, under the supervision of Alain Finkel and Serge Haddad. My research is currently mainly focused on verification of infinite state systems, such as Petri nets, recursive Petri nets, well structured transition systems, etc. Since these type of systems can be hard to verify using the classical algorithms, I began trying to introduce machine learning technique to the verification of theses systems.

A complete CV in PDF form drawing

Research

Publications

Journal:

Inter national Conferences:

2021

2020

2019

National Conferences(France):

Thesis

Talks

  1. Minimal coverability tree construction made complete and efficient - MTV seminar 21. drawing
  2. Dynamic Recursive Petri Nets - Video teaser for PetriNet’20. drawing
  3. A Tool for the Coverability Problems in Petri Nets - Tool demonstration in MSR’19, Angers France. drawing
  4. Coverability and Termination in Recursive Petri Nets - PetriNet’19. drawing

Tools

Teaching

2019-2020

2018-2019