ILIÉ Jean-Michel
أسـتاذ مـحاضر
وحـدة : MoVe
Tel: +33 1 44 27 73 19, Jean-Michel.Ilie (at) nulllip6.fr
https://perso.lip6.fr/Jean-Michel.Ilie
وحـدة : MoVe
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 2, Bureau 202
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 73 19, Jean-Michel.Ilie (at) nulllip6.fr
https://perso.lip6.fr/Jean-Michel.Ilie
إصدارات 1997-2023
-
2023
- Ah. Chaouche, J.‑M. Ilié, A. Hebik, F. Pêcheux : “Integration of a Contextual Observation System in a Multi-Process Architecture for Autonomous Vehicles”, Computing and Informatics, vol. 42 (3), pp. 716-740, (Slovak University Press, Bratislava) (2023)
-
2022
- J.‑M. Ilié, Ah. Chaouche, F. Pêcheux : “A Reinforcement Learning Integrating Distributed Caches for Contextual Road Navigation”, International Journal of Ambient Computing and Intelligence, vol. 13 (1), pp. 1-19, (IGI Pub) (2022)
-
2020
- J.‑M. Ilié, K. Lahiani, Ah. Chaouche, F. Pêcheux : “An Efficient Learning Assistant for a Contextual Road Navigation”, Procedia Computer Science, vol. 170, pp. 522-529, (Elsevier) (2020)
- Ah. Chaouche, J.‑M. Ilié, F. Pêcheux : “Dealing with Failures for Execution Consistency in Context-aware Systems”, Procedia Computer Science, vol. 177, pp. 212-219, (Elsevier) (2020)
- J.‑M. Ilié, Ah. Chaouche, F. Pêcheux : “E-HoA: A Distributed Layered Architecture for Context-aware Autonomous Vehicles”, Procedia Computer Science, vol. 170, pp. 530-538, (Elsevier) (2020)
-
2017
- J.‑M. Ilié, Ah. Chaouche : “Toward an Efficient Ambient Guidance for Transport Applications”, 14th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2017), Leuven, Belgium, (Procedia Computer Science) (2017)
-
2016
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Smart Agent Foundations: From Planning to Spatio-temporal Guidance”, chapter in Enablers for Smart Cities, pp. 33-63, (John Wiley & Sons, Inc), (ISBN: 9781848219588) (2016)
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Learning from situated experiences for a contextual planning guidance”, Journal of Ambient Intelligence and Humanized Computing, vol. 7 (4), pp. 555-566, (Springer) (2016)
- R. Boukharrou, J.‑M. Ilié, D. Saidouni : “Contextual time reasoning for mobile ambient agents”, International Journal of Wireless and Mobile Computing, vol. 10 (3), pp. 250-260, (Inderscience) (2016)
- F. Arfi, J.‑M. Ilié, D. Saidouni : “Solving preemptive job-shop scheduling problems using a true concurrency model”, International Journal of Simulation and Process Modelling, vol. 11 (3/4) (2016)
-
2015
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Improving the Contextual Selection of BDI Plans by Incorporating Situated Experiments”, Artificial Intelligence Applications and Innovations, vol. 458, IFIP Advances in Information and Communication Technology, Bayonne, France, pp. 266-281, (Springer International Publishing) (2015)
- R. Boukharrou, J.‑M. Ilié, D. Saidouni : “Spatio-Temporal Planning for Mobile Ambient Agents”, Procedia Computer Science, vol. 56, 12th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2015), Belfort, France, pp. 96-103, (Elsevier) (2015)
- R. Boukharrou, Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Dealing with temporal failure in ambient systems: a dynamic revision of plans”, Journal of Ambient Intelligence and Humanized Computing, vol. 6 (3), pp. 325-336, (Springer) (2015)
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “Spatio-Temporal Guidance for Ambient Agents”, 20th International Conference on Control Systems and Computer Science (CSCS)}, Control Systems and Computer Science (CSCS), 2015 20th International Conference, Bucharest, Romania, pp. 719-726, (IEEE) (2015)
-
2014
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Formal Approach for Contextual Planning Management: Application to Smart Campus Environment”, Advances in Artificial Intelligence - IBERAMIA 2014, vol. 8864, Lecture Notes in Artificial Intelligence, Santiago, Chile, pp. 791-803, (Springer) (2014)
- R. Boukharrou, Ah. Chaouche, J.‑M. Ilié, D. Saidouni : “Contextual-Timed Planning Management for Ambient Systems”, 26th IEEE International Conference on Tools with Artificial Intelligence, Limassol, Cyprus, pp. 107-114, (IEEE Computer Society) (2014)
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Higher-order Agent Model with Contextual Management for Ambient Systems”, Transactions on Computational Collective Intelligence XVI, vol. 8780, pp. 146-169 (2014)
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “From Intentions to Plans: A Contextual Planning Guidance”, The 8th International Symposium on Intelligent Distributed Computing, vol. 570, Studies in Computational Intelligence, Madrid, Spain, pp. 403-413 (2014)
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Dynamical Plan Revising for Ambient Systems”, The 5th International Conference on Ambient Systems, Networks and Technologies, vol. 32, Procedia computer science, Hasselt, Belgium, pp. 37-44, (Elsevier) (2014)
-
2013
- D. Saidouni, M. Bouneb, J.‑M. Ilié : “Maximality Semantics for Recursive Petri Nets”, Proc. of the 27th European Conference On Modelling and Simulation (ECMS13), Alesund, Norway, pp. 544-550, (European Concil for Modeling and Simulation) (2013)
- Ah. Chaouche, A. El Fallah‑Seghrouchni, J.‑M. Ilié, D. Saidouni : “A Higher-order Agent Model for Ambient Systems”, The 4th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN-2013), vol. 21, Procedia Computer Science, Niagara Falls, Ontario, Canada, pp. 156-163 (2013)
-
2012
- D. Saidouni, Ah. Chaouche, J.‑M. Ilié : “On the Fly PSO Inspired Algorithm For Graph Distribution”, 2nd International Symposium on Modelling and Implementation of Complex Systems, vol. 21, Procedia Computer Science, Constantine, Algeria, pp. 156-163 (2012)
- A. Farid, D. Saidouni, J.‑M. Ilié : “A Model for Job-Shop Problem”, IEEE International Conference on Information Technology and e-Services (ICITeS 2012), Sousse, Tunisia, pp. 640-645, (IEEE) (2012)
- N. Belala, D. Saidouni, M. Bouneb, J.‑M. Ilié : “Maximality Semantics and Petri Nets”, International Journal of Computer Science and Technology, vol. 3 (3-4), pp. 687-694 (2012)
-
2011
- S. Baarir, C. Braunstein, E. Encrenaz, J.‑M. Ilié, I. Mounier, D. Poitrenaud, S. Younes : “Feasibility Analysis for Robustness Quantification by Symbolic Model Checking”, Formal Methods in System Design, vol. 39 (2), pp. 165-184, (Springer Verlag) (2011)
-
2010
- S. Baarir, C. Braunstein, E. Encrenaz, J.‑M. Ilié, T. Li, I. Mounier, D. Poitrenaud, S. Younes : “Quantifying Robustness by Symbolic Model checking”, 1st Hardware Verification Workshop (CAV workshop), Edinburgh, United Kingdom, pp. 1-12 (2010)
-
2009
- D. Dahmani, J.‑M. Ilié, M. Ioualalen : “Reachabilty Analysis For Recursive Petri Nets With Shared Places”, International Workshop on Abstractions for Petri nets Analysis and Other Models of Concurrency (APNOC'2009), in conjunction with the 30th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2009), Paris, France, pp. 65-79, (P13) (2009)
- S. Baarir, C. Braunstein, R. Clavel, E. Encrenaz, J.‑M. Ilié, R. Leveugle, I. Mounier, L. Pierre, D. Poitrenaud : “Complementary formal approaches for dependability analysis”, The 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Chicago, Illinois, United States, pp. 331-339, (IEEE Computer Society) (2009)
- S. Haddad, J.‑M. Ilié : “Symmetry and Temporal Logic”, chapter in Petri Nets: Fundamental Models, Verification and Applications, vol. 2, pp. 435-459, (ISTE - WEISLEY), (ISBN: 978-1-84821-079-0) (2009)
-
2008
- D. Dahmani, J.‑M. Ilié, M. Boukala : “Time Recursive Petri Nets - revisited”, LNCS Transactions on Petri Nets and Other Models of Concurrency, vol. 5100 (I), Lecture Notes in Computer Science, pp. 104-118, (Springer) (2008)
-
2007
- D. Dahmani, J.‑M. Ilié, M. Boukala : “Time Recursive Petri Net”, International Workshop of Petri Nets and Software Engineering (PNSE 2007), in conjunction with the 28th International Conference on Application and Theory of Petri Nets and Other Models of Councurrency (Petri Nets 2007), Sliedlce, Poland, pp. 37-51 (2007)
-
2006
- M. Beccuti, S. Baarir, G. Franceschinis, J.‑M. Ilié : “Efficient Lumpability Check in Partially Symmetric Systems”, 3rd International Conference on the Quantitative Evaluation of Systems (QEST '06), Riverside, CA, United States, pp. 211-220, (IEEE Computer Society) (2006)
- J.‑M. Ilié, Y. Thierry‑Mieg, S. Baarir : “Vérification efficace des systèmes finis”, chapitre de Méthodes Formelles pour les Systèmes Répartis et Coopératifs, Traités IC2 - Informatique et systèmes d'information, pp. 171-211, (Hermes-Lavoisier), (ISBN: 2-7462-1447-4) (2006)
-
2005
- K. Klai, S. Haddad, J.‑M. Ilié : “Modular Verification of Petri Nets Properties: A Structure-Based Approach”, 25th IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'05), vol. 3731, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 189-203, (Springer-Verlag) (2005)
- S. Baarir, C. Dutheillet, S. Haddad, J.‑M. Ilié : “On the Use of Exact Lumpability in Partially Symmetrical Well-Formed Nets”, 2nd International Conference on the Quantitative Evaluation of Systems (QEST '05), Torino, Italy, pp. 23-32, (IEEE Computer Society Press) (2005)
-
2004
- S. Haddad, J.‑M. Ilié, K. Klai : “Symbolic Observation Graph : An Efficient Structure for On-The-Fly Action-based Linear Time Logic Model Checking”, 15th IEEE International Symposium on Software Reliability Engineering (ISSRE '04), Saint-Malo, France, pp. 11-12 (2004)
- S. Haddad, J.‑M. Ilié, K. Klai : “Design and Evaluation of a Symbolic and Abstraction-based Model Checker”, 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA '04), vol. 3299, Lecture Notes in Computer Science, Taipei, Taiwan, Province of China, pp. 196-210, (Springer-Verlag) (2004)
- S. Baarir, J.‑M. Ilié, A. Duret‑Lutz : “Improving Reachability Analysis for Partially Symmetric High Level Petri Nets”, 12th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS '04), Volendam, Netherlands, pp. 5-8 (2004)
- Y. Thierry‑Mieg, J.‑M. Ilié, D. Poitrenaud : “A Symbolic Symbolic State Space Representation”, 24th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE '04), vol. 3235, Lecture Notes in Computer Science, Madrid, Spain, pp. 276-291, (Springer-Verlag) (2004)
- S. Baarir, S. Haddad, J.‑M. Ilié : “Exploiting Partial Symmetries in Well-formed nets for the Reachability and the linear Time Model Checking Problems”, 7th Workshop on Discrete Event Systems (WODES '04), Reims, France, pp. 223-228 (2004)
- J.‑M. Ilié, S. Baarir, M. Beccuti, C. Delamare, S. Donatelli, C. Dutheillet, G. Franceschinis, R. Gaeta, P. Moreaux : “Extended SWN Solvers in GreatSPN”, 1st International Conference on Quantitative Evaluation of Systems (QEST '04), Enschede, Netherlands, pp. 324-325, (IEEE Computer Society) (2004)
-
2003
- J.‑M. Ilié, K. Klai : “A Modular Verification Methodology for D-NRI Petri Nets”, International Conference ACS/IEEE 2003 on Computer Systems and Applications (AICCSA-03), Tunis, Tunisia, (IEEE) (2003)
- C. Dutheillet, J.‑M. Ilié, D. Poitrenaud, I. Vernier‑Mounier : “State-Space-Based Methods and Model Checking”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, pp. 201-275, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
- S. Haddad, J.‑M. Ilié : “Symétries et logique temporelle”, chapitre de Vérification et mise en oeuvre des réseaux de Petri, Traité IC2, série Informatique et Systèmes d'Information, (Hermes Science Publication), (ISBN: 2-7462-0445-2) (2003)
-
2002
- J.‑M. Ilié, K. Klai, S. Haddad : “An Incremental Verification Technique Using Reduction of Petri Nets : A Petri net Approach”, International IEEE Conference on System Man and Cybernetics 2002 (IEEE SMC 02), Hammamet, Tunisia, (IEEE-CS Press) (2002)
-
2000
- S. Haddad, J.‑M. Ilié, Kh. Ajami : “A Model Checking Method for Partially Symmetric Systems”, International conference on Formal Methods for Distributed System Development, FORTE/PSTV2000, vol. 183, IFIP Conference Proceedings, Pisa, Italy, pp. 121-136, (Kluwer) (2000)
- L. Capra, C. Dutheillet, G. Franceschinis, J.‑M. Ilié : “Exploiting Partial Symmetries for Markov Chain Aggregation”, International Workshop on Models for Time-Critical Systems (MTCS 2000), vol. 39 (3), Electronic Notes in Theoretical Computer Science, State College, PA, United States, pp. 231-257, (Elsevier) (2000)
- T. Thouraya, J.‑M. Ilié : “Spécification à objets des systèmes répartis guidée par les gabarits”, 3e Séminaire National en Informatique à Biskra (ASNIB '2000), Biskra, Algeria, pp. 58-68 (2000)
-
1999
- L. Capra, C. Dutheillet, G. Franceschinis, J.‑M. Ilié : “Towards Performance Analysis with Partially Symmetrical SWN”, International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOT '99), College Park, MD, United States, pp. 148-155, (IEEE) (1999)
-
1998
- Kh. Ajami, S. Haddad, J.‑M. Ilié : “Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond”, (1998)
- Kh. Ajami, S. Haddad, J.‑M. Ilié : “Exploiting Symmetry in Linear Time Temporal Logic Model Checking”, European Conference on Theory and Practice of Software, vol. 1384, Lecture Notes in Computer Science, Lisbon, Portugal, pp. 52-67, (Springer-Verlag) (1998)
- A. Diagne, D. Moldt, J.‑M. Ilié : “Verification and Validation Techniques to Use UML for the Specification of Reactive Systems”, 31st Hawaiian International Conference on System Sciences, Kohala Coast, Hawaii, United States (1998)
-
1997
- Kh. Ajami, J.‑M. Ilié : “An Automatique Technique for CTL* Model Checking”, (1997)
- A. Diagne, J.‑M. Ilié, D. Moldt : “Integration of Semi-Formal and Formal Approaches”, 11th Conference on Object-Oriented Programming (ECOOP '97), vol. 1357, Lecture Notes in Computer Science, Jyväskylä, Finland, (Springer-Verlag) (1997)
- J.‑M. Ilié, Kh. Ajami : “Model Checking through Symbolic Reachability Graph”, Theory and Practice of Software Development, TAPSOFT'97, Lecture Notes in Computer Science, Lille, France, pp. 213-224, (Springer-Verlag) (1997)
- S. Haddad, J.‑M. Ilié, M. Taghelit, C. Dutheillet, P. Moreaux : “Contribution des Réseaux de Petri de Haut Niveau pour l’Etude des Protocoles”, Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, vol. 16 (6), pp. 701-723, (Lavoisier) (1997)