Research topics

My research activities are concerned with modeling and validation techniques for (concurrent) systems and softwares.
So far, I worked on the following topics:

[Main publications]


Upcoming conferences:


Contribution to existing validation tools

Main Research Projects

Current projects:
Last main projects:

Students


PhD students:
Master students: