Concepedia

Jean‐Michel Ilié

JI

9

Publications

127

Citations

9

H-Index

2000

Active since

Affiliations

Sorbonne Université(Current)

LIP6

Centre National de la Recherche Scientifique

University Frères Mentouri Constantine 1

University of Turin

Jean‐Michel Ilié is an author at Sorbonne Université specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsSystems EngineeringAutomated ReasoningFormal VerificationVerificationDesignAutomationGraph Theory

Publications per year

2000–2016

9

Publications

9

Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems

Soheib Baarir, Serge Haddad, Jean‐Michel Ilié · IFAC Proceedings Volumes · 2004 · 20 citations

Mathematical Programming, Well-formed Nets, Partial Symmetries +13

Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems

Sofia Kouah, Djamel Eddine Saïdouni, Jean‐Michel Ilié · Journal of Software · 2013 · 19 citations

Petri Net, Engineering, Verification +21

Exploiting Partial Symmetries for Markov Chain Aggregation

Lorenzo Capra, C. Dutheillet, G. Franceschinis et al. · Electronic Notes in Theoretical Computer Science · 2000 · 16 citations · Full text

Engineering, Reachability Problem, Lumpability Condition +17

On the use of exact lumpability in partially symmetrical well-formed nets

S. Baarir, C. Dutheillet, Serge Haddad et al. · 2005 · 15 citations

Engineering, Exact Lumpability, Reachability Problem +18

Complementary Formal Approaches for Dependability Analysis

Souheib Baarir, Cécile Braunstein, Renaud Clavel et al. · 2009 · 13 citations

Software Maintenance, Engineering, Verification +23

Rows per page

1–5 of 9