Five past PhD students (2000 - 2015) at Sorbonne University

1997-2023 Publications

• 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”, 14^th 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, 12^th 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”, 20^th International Conference on Control Systems and Computer Science (CSCS)}, Control Systems and Computer Science (CSCS), 2015 20^th 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”, 26^th 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 8^th 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 5^th 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 27^th 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 4^th 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”, 2^nd International Symposium on Modelling and Implementation of Complex Systems, vol. 21, Procedia Computer Science, Constantine, Algeria, pp. 156-163 (2012)
  • F. Arfi, 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”, 1^st 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 30^th 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 24^th 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 28^th 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”, 3^rd 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”, 25^th 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”, 2^nd 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”, 15^th 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”, 2^nd 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”, 12^th 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”, 24^th 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”, 7^th 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”, 1^st 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”, 3^e 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”, 31^st 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”, 11^th 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)