jean-michel ilié
Title
Cited by
Cited by
Year
Design and evaluation of a symbolic and abstraction-based model checker
S Haddad, JM Ilié, K Klai
International Symposium on Automated Technology for Verification and …, 2004
772004
Symbolic reachability graph and partial symmetries
S Haddad, JM Ilie, M Taghelit, B Zouari
International Conference on Application and Theory of Petri Nets, 238-257, 1995
541995
Exploiting symmetry in linear time temporal logic model checking: One step beyond
K Ajami, S Haddad, JM Ilié
International Conference on Tools and Algorithms for the Construction and …, 1998
361998
A symbolic symbolic state space representation
Y Thierry-Mieg, JM Ilié, D Poitrenaud
International Conference on Formal Techniques for Networked and Distributed …, 2004
302004
Exploiting partial symmetries in well-formed nets for the reachability and the linear time model checking problems
S Baarir, S Haddad, JM Ilié
IFAC Proceedings Volumes 37 (18), 219-224, 2004
262004
A model checking method for partially symmetric systems
S Haddad, JM Ilié, K Ajami
Formal Methods for Distributed System Development, 121-136, 2000
252000
A higher-order agent model with contextual planning management for ambient systems
AC Chaouche, AEF Seghrouchni, JM Ilié, DE Saidouni
Transactions on Computational Collective Intelligence XVI, 146-169, 2014
222014
Complementary formal approaches for dependability analysis
S Baarir, C Braunstein, R Clavel, E Encrenaz, JM Ilié, R Leveugle, ...
2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI …, 2009
192009
Synchronized Petri net: A formal specification model for multi agent systems.
S Kouah, DE Saïdouni, JM Ilié
JSW 8 (3), 587-602, 2013
182013
On the use of exact lumpability in partially symmetrical Well-formed Nets
S Baarir, C Dutheillet, S Haddad, JM Ilié
Second International Conference on the Quantitative Evaluation of Systems …, 2005
172005
Exploiting partial symmetries for markov chain aggregation
L Capra, C Dutheillet, G Franceschinis, JM Ilié
Electronic Notes in Theoretical Computer Science 39 (3), 231-257, 2000
172000
Towards performance analysis with partially symmetrical SWN
L Capra, C Dutheillet, G Franceschinis, JM Ilié
MASCOTS'99. Proceedings of the Seventh International Symposium on Modeling …, 1999
171999
On well-formed nets and optimizations in enabling tests
JM Ilié, O Rojas
International Conference on Application and Theory of Petri Nets, 300-318, 1993
161993
Modular verification of Petri nets properties: A structure-based approach
K Klai, S Haddad, JM Ilié
International Conference on Formal Techniques for Networked and Distributed …, 2005
142005
An incremental verification technique using decomposition of Petri nets
S Haddad, JM Ilié, K Klai
Proceedings of the second IEEE International Conference on Systems, Man and …, 2002
142002
Model checking through symbolic reachability graph
JM Ilié, K Ajami
Colloquium on Trees in Algebra and Programming, 213-224, 1997
131997
Maximality semantics based stochastic process algebra for performance evaluation
M Arous, DE Saidouni, JM Ilié
2011 International Conference on Communications, Computing and Control …, 2011
122011
Dealing with temporal failure in ambient systems: a dynamic revision of plans
R Boukharrou, AC Chaouche, AEF Seghrouchni, JM Ilié, DE Saïdouni
Journal of Ambient Intelligence and Humanized Computing 6 (3), 325-336, 2015
112015
A dynamical plan revising for ambient systems
AC Chaouche, AEF Seghrouchni, JM Ilié, DE Saïdouni
Procedia Computer Science 32, 37-44, 2014
102014
Extended SWN solvers in GreatSPN
S Donatelli, JM Ilie, S Baarir, M Beccuti, C Delamare, C Dutheillet, ...
First International Conference on the Quantitative Evaluation of Systems …, 2004
102004
The system can't perform the operation now. Try again later.
Articles 1–20