| Design and evaluation of a symbolic and abstraction-based model checker S Haddad, JM Ilié, K Klai Automated Technology for Verification and Analysis: Second International …, 2004 | 100 | 2004 |
| Symbolic reachability graph and partial symmetries S Haddad, JM Ilié, M Taghelit, B Zouari Application and Theory of Petri Nets 1995: 16th International Conference …, 1995 | 53 | 1995 |
| Exploiting symmetry in linear time temporal logic model checking: One step beyond K Ajami, S Haddad, JM Ilié Tools and Algorithms for the Construction and Analysis of Systems: 4th …, 1998 | 40 | 1998 |
| 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 | 37 | 2014 |
| 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 | 31 | 2004 |
| A symbolic symbolic state space representation Y Thierry-Mieg, JM Ilié, D Poitrenaud Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 31 | 2004 |
| A model checking method for partially symmetric systems S Haddad, JM Ilié, K Ajami International Conference on Protocol Specification, Testing and Verification …, 2000 | 25 | 2000 |
| 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 | 22 | 2013 |
| 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 | 20 | 2009 |
| 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 | 19 | 2000 |
| 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 | 17 | 2005 |
| Modular verification of Petri nets properties: A structure-based approach K Klai, S Haddad, JM Ilié Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th …, 2005 | 17 | 2005 |
| 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, 325-336, 2015 | 16 | 2015 |
| 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 | 16 | 2002 |
| 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 | 16 | 1999 |
| 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 | 15 | 1993 |
| 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, 555-566, 2016 | 14 | 2016 |
| Improving the contextual selection of BDI plans by incorporating situated experiments AC Chaouche, A El Fallah Seghrouchni, JM Ilié, DE Saïdouni Artificial Intelligence Applications and Innovations: 11th IFIP WG 12.5 …, 2015 | 12 | 2015 |
| Maximality semantics based stochastic process algebra for performance evaluation M Arous, DE Saidouni, JM Ilié 2011 International Conference on Communications, Computing and Control …, 2011 | 12 | 2011 |
| State-space-based methods and model checking C Girault, R Valk, C Dutheillet, I Vernier-Mounier, JM Ilié, D Poitrenaud Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and …, 2003 | 12 | 2003 |
