Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Jean-Michel Ilié

> Home > Persons

Person information

affiliation: Paris 6 University, LIP6 Laboratory

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/cai/ChaoucheIHP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/ChaoucheIHP23
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): 716-740 (2023)
2022
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/ijaci/IlieCP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijaci/IlieCP22
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): 1-19 (2022)
2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/cai/BounebSI18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cai/BounebSI18
Messaouda Bouneb, Djamel-Eddine Saïdouni, Jean-Michel Ilié:
Hierarchical System Design Using Refinable Recursive Petri Net. Comput. Informatics 37(3): 635-655 (2018)
2017
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/ijaci/BoukharrouIS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijaci/BoukharrouIS17
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Time and Space Reasoning for Ambient Systems. Int. J. Ambient Comput. Intell. 8(3): 38-57 (2017)
2016
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ijspm/ArfiIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijspm/ArfiIS16
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): 292-304 (2016)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwmc/BoukharrouIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwmc/BoukharrouIS16
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Contextual time reasoning for mobile ambient agents. Int. J. Wirel. Mob. Comput. 10(3): 250-260 (2016)
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jaihc/ChaoucheFIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaihc/ChaoucheFIS16
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): 555-566 (2016)
2015
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/BounebSI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/BounebSI15
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): 951-973 (2015)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/ijssoe/ArousSI15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijssoe/ArousSI15
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): 1-15 (2015)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/jaihc/BoukharrouCFIS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jaihc/BoukharrouCFIS15
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): 325-336 (2015)
2014
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tcci/ChaoucheFIS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcci/ChaoucheFIS14
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: 146-169 (2014)
2013
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsw/KouahSI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsw/KouahSI13
Sofia Kouah, Djamel-Eddine Saïdouni, Jean-Michel Ilié:
Synchronized Petri Net: A Formal Specification Model for Multi Agent Systems. J. Softw. 8(3): 587-602 (2013)
2011
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BaarirBEIMPY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BaarirBEIMPY11
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): 165-184 (2011)
2008
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/DahmaniIB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/DahmaniIB08
Djaouida Dahmani, Jean-Michel Ilié, Malika Boukala:
Time Recursive Petri Nets. Trans. Petri Nets Other Model. Concurr. 1: 104-118 (2008)
2001
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmetrics/CapraDFI01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmetrics/CapraDFI01
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): 33-35 (2001)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2020
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/IlieLCP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/IlieLCP20
Jean-Michel Ilié, Karim Lahiani, Ahmed-Chawki Chaouche, François Pêcheux:
An Efficient Learning Assistant for a Contextual Road Navigation. ANT/EDI40 2020: 522-529
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/IlieCP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/IlieCP20
Jean-Michel Ilié, Ahmed-Chawki Chaouche, François Pêcheux:
E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles. ANT/EDI40 2020: 530-538
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/euspn/ChaoucheIP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euspn/ChaoucheIP20
Ahmed-Chawki Chaouche, Jean-Michel Ilié, François Pêcheux:
Dealing with Failures for Execution Consistency in Context-aware Systems. EUSPN/ICTH 2020: 212-219
2017
[c29]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fnc/IlieC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fnc/IlieC17
Jean-Michel Ilié, Ahmed-Chawki Chaouche:
Toward an Efficient Ambient Guidance for Transport Applications. FNC/MobiSPC 2017: 190-198
2016
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/idc/ChaoucheIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idc/ChaoucheIS16
Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
A Guidance of Ambient Agents Adapted to Opportunistic Situations. IDC 2016: 47-56
2015
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ciia/LayadiIKS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ciia/LayadiIKS15
Said Layadi, Jean-Michel Ilié, Ilham Kitouni, Djamel-Eddine Saïdouni:
Relative Timed Model for Coordinated Multi Agent Systems. CIIA 2015: 15-27
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/cscs/ChaoucheFIS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cscs/ChaoucheFIS15
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Spatio-Temporal Guidance for Ambient Agents. CSCS 2015: 719-726
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/LayadiIS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/LayadiIS15
Said Layadi, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Time Satisfaction In Coordinated Multi-Agent Systems With Relative Time Rates. ECMS 2015: 549-555
[c24]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fnc/BoukharrouIS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fnc/BoukharrouIS15
Radja Boukharrou, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Spatio-Temporal Planning for Mobile Ambient Agents. FNC/MobiSPC 2015: 96-103
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ifip12/ChaoucheFIS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip12/ChaoucheFIS15
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: 266-281
2014
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/ant/ChaoucheFIS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ant/ChaoucheFIS14
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
A Dynamical Plan Revising for Ambient Systems. ANT/SEIT 2014: 37-44
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/iberamia/ChaoucheFIS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iberamia/ChaoucheFIS14
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: 791-803
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/BoukharrouCIS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/BoukharrouCIS14
Radja Boukharrou, Ahmed-Chawki Chaouche, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Contextual-Timed Planning Management for Ambient Systems. ICTAI 2014: 107-114
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/idc/ChaoucheFIS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/idc/ChaoucheFIS14
Ahmed-Chawki Chaouche, Amal El Fallah Seghrouchni, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
From Intentions to Plans: A Contextual Planning Guidance. IDC 2014: 403-413
2013
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecms/SaidouniBI13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecms/SaidouniBI13
Djamel-Eddine Saïdouni, Messaouda Bouneb, Jean-Michel Ilié:
Maximality Semantic For Recursive Petri Nets. ECMS 2013: 544-550
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/euspn/ChaoucheFIS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/euspn/ChaoucheFIS13
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: 156-163
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/qshine/ArfiIS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qshine/ArfiIS13
Farid Arfi, Jean-Michel Ilié, Djamel-Eddine Saïdouni:
Pruning Search Spaces of RATA Model for the Job-Shop Scheduling. QSHINE 2013: 387-401
2009
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/dft/BaarirBCEILMPP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dft/BaarirBCEILMPP09
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: 331-339
2006
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BeccutiFBI06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BeccutiFBI06
Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié:
Efficient lumpability check in partially symmetric systems. QEST 2006: 211-220
2005
[c13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/forte/KlaiHI05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/KlaiHI05
Kais Klai, Serge Haddad, Jean-Michel Ilié:
Modular Verification of Petri Nets Properties: A Structure-Based Approach. FORTE 2005: 189-203
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/BaarirDHI05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/BaarirDHI05
Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié:
On the use of exact lumpability in partially symmetricalWell-formed Nets. QEST 2005: 23-32
2004
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/HaddadIK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/HaddadIK04
Serge Haddad, Jean-Michel Ilié, Kais Klai:
Design and Evaluation of a Symbolic and Abstraction-Based Model Checker. ATVA 2004: 196-210
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/Thierry-MiegIP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Thierry-MiegIP04
Yann Thierry-Mieg, Jean-Michel Ilié, Denis Poitrenaud:
A Symbolic Symbolic State Space Representation. FORTE 2004: 276-291
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/qest/IlieBBDDDFGM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qest/IlieBBDDDFGM04
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: 324-325
2000
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/forte/HaddadIA00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/HaddadIA00
Serge Haddad, Jean-Michel Ilié, Khalil Ajami:
A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CapraDFI02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CapraDFI02
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
Exploiting Partial Symmetries for Markov Chain Aggregation. MTCS 2000: 231-257
1999
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/mascots/CapraDFI99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mascots/CapraDFI99
Lorenzo Capra, Claude Dutheillet, Giuliana Franceschinis, Jean-Michel Ilié:
Towards Performance Analysis with Partially Symmetrical SWN. MASCOTS 1999: 148-155
1998
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/AjamiHI98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/AjamiHI98
Khalil Ajami, Serge Haddad, Jean-Michel Ilié:
Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS 1998: 52-67
1997
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/IlieA97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/IlieA97
Jean-Michel Ilié, Khalil Ajami:
Model Checking Through Symbolic Reachability Graph. TAPSOFT 1997: 213-224
1995
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/HaddadITZ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/HaddadITZ95
Serge Haddad, Jean-Michel Ilié, Mohamed Taghelit, Belhassen Zouari:
Symbolic Reachability Graph and Partial Symmetries. Application and Theory of Petri Nets 1995: 238-257
1993
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/IlieR93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/IlieR93
Jean-Michel Ilié, Omar Rojas:
On Well-Formed Nets and Optimizations in Enabling Tests. Application and Theory of Petri Nets 1993: 300-318
1985
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pnpm/EstraillierGI85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pnpm/EstraillierGI85
Pascal Estraillier, Claude Girault, Jean-Michel Ilié:
Satellite Protocol Modeling by Synchronous Predicate Transition Nets. PNPM 1985: 280-287

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.