J.-M. Ilié

Available identifiers

zbMath Open ilie.jean-michelMaRDI QIDQ453476

List of research outcomes

Publication	Date of Publication	Type
Symbolic reachability graph and partial symmetries	2022-08-16	Paper
Hierarchical System Design Using Refinable Recursive Petri Net	2021-01-21	Paper
A reduced maximality labeled transition system generation for recursive Petri nets	2016-01-06	Paper
Feasibility analysis for robustness quantification by symbolic model checking	2012-09-27	Paper
Time Recursive Petri Nets	2009-02-03	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Exploiting partial symmetries for Markov chain aggregation	2001-05-08	Paper

Research outcomes over time

This page was built for person: J.-M. Ilié