• 
  Yliès Falcone, Gwen Salaün, Ahang Zuo. Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering, Apr 2024, Luxembourg City, Luxembourg. pp.1-21, ⟨10.1007/978-3-031-57259-3_3⟩. ⟨hal-04533195⟩
• 
  Théo Barollet, Christophe Guillon, Manuel Selva, François Broquedis, Florent Bouchez-Tichadou, et al.. EasyTracker: A Python Library for Controlling and Inspecting Program Execution. CGO 2024 - International Symposium on Code Generation and Optimization, Mar 2024, Edinburgh, United Kingdom. pp.1-14. ⟨hal-04368835v3⟩
• 
  Théophile Bastian, Hugo Pompougnac, Alban Dutilleul, Fabrice Rastello. CesASMe and Staticdeps: static detection of memory-carried dependencies for code analyzers. INRIA. 2024, pp.1-12. ⟨hal-04477227⟩
• 
  Manuel Selva, François Broquedis. Mining Jewels Together: Debating about Programming Threshold Concepts in Large Classes. SIGCSE 2024 - 55th ACM Technical Symposium on Computer Science Education, Mar 2024, Portland (OR), United States. pp.1-7, ⟨10.1145/3626252.3630893⟩. ⟨hal-04383009⟩
• 
  Chukri Soueidi, Yliès Falcone, Sylvain Hallé. Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing. ISSRE - 2023 IEEE 34th International Symposium on Software Reliability Engineering, Oct 2023, Florence, Italy. pp.742-751, ⟨10.1109/ISSRE59848.2023.00048⟩. ⟨hal-04381709⟩
• 
  Chukri Soueidi, Yliès Falcone. Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. RV 2023 - 23rd International Conference on Runtime Verification, Oct 2023, Thessaloniki, Greece. pp.403-427, ⟨10.1007/978-3-031-44267-4_23⟩. ⟨hal-04381696⟩
• 
  Chukri Soueidi, Yliès Falcone. Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. RV 2023 - 23rd International Conference on Runtime Verification, Oct 2023, Thessalokini, Greece. pp.327-338, ⟨10.1007/978-3-031-44267-4_17⟩. ⟨hal-04381683⟩
• 
  Chukri Soueidi, Yliès Falcone. Sound Concurrent Traces for Online Monitoring. SPIN 2023 - 29th International Symposium on Model Checking Software, Apr 2023, Paris, France. pp.59-80, ⟨10.1007/978-3-031-32157-3_4⟩. ⟨hal-04381666⟩
• 
  Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone. Opportunistic Monitoring of Multithreaded Programs. FASE 2023 - 26th International Conference on Fundamental Approaches to Software Engineering, Apr 2023, Paris, France. pp.173-194, ⟨10.1007/978-3-031-30826-0_10⟩. ⟨hal-04381611⟩
• 
  Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem. DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes ⋆. AISOLA 2023 - Bridging the Gap Between AI and Reality, Oct 2023, Crete, Greece. pp.1-15. ⟨hal-04380870⟩
• 
  Dumitru Potop-Butucaru, Albert Cohen, Gordon Plotkin, Hugo Pompougnac. Bidirectional Reactive Programming for Machine Learning. 2023. ⟨hal-04354071⟩
• 
  Etienne Delort, Laura Riou, Anukriti Srivastava. Environmental Impact of Artificial Intelligence: Bibliographic Report - Artificial Intelligence and Eco-responsibility Internship. INRIA; CEA Leti. 2023, pp.1-33. ⟨hal-04283245⟩
• 
  Yliès Falcone, Gwen Salaün, Irman Faqrizal. Runtime Enforcement for IEC 61499 Applications. SEFM 2022 - 20th International Conference on Software Engineering and Formal Methods, Sep 2022, Berlin, Germany. pp.1-17, ⟨10.1007/978-3-031-17108-6_22⟩. ⟨hal-03766095v2⟩
• 
  Yliès Falcone, Irman Faqrizal, Gwen Salaün. Probabilistic Analysis of Industrial IoT Applications. IoT 2022 -The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands. ⟨10.1145/3567445.3567461⟩. ⟨hal-03848674v2⟩
• 
  Yliès Falcone. Residual Runtime Verification via Reachability Analysis. VSTTE 2022 - 14th International Conference on Verified Software: Theories, Tools, and Experiments, Oct 2022, Trento, Italy. pp.1-19. ⟨hal-03911820⟩
• 
  Hamzah Al Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem. DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks. AITest 2022 - IEEE 4th International Conference On Artificial Intelligence Testing, Aug 2022, San Francisco, United States. pp.1-8. ⟨hal-03911812⟩
• 
  Florian Gallay, Yliès Falcone. DECENT: A Benchmark for Decentralized Enforcement. RV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tblisi, Georgia. pp.1-11. ⟨hal-03911798⟩
• 
  Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider. Runtime Verification of Kotlin Coroutines. RV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tbilisi, Georgia. pp.1-19. ⟨hal-03911794⟩
• 
  Chukri Soueidi, Yliès Falcone. Capturing program models with BISM. SAC 2022 - 37th ACM Symposium on Applied Computing - Software Verification and Testing Track, Apr 2022, Brno (Virtuel), Czech Republic. ⟨10.1145/3477314.3507239⟩. ⟨hal-03911682⟩
• 
  Victor Roussanaly, Yliès Falcone. Decentralised Runtime Verification of Timed Regular Expressions. TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs..12⟩. ⟨hal-03911668⟩

170

33