| 2020 | ANT | E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles. | Jean-Michel Ili, Ahmed-Chawki Chaouche, Franois Pcheux |
| 2020 | ANT | An Efficient Learning Assistant for a Contextual Road Navigation. | Jean-Michel Ili, Karim Lahiani, Ahmed-Chawki Chaouche, Franois Pcheux |
| 2020 | EUSPN | Dealing with Failures for Execution Consistency in Context-aware Systems. | Ahmed-Chawki Chaouche, Jean-Michel Ili, Franois Pcheux |
| 2017 | FNC | Toward an Efficient Ambient Guidance for Transport Applications. | Jean-Michel Ili, Ahmed-Chawki Chaouche |
| 2016 | IDC | A Guidance of Ambient Agents Adapted to Opportunistic Situations. | Ahmed-Chawki Chaouche, Jean-Michel Ili, Djamel-Eddine Sadouni |
| 2015 | ECMS | Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates. | Said Layadi, Jean-Michel Ili, Djamel-Eddine Sadouni |
| 2015 | FNC | Spatio-Temporal Planning for Mobile Ambient Agents. | Radja Boukharrou, Jean-Michel Ili, Djamel-Eddine Sadouni |
| 2014 | ANT | A Dynamical Plan Revising for Ambient Systems. | Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ili, Djamel-Eddine Sadouni |
| 2014 | ICTAI | Contextual-Timed Planning Management for Ambient Systems. | Radja Boukharrou, Ahmed-Chawki Chaouche, Jean-Michel Ili, Djamel-Eddine Sadouni |
| 2014 | IDC | From Intentions to Plans: A Contextual Planning Guidance. | Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ili, Djamel-Eddine Sadouni |
| 2013 | ECMS | Maximality Semantic For Recursive Petri Nets. | Djamel-Eddine Sadouni, Messaouda Bouneb, Jean-Michel Ili |
| 2013 | EUSPN | A Higher-order Agent Model for Ambient Systems. | Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ili, Djamel-Eddine Sadouni |
| 2013 | Qshine | Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. | Farid Arfi, Jean-Michel Ili, Djamel-Eddine Sadouni |
| 2005 | FORTE | Modular Verification of Petri Nets Properties: A Structure-Based Approach. | Kais Klai, Serge Haddad, Jean-Michel Ili |
| 2004 | ATVA | Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. | Serge Haddad, Jean-Michel Ili, Kais Klai |
| 2004 | FORTE | A Symbolic Symbolic State Space Representation. | Yann Thierry-Mieg, Jean-Michel Ili, Denis Poitrenaud |
| 2000 | FORTE | A Model Checking Method for Partially Symmetric Systems. | Serge Haddad, Jean-Michel Ili, Khalil Ajami |
| 1999 | MASCOTS | Towards Performance Analysis with Partially Symmetrical SWN. | Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ili |
| 1998 | TACAS | Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. | Khalil Ajami, Serge Haddad, Jean-Michel Ili |