Jean-Michel Ilié

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