Satellite Protocol Modeling by Synchronous Predicate Transition Nets. - Pascal Estraillier; Claude Girault; Jean-Michel Ilié (PNPM, 1985)

On Well-Formed Nets and Optimizations in Enabling Tests. - Jean-Michel Ilié; Omar Rojas (Application and Theory of Petri Nets, 1993)

Symbolic Reachability Graph and Partial Symmetries. - Serge Haddad; Jean-Michel Ilié; Mohamed Taghelit; Belhassen Zouari (Application and Theory of Petri Nets, 1995)

Model Checking Through Symbolic Reachability Graph. - Jean-Michel Ilié; Khalil Ajami (TAPSOFT, 1997)

Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. - Khalil Ajami; Serge Haddad; Jean-Michel Ilié (TACAS, 1998)

Towards Performance Analysis with Partially Symmetrical SWN. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (MASCOTS, 1999)

A Model Checking Method for Partially Symmetric Systems. - Serge Haddad; Jean-Michel Ilié; Khalil Ajami (FORTE, 2000)

Exploiting Partial Symmetries for Markov Chain Aggregation. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (MTCS, 2000)

On the use of partial symmetries for lumping Markov chains. - Lorenzo Capra; Claude Dutheillet; Giuliana Franceschinis; Jean-Michel Ilié (SIGMETRICS Perform. Evaluation Rev., 2001)

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. - Serge Haddad; Jean-Michel Ilié; Kais Klai (ATVA, 2004)

A Symbolic Symbolic State Space Representation. - Yann Thierry-Mieg; Jean-Michel Ilié; Denis Poitrenaud (FORTE, 2004)

Extended SWN Solvers in GreatSPN. - Jean-Michel Ilié; Souheib Baarir; Marco Beccuti; Clément Delamare; Susanna Donatelli; Claude Dutheillet; Giuliana Franceschinis; Rossano Gaeta; Patrice Moreaux (QEST, 2004)

Modular Verification of Petri Nets Properties: A Structure-Based Approach. - Kais Klai; Serge Haddad; Jean-Michel Ilié (FORTE, 2005)

On the use of exact lumpability in partially symmetricalWell-formed Nets. - Souheib Baarir; Claude Dutheillet; Serge Haddad; Jean-Michel Ilié (QEST, 2005)

Efficient lumpability check in partially symmetric systems. - Marco Beccuti; Giuliana Franceschinis; Souheib Baarir; Jean-Michel Ilié (QEST, 2006)

Time Recursive Petri Nets. - Djaouida Dahmani; Jean-Michel Ilié; Malika Boukala (Trans. Petri Nets Other Model. Concurr., 2008)

Complementary Formal Approaches for Dependability Analysis. - Souheib Baarir; Cécile Braunstein; Renaud Clavel; Emmanuelle Encrenaz; Jean-Michel Ilié; Régis Leveugle; Isabelle Mounier; Laurence Pierre; Denis Poitrenaud (DFT, 2009)

Feasibility analysis for robustness quantification by symbolic model checking. - Souheib Baarir; Cécile Braunstein; Emmanuelle Encrenaz; Jean-Michel Ilié; Isabelle Mounier; Denis Poitrenaud; Sana Younès (Formal Methods Syst. Des., 2011)

Maximality Semantic For Recursive Petri Nets. - Djamel-Eddine Saïdouni; Messaouda Bouneb; Jean-Michel Ilié (ECMS, 2013)

A Higher-order Agent Model for Ambient Systems. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (EUSPN/ICTH, 2013)

Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. - Farid Arfi; Jean-Michel Ilié; Djamel-Eddine Saïdouni (QSHINE, 2013)

Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. - Sofia Kouah; Djamel-Eddine Saïdouni; Jean-Michel Ilié (J. Softw., 2013)

A Dynamical Plan Revising for Ambient Systems. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (ANT/SEIT, 2014)

A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (IBERAMIA, 2014)

Contextual-Timed Planning Management for Ambient Systems. - Radja Boukharrou; Ahmed-Chawki Chaouche; Jean-Michel Ilié; Djamel-Eddine Saïdouni (ICTAI, 2014)

From Intentions to Plans: A Contextual Planning Guidance. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (IDC, 2014)

A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Trans. Comput. Collect. Intell., 2014)

Relative Timed Model for Coordinated Multi Agent Systems. - Said Layadi; Jean-Michel Ilié; Ilham Kitouni; Djamel-Eddine Saïdouni (CIIA, 2015)

Spatio-Temporal Guidance for Ambient Agents. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (CSCS, 2015)

Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates. - Said Layadi; Jean-Michel Ilié; Djamel-Eddine Saïdouni (ECMS, 2015)

Spatio-Temporal Planning for Mobile Ambient Agents. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (FNC/MobiSPC, 2015)

Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (AIAI, 2015)

A reduced maximality labeled transition system generation for recursive Petri nets. - Messaouda Bouneb; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Formal Aspects Comput., 2015)

An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems. - Mokdad Arous; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Int. J. Syst. Serv. Oriented Eng., 2015)

Dealing with temporal failure in ambient systems: a dynamic revision of plans. - Radja Boukharrou; Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (J. Ambient Intell. Humaniz. Comput., 2015)

A Guidance of Ambient Agents Adapted to Opportunistic Situations. - Ahmed-Chawki Chaouche; Jean-Michel Ilié; Djamel-Eddine Saïdouni (IDC, 2016)

Solving preemptive job-shop scheduling problems using a true concurrency model. - Farid Arfi; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Simul. Process. Model., 2016)

Contextual time reasoning for mobile ambient agents. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Wirel. Mob. Comput., 2016)

Learning from situated experiences for a contextual planning guidance. - Ahmed-Chawki Chaouche; Amal El Fallah Seghrouchni; Jean-Michel Ilié; Djamel-Eddine Saïdouni (J. Ambient Intell. Humaniz. Comput., 2016)

Toward an Efficient Ambient Guidance for Transport Applications. - Jean-Michel Ilié; Ahmed-Chawki Chaouche (FNC/MobiSPC, 2017)

Time and Space Reasoning for Ambient Systems. - Radja Boukharrou; Jean-Michel Ilié; Djamel-Eddine Saïdouni (Int. J. Ambient Comput. Intell., 2017)

Hierarchical System Design Using Refinable Recursive Petri Net. - Messaouda Bouneb; Djamel-Eddine Saïdouni; Jean-Michel Ilié (Comput. Informatics, 2018)

E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles. - Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux (ANT/EDI40, 2020)

An Efficient Learning Assistant for a Contextual Road Navigation. - Jean-Michel Ilié; Karim Lahiani; Ahmed-Chawki Chaouche; François Pêcheux (ANT/EDI40, 2020)

Dealing with Failures for Execution Consistency in Context-aware Systems. - Ahmed-Chawki Chaouche; Jean-Michel Ilié; François Pêcheux (EUSPN/ICTH, 2020)

A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation. - Jean-Michel Ilié; Ahmed-Chawki Chaouche; François Pêcheux (Int. J. Ambient Comput. Intell., 2022)

Integration a Contextual Observation System in a Multi-Process Architecture for Autonomous Vehicles. - Ahmed-Chawki Chaouche; Jean-Michel Ilié; Assem Hebik; François Pêcheux (Comput. Informatics, 2023)