Jean-Michel Ilié

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 12

Top Topics

Layered Architecture

Temporal Planning

Top Venues

Comput. Informatics

Int. J. Ambient Comput. Intell.

Publications

Ahmed-Chawki Chaouche, Jean-Michel Ilié, Assem Hebik, François Pêcheux
Integration a Contextual Observation System in a Multi-Process Architecture for Autonomous Vehicles. Comput. Informatics 42 (3) (2023)
Jean-Michel Ilié, Ahmed-Chawki Chaouche, François Pêcheux
A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation. Int. J. Ambient Comput. Intell. 13 (1) (2022)
Jean-Michel Ilié, Karim Lahiani, Ahmed-Chawki Chaouche, François Pêcheux
An Efficient Learning Assistant for a Contextual Road Navigation. ANT/EDI40 (2020)
Ahmed-Chawki Chaouche, Jean-Michel Ilié, François Pêcheux
Dealing with Failures for Execution Consistency in Context-aware Systems. EUSPN/ICTH (2020)
Jean-Michel Ilié, Ahmed-Chawki Chaouche, François Pêcheux
E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles. ANT/EDI40 (2020)
Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié
Hierarchical System Design Using Refinable Recursive Petri Net. Comput. Informatics 37 (3) (2018)
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Time and Space Reasoning for Ambient Systems. Int. J. Ambient Comput. Intell. 8 (3) (2017)
Jean-Michel Ilié, Ahmed-Chawki Chaouche
Toward an Efficient Ambient Guidance for Transport Applications. FNC/MobiSPC (2017)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Learning from situated experiences for a contextual planning guidance. J. Ambient Intell. Humaniz. Comput. 7 (4) (2016)
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Contextual time reasoning for mobile ambient agents. Int. J. Wirel. Mob. Comput. 10 (3) (2016)
Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Guidance of Ambient Agents Adapted to Opportunistic Situations. IDC (2016)
Farid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Solving preemptive job-shop scheduling problems using a true concurrency model. Int. J. Simul. Process. Model. 11 (3/4) (2016)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments. AIAI (2015)
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Spatio-Temporal Planning for Mobile Ambient Agents. FNC/MobiSPC (2015)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Spatio-Temporal Guidance for Ambient Agents. CSCS (2015)
Said Layadi, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates. ECMS (2015)
Mokdad Arous, Djamel-Eddine Saïdouni, Jean-Michel Ilié
An Integrated Approach for Specification and Analysis of Functional and Performance Properties of Concurrent Systems. Int. J. Syst. Serv. Oriented Eng. 5 (1) (2015)
Radja Boukharrou, Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Dealing with temporal failure in ambient systems: a dynamic revision of plans. J. Ambient Intell. Humaniz. Comput. 6 (3) (2015)
Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié
A reduced maximality labeled transition system generation for recursive Petri nets. Formal Aspects Comput. 27 (5-6) (2015)
Said Layadi, Jean-Michel Ilié, Ilham Kitouni, Djamel-Eddine Saïdouni
Relative Timed Model for Coordinated Multi Agent Systems. CIIA (2015)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment. IBERAMIA (2014)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Dynamical Plan Revising for Ambient Systems. ANT/SEIT (2014)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Higher-Order Agent Model with Contextual Planning Management for Ambient Systems. Trans. Comput. Collect. Intell. 16 (2014)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
From Intentions to Plans: A Contextual Planning Guidance. IDC (2014)
Radja Boukharrou, Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Contextual-Timed Planning Management for Ambient Systems. ICTAI (2014)
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni
A Higher-order Agent Model for Ambient Systems. EUSPN/ICTH (2013)
Djamel-Eddine Saïdouni, Messaouda Bouneb, Jean-Michel Ilié
Maximality Semantic For Recursive Petri Nets. ECMS (2013)
Sofia Kouah, Djamel-Eddine Saïdouni, Jean-Michel Ilié
Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. J. Softw. 8 (3) (2013)
Farid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni
Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. QSHINE (2013)
Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès
Feasibility analysis for robustness quantification by symbolic model checking. Formal Methods Syst. Des. 39 (2) (2011)
Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud
Complementary Formal Approaches for Dependability Analysis. DFT (2009)
Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala
Time Recursive Petri Nets. Trans. Petri Nets Other Model. Concurr. 1 (2008)
Kais Klai, Serge Haddad, Jean-Michel Ilié
Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE (2005)
Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié
On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST (2005)
Jean-Michel Ilié, Souheib Baarir, Marco Beccuti, Clément Delamare, Susanna Donatelli, Claude Dutheillet, Giuliana Franceschinis, Rossano Gaeta, Patrice Moreaux
Extended SWN Solvers in GreatSPN. QEST (2004)
Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud
A Symbolic Symbolic State Space Representation. FORTE (2004)
Serge Haddad, Jean-Michel Ilié, Kais Klai
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA (2004)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
On the use of partial symmetries for lumping Markov chains. SIGMETRICS Perform. Evaluation Rev. 28 (4) (2001)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
Exploiting Partial Symmetries for Markov Chain Aggregation. Electron. Notes Theor. Comput. Sci. 39 (3) (2000)
Serge Haddad, Jean-Michel Ilié, Khalil Ajami
A Model Checking Method for Partially Symmetric Systems. FORTE (2000)
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié
Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS (1999)
Khalil Ajami, Serge Haddad, Jean-Michel Ilié
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS (1998)
Jean-Michel Ilié, Khalil Ajami
Model Checking Through Symbolic Reachability Graph. TAPSOFT (1997)
Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari
Symbolic Reachability Graph and Partial Symmetries. Application and Theory of Petri Nets (1995)
Jean-Michel Ilié, Omar Rojas
On Well-Formed Nets and Optimizations in Enabling Tests. Application and Theory of Petri Nets (1993)
Pascal Estraillier, Claude Girault, Jean-Michel Ilié
Satellite Protocol Modeling by Synchronous Predicate Transition Nets. PNPM (1985)