Follow
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
952004
Symbolic reachability graph and partial symmetries
S Haddad, JM Ilié, M Taghelit, B Zouari
International Conference on Application and Theory of Petri Nets, 238-257, 1995
561995
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
391998
A higher-order agent model with contextual planning management for ambient systems
AC Chaouche, A El Fallah Seghrouchni, JM Ilié, DE Saidouni
Transactions on Computational Collective Intelligence XVI, 146-169, 2014
312014
A symbolic symbolic state space representation
Y Thierry-Mieg, JM Ilié, D Poitrenaud
International Conference on Formal Techniques for Networked and Distributed …, 2004
312004
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
292004
A model checking method for partially symmetric systems
S Haddad, JM Ilié, K Ajami
Formal Methods for Distributed System Development, 121-136, 2000
242000
Synchronized Petri net: A formal specification model for multi agent systems.
S Kouah, DE Saïdouni, JM Ilié
J. Softw. 8 (3), 587-602, 2013
202013
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
192000
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
182009
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
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
172002
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
Dealing with temporal failure in ambient systems: a dynamic revision of plans
R Boukharrou, AC Chaouche, A El Fallah Seghrouchni, JM Ilié, ...
Journal of Ambient Intelligence and Humanized Computing 6 (3), 325-336, 2015
152015
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
Learning from situated experiences for a contextual planning guidance
AC Chaouche, A El Fallah Seghrouchni, JM Ilié, DE Saïdouni
Journal of Ambient Intelligence and Humanized Computing 7 (4), 555-566, 2016
132016
Improving the contextual selection of BDI plans by incorporating situated experiments
AC Chaouche, AE Fallah Seghrouchni, JM Ilié, DE Saïdouni
IFIP International Conference on Artificial Intelligence Applications and …, 2015
122015
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
Model checking through symbolic reachability graph
JM Ilié, K Ajami
Colloquium on Trees in Algebra and Programming, 213-224, 1997
121997
The system can't perform the operation now. Try again later.
Articles 1–20