Presentation
Yliès Falcone holds an Associate Professor (Maître de Conférences) position at Université Grenoble 1 (Université Joseph Fourier). Previously, he was a Research Scholar at University of Illinois at Urbana Champaign (USA), Honorary Researcher at University of Manchester (UK), Invited Researcher at NICTA Canberra (Australia), and Research Assistant at Verimag Laboratory (France).
His research interests include various aspects of monitoring (aka runtime verification, runtime enforcement) and debugging.
Personal Website: www.ylies.fr
Publications
2024
Journal articles
- titre
- Bounded-memory runtime enforcement with probabilistic and performance analysis
- auteur
- Saumya Shankar, Ankit Pradhan, Srinivas Pinisetty, Antoine Rollet, Yliès Falcone
- article
- Formal Methods in System Design, 2024, ⟨10.1007/s10703-024-00446-1⟩
- Accès au bibtex
- titre
- Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement
- auteur
- Irman Faqrizal, Gwen Salaün, Yliès Falcone
- article
- ACM Transactions on Autonomous and Adaptive Systems, In press, pp.1-31
- Accès au texte intégral et bibtex
Conference papers
- titre
- Guided Evolution of IEC 61499 Applications
- auteur
- Irman Faqrizal, Gwen Salaün, Yliès Falcone
- article
- ETFA 2024 – 29th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, Sep 2024, Padova, Italy. pp.1-8
- Accès au texte intégral et bibtex
- titre
- Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics
- auteur
- Yliès Falcone, Gwen Salaün, Ahang Zuo
- article
- QRS 2024 – 24th International Conference on Software Quality, Reliability, and Security, Jul 2024, Cambridge, United Kingdom. pp.1-12
- Accès au texte intégral et bibtex
- titre
- Probabilistic Runtime Enforcement of Executable BPMN Processes
- auteur
- Yliès Falcone, Gwen Salaün, Ahang Zuo
- article
- 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⟩
- Accès au texte intégral et bibtex
2023
Conference papers
- titre
- DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes ⋆
- auteur
- Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
- article
- AISOLA 2023 – Bridging the Gap Between AI and Reality, Oct 2023, Crete, Greece. pp.1-15
- Accès au texte intégral et bibtex
- titre
- Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing
- auteur
- Chukri Soueidi, Yliès Falcone, Sylvain Hallé
- article
- ISSRE – 2023 IEEE 34th International Symposium on Software Reliability Engineering, Oct 2023, Florence, Italy. pp.742-751, ⟨10.1109/ISSRE59848.2023.00048⟩
- Accès au texte intégral et bibtex
- titre
- Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
- auteur
- Chukri Soueidi, Yliès Falcone
- article
- RV 2023 – 23rd International Conference on Runtime Verification, Oct 2023, Thessaloniki, Greece. pp.403-427, ⟨10.1007/978-3-031-44267-4_23⟩
- Accès au texte intégral et bibtex
- titre
- Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM
- auteur
- Chukri Soueidi, Yliès Falcone
- article
- RV 2023 – 23rd International Conference on Runtime Verification, Oct 2023, Thessalokini, Greece. pp.327-338, ⟨10.1007/978-3-031-44267-4_17⟩
- Accès au texte intégral et bibtex
- titre
- Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems
- auteur
- Hamzah Al-Qadasi, Yliès Falcone, Saddek Bensalem
- article
- 5th IEEE International Conference on Artificial Intelligence (AITest 2023), Jul 2023, Athènes, Greece. pp.40-48, ⟨10.1109/AITest58265.2023.00015⟩
- Accès au texte intégral et bibtex
- titre
- Sound Concurrent Traces for Online Monitoring
- auteur
- Chukri Soueidi, Yliès Falcone
- article
- SPIN 2023 – 29th International Symposium on Model Checking Software, Apr 2023, Paris, France. pp.59-80, ⟨10.1007/978-3-031-32157-3_4⟩
- Accès au texte intégral et bibtex
- titre
- Opportunistic Monitoring of Multithreaded Programs
- auteur
- Chukri Soueidi, Antoine El-Hokayem, Yliès Falcone
- article
- 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⟩
- Accès au texte intégral et bibtex
2022
Conference papers
- titre
- WEASY: A Tool for Modelling Optimised BPMN Processes
- auteur
- Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo
- article
- FACS 2022 – 18th International Conference on Formal Aspects of Component Software, Nov 2022, Oslo / Online, Norway. ⟨10.1007/978-3-031-20872-0_7⟩
- Accès au texte intégral et bibtex
- titre
- Probabilistic Analysis of Industrial IoT Applications
- auteur
- Yliès Falcone, Irman Faqrizal, Gwen Salaün
- article
- IoT 2022 -The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands. ⟨10.1145/3567445.3567461⟩
- Accès au texte intégral et bibtex
- titre
- Decentralised Runtime Verification of Timed Regular Expressions
- auteur
- Victor Roussanaly, Yliès Falcone
- article
- TIME 2022 – 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs..12⟩
- Accès au texte intégral et bibtex
- titre
- Residual Runtime Verification via Reachability Analysis
- auteur
- Yliès Falcone
- article
- VSTTE 2022 – 14th International Conference on Verified Software: Theories, Tools, and Experiments, Oct 2022, Trento, Italy. pp.1-19
- Accès au texte intégral et bibtex
- titre
- Runtime Verification of Kotlin Coroutines
- auteur
- Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider
- article
- RV 2022 – 22nd International Conference on Runtime Verification, Sep 2022, Tbilisi, Georgia. pp.1-19
- Accès au texte intégral et bibtex
- titre
- DECENT: A Benchmark for Decentralized Enforcement
- auteur
- Florian Gallay, Yliès Falcone
- article
- RV 2022 – 22nd International Conference on Runtime Verification, Sep 2022, Tblisi, Georgia. pp.1-11
- Accès au texte intégral et bibtex
- titre
- Runtime Enforcement for IEC 61499 Applications
- auteur
- Yliès Falcone, Gwen Salaün, Irman Faqrizal
- article
- 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⟩
- Accès au texte intégral et bibtex
- titre
- DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks
- auteur
- Hamzah Al Qadasi, Changshun Wu, Yliès Falcone, Saddek Bensalem
- article
- AITest 2022 – IEEE 4th International Conference On Artificial Intelligence Testing, Aug 2022, San Francisco, United States. pp.1-8
- Accès au texte intégral et bibtex
- titre
- Probabilistic Model Checking of BPMN Processes at Runtime
- auteur
- Yliès Falcone, Gwen Salaün, Ahang Zuo
- article
- iFM 2022 – International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.1-17, ⟨10.1007/978-3-031-07727-2_11⟩
- Accès au texte intégral et bibtex
- titre
- Bounded-Memory Runtime Enforcement
- auteur
- Saumya Shankar, Antoine Rollet, Srinivas Pinisetty, Yliès Falcone
- article
- SPIN 2022 – 28th International Symposium on Model Checking of Software, May 2022, Chicago, United States. pp.114-133, ⟨10.1007/978-3-031-15077-7_7⟩
- Accès au texte intégral et bibtex
- titre
- Capturing program models with BISM
- auteur
- Chukri Soueidi, Yliès Falcone
- article
- SAC 2022 – 37th ACM Symposium on Applied Computing – Software Verification and Testing Track, Apr 2022, Brno (Virtuel), Czech Republic. ⟨10.1145/3477314.3507239⟩
- Accès au texte intégral et bibtex
- titre
- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
- auteur
- Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
- article
- WRLA 2022 – 14th International Workshop on Rewriting Logic and its Applications, Apr 2022, Munich, Germany. pp.1-18, ⟨10.1007/978-3-031-12441-9_1⟩
- Accès au texte intégral et bibtex
Preprints, Working Papers, …
- titre
- Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
- auteur
- Chukri Soueidi, Marius Monnier, Ali Kassem, Yliès Falcone
- article
- 2022
- Accès au texte intégral et bibtex
2021
Conference papers
- titre
- Runtime Enforcement with Reordering, Healing, and Suppression
- auteur
- Yliès Falcone, Gwen Salaün
- article
- SEFM 2021 – 19th IEEE International Conference on Software Engineering and Formal Methods, Dec 2021, Virtual, United Kingdom. pp.1-20
- Accès au texte intégral et bibtex
- titre
- Monitoring Distributed Component-Based Systems
- auteur
- Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga
- article
- FACS 2021 – 17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19
- Accès au texte intégral et bibtex
- titre
- Decentralized LTL Enforcement
- auteur
- Florian Gallay, Yliès Falcone
- article
- GandALF 2021 – 12th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2021, Padua, France. pp.1-18
- Accès au texte intégral et bibtex
- titre
- Semi-automated Modelling of Optimized BPMN Processes
- auteur
- Yliès Falcone, Gwen Salaün, Ahang Zuo
- article
- SCC 2021 – IEEE International Conference on Services Computing, Sep 2021, CHICAGO / Virtual, United States. pp.1-6
- Accès au texte intégral et bibtex
Books
- titre
- Formal Methods in Outer Space
- auteur
- Ezio Bartocci, Yliès Falcone, Martin Leucker
- article
- Springer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩
- Accès au bibtex
2020
Journal articles
- titre
- From global choreographies to verifiable efficient distributed implementations
- auteur
- Mohamad Jaber, Yliès Falcone, Paul Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem
- article
- Journal of Logical and Algebraic Methods in Programming, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩
- Accès au texte intégral et bibtex
- titre
- Runtime enforcement of timed properties using games
- auteur
- Matthieu Renard, Antoine Rollet, Yliès Falcone
- article
- Formal Aspects of Computing, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩
- Accès au texte intégral et bibtex
- titre
- Preface to the Special Section Issue on Improving Software Quality through Formal Methods
- auteur
- Yliès Falcone, Leonardo Mariani
- article
- Software Quality Journal, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- BISM: Bytecode-Level Instrumentation for Software Monitoring
- auteur
- Chukri Soueidi, Ali Kassem, Yliès Falcone
- article
- RV 2020 – 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12
- Accès au texte intégral et bibtex
Books
- titre
- Automates à états finis et langages réguliers
- auteur
- Yliès Falcone, Jean-Claude Fernandez
- article
- Dunod, pp.1-320, 2020, 9782100808465
- Accès au bibtex
2019
Journal articles
- titre
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- auteur
- César Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srđan Krstić, Joa̋o Lourenço, Dejan Nickovic, Gordon Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
- article
- Formal Methods in System Design, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩
- Accès au texte intégral et bibtex
- titre
- On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
- auteur
- Antoine El-Hokayem, Yliès Falcone
- article
- ACM Transactions on Software Engineering and Methodology, 2019, pp.1-57
- Accès au texte intégral et bibtex
- titre
- Optimal Enforcement of (Timed) Properties with Uncontrollable Events
- auteur
- Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
- article
- Mathematical Structures in Computer Science, 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- Detecting Fault Injection Attacks with Runtime Verification
- auteur
- Ali Kassem, Yliès Falcone
- article
- SPRO 2019 – 3rd International Workshop on Software PROtection, Nov 2019, Londres, United Kingdom. pp.65-76, ⟨10.1145/3338503.3357724⟩
- Accès au texte intégral et bibtex
Book sections
- titre
- On the Runtime Enforcement of Timed Properties
- auteur
- Yliès Falcone, Srinivas Pinisetty
- article
- Proceedings of the Runtime Verification 2019 conference, Springer, pp.48-69, 2019, ⟨10.1007/978-3-030-32079-9_4⟩
- Accès au texte intégral et bibtex
- titre
- International Competition on Runtime Verification (CRV)
- auteur
- Ezio Bartocci, Yliès Falcone, Giles Reger
- article
- Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019., Springer, pp.41-49, 2019, ⟨10.1007/978-3-030-17502-3_3⟩
- Accès au texte intégral et bibtex
Reports
- titre
- Interactive Runtime Verification: Formal Models, Algorithms, and Implementation
- auteur
- Raphaël Jakse, Yliès Falcone, Jean-François Méhaut
- article
- [Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019
- Accès au texte intégral et bibtex
2018
Journal articles
- titre
- Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems – Application to the Behavior Interaction Priority Framework
- auteur
- Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
- article
- Journal of Logical and Algebraic Methods in Programming, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- COST Action IC1402 Runtime Verification beyond Monitoring
- auteur
- Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sanchez, Gerardo Schneider, Volker Stolz
- article
- RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-8
- Accès au texte intégral et bibtex
- titre
- Tracing Distributed Component-Based Systems, a Brief Overview
- auteur
- Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem
- article
- Proceedings of the 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus
- Accès au texte intégral et bibtex
- titre
- Bringing Runtime Verification Home
- auteur
- Antoine El-Hokayem, Yliès Falcone
- article
- RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17
- Accès au texte intégral et bibtex
- titre
- A Taxonomy for Classifying Runtime Verification Tools
- auteur
- Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel
- article
- RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-18
- Accès au texte intégral et bibtex
- titre
- Can We Monitor All Multithreaded Programs?
- auteur
- Antoine El-Hokayem, Yliès Falcone
- article
- RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24
- Accès au texte intégral et bibtex
- titre
- Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections
- auteur
- Yliès Falcone
- article
- RV 2018 – 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-5
- Accès au texte intégral et bibtex
- titre
- Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions
- auteur
- Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone
- article
- IFM 2018 – 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19
- Accès au texte intégral et bibtex
Book sections
- titre
- Runtime Failure Prevention and Reaction
- auteur
- Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha
- article
- Lectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩
- Accès au texte intégral et bibtex
- titre
- Introduction to Runtime Verification
- auteur
- Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger
- article
- Lectures on Runtime Verification. Introductory and Advanced Topics, 10457, Springer, pp.1-33, 2018, Lecture Notes in Computer Science 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5_1⟩
- Accès au texte intégral et bibtex
Books
- titre
- Lectures on Runtime Verification. Introductory and Advanced Topics
- auteur
- Ezio Bartocci, Yliès Falcone
- article
- Springer, 10457, pp.1-240, 2018, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩
- Accès au texte intégral et bibtex
2017
Journal articles
- titre
- Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation
- auteur
- Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga
- article
- Formal Aspects of Computing, 2017, 29 (6), pp.951 – 986. ⟨10.1007/s00165-017-0422-6⟩
- Accès au texte intégral et bibtex
- titre
- Predictive Runtime Verification of Timed Properties
- auteur
- Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
- article
- Journal of Systems and Software, 2017, 132, pp.353 – 365. ⟨10.1016/j.jss.2017.06.060⟩
- Accès au texte intégral et bibtex
- titre
- Formal analysis and offline monitoring of electronic exams
- auteur
- Ali Kassem, Yliès Falcone, Pascal Lafourcade
- article
- Formal Methods in System Design, 2017, 51 (1), pp.117 – 153. ⟨10.1007/s10703-017-0280-0⟩
- Accès au texte intégral et bibtex
- titre
- Predictive runtime enforcement
- auteur
- Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
- article
- Formal Methods in System Design, 2017, 51 (1), pp.154 – 199. ⟨10.1007/s10703-017-0271-1⟩
- Accès au bibtex
- titre
- Decentralized enforcement of document lifecycle constraints
- auteur
- Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
- article
- Information Systems, 2017, ⟨10.1016/j.is.2017.08.002⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- Interactive Runtime Verification – When Interactive Debugging meets Runtime Verification
- auteur
- Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
- article
- ISSRE17 – 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France
- Accès au texte intégral et bibtex
- titre
- GREP: Games for the Runtime Enforcement of Properties
- auteur
- Matthieu Renard, Antoine Rollet, Yliès Falcone
- article
- 29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
- Accès au texte intégral et bibtex
- titre
- Verifying Policy Enforcers
- auteur
- Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
- article
- RV 2017 – 17th International Conference on Runtime Verification, Sep 2017, Seattle, United States
- Accès au texte intégral et bibtex
- titre
- Runtime Enforcement Using Büchi Games
- auteur
- Matthieu Renard, Antoine Rollet, Yliès Falcone
- article
- Model Checking Software – 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States
- Accès au texte intégral et bibtex
- titre
- Monitoring Decentralized Specifications
- auteur
- Antoine El-Hokayem, Yliès Falcone
- article
- ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩
- Accès au texte intégral et bibtex
- titre
- THEMIS: A Tool for Decentralized Monitoring Algorithms
- auteur
- Antoine El-Hokayem, Yliès Falcone
- article
- ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩
- Accès au texte intégral et bibtex
Documents associated with scientific events
- titre
- Imposition de propriétés temporisées à l’exécution
- auteur
- Yliès Falcone
- article
- ETR 2017 : École d’Été Temps Réel, Aug 2017, Paris, France
- Accès au texte intégral et bibtex
2016
Journal articles
- titre
- Organising LTL Monitors over Distributed Systems with a Global Clock
- auteur
- Christian Colombo, Yliès Falcone
- article
- Formal Methods in System Design, 2016, 49 (1-2), pp.50. ⟨10.1007/s10703-016-0251-x⟩
- Accès au texte intégral et bibtex
- titre
- Decentralised LTL Monitoring
- auteur
- Andreas Bauer, Yliès Falcone
- article
- Formal Methods in System Design, 2016, 48 (1-2), pp.48. ⟨10.1007/s10703-016-0253-8⟩
- Accès au texte intégral et bibtex
- titre
- Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events
- auteur
- Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
- article
- Science of Computer Programming, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩
- Accès au texte intégral et bibtex
- titre
- Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery
- auteur
- Yliès Falcone, Mohamad Jaber
- article
- International Journal on Software Tools for Technology Transfer, 2016, ⟨10.1007/s10009-016-0413-6⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- First International Summer School on Runtime Verification
- auteur
- Christian Colombo, Yliès Falcone
- article
- Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
- Accès au texte intégral et bibtex
- titre
- Third International Competition on Runtime Verification CRV 2016
- auteur
- Giles Reger, Sylvain Hallé, Yliès Falcone
- article
- Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
- Accès au texte intégral et bibtex
- titre
- Decentralized Enforcement of Artifact Lifecycles
- auteur
- Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone
- article
- EDOC 2016, Sep 2016, Vienne, Austria
- Accès au texte intégral et bibtex
- titre
- Vérification interactive de propriétés à l’exécution d’un programme avec un débogueur
- auteur
- Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget
- article
- Compas’2016, Jul 2016, Lorient, France
- Accès au texte intégral et bibtex
- titre
- Modularizing Crosscutting Concerns in Component-Based Systems
- auteur
- Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber
- article
- 14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria
- Accès au texte intégral et bibtex
- titre
- Monitoring Multi-Threaded Component-Based Systems
- auteur
- Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz
- article
- 12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland
- Accès au texte intégral et bibtex
- titre
- Predictive Runtime Enforcement *
- auteur
- Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
- article
- SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩
- Accès au texte intégral et bibtex
2015
Journal articles
- titre
- Runtime Verification: the Application Perspective
- auteur
- Yliès Falcone, Lenore D. Zuck
- article
- International Journal on Software Tools for Technology Transfer, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩
- Accès au texte intégral et bibtex
- titre
- Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
- auteur
- Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
- article
- Software and Systems Modeling, 2015, pp.173-199. ⟨10.1007/s10270-013-0323-y⟩
- Accès au texte intégral et bibtex
- titre
- Runtime Verification: The Application Perspective
- auteur
- Yliès Falcone, Lenore D. Zuck
- article
- International Journal on Software Tools for Technology Transfer, 2015, pp.121-123. ⟨10.1007/978-3-642-34026-0_21⟩
- Accès au texte intégral et bibtex
- titre
- Enforcement and Validation (at runtime) of Various Notions of Opacity
- auteur
- Yliès Falcone, Hervé Marchand
- article
- Discrete Event Dynamic Systems, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩
- Accès au texte intégral et bibtex
- titre
- Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation
- auteur
- Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
- article
- Software and Systems Modeling, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- Enforcement of (Timed) Properties with Uncontrollable Events
- auteur
- Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
- article
- 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
- Accès au texte intégral et bibtex
- titre
- TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
- auteur
- Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
- article
- RV’2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
- Accès au texte intégral et bibtex
- titre
- Second International Competition on Runtime Verification
- auteur
- Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma
- article
- 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_27⟩
- Accès au texte intégral et bibtex
- titre
- Monitoring Electronic Exams
- auteur
- Ali Kassem, Yliès Falcone, Pascal Lafourcade
- article
- 6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. pp.16, ⟨10.1007/978-3-319-23820-3_8⟩
- Accès au texte intégral et bibtex
- titre
- RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial
- auteur
- Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi, Akihito Iwai, Grigore Rosu
- article
- 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Austria. pp.16, ⟨10.1007/978-3-319-23820-3_24⟩
- Accès au texte intégral et bibtex
- titre
- Dynamic Detection and Mitigation of DMA Races in MPSoCs
- auteur
- Selma Saidi, Yliès Falcone
- article
- 18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. ⟨10.1109/DSD.2015.77⟩
- Accès au texte intégral et bibtex
- titre
- Runtime Enforcement for Component-Based Systems
- auteur
- Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber
- article
- Symposium on Applied Computing – Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩
- Accès au texte intégral et bibtex
2014
Journal articles
- titre
- Runtime enforcement of timed properties revisited
- auteur
- Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo
- article
- Formal Methods in System Design, 2014, 45 (3), pp.381-422. ⟨10.1007/s10703-014-0215-y⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- Blocking Advertisements on Android Devices using Monitoring Techniques
- auteur
- Khalil El-Harake, Yliès Falcone, Wassim Jerad, Mattieu Langet, Mariem Mamlouk
- article
- 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfu, Greece
- Accès au texte intégral et bibtex
- titre
- Organising LTL Monitors over Distributed Systems with a Global Clock
- auteur
- Christian Colombo, Yliès Falcone
- article
- 14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_12⟩
- Accès au texte intégral et bibtex
- titre
- First International Competition on Software for Runtime Verification
- auteur
- Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone
- article
- 14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_1⟩
- Accès au texte intégral et bibtex
- titre
- Efficient and Generalized Decentralized Monitoring of Regular Languages
- auteur
- Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez
- article
- 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
- Accès au texte intégral et bibtex
- titre
- Runtime Enforcement of Parametric Timed Properties with Practical Applications
- auteur
- Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
- article
- IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
- Accès au texte intégral et bibtex
- titre
- Runtime Enforcement of Regular Timed Properties
- auteur
- Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
- article
- Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286
- Accès au texte intégral et bibtex
2013
Conference papers
- titre
- Runtime Enforcement of K-step Opacity
- auteur
- Yliès Falcone, Hervé Marchand
- article
- 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩
- Accès au texte intégral et bibtex
- titre
- Compressing Microcontroller Execution Traces to Assist System Analysis
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
- Accès au texte intégral et bibtex
- titre
- Single-Trace Fault Localization in Embedded Software
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, ⟨10.1109/ISSRE.2013.6698914⟩
- Accès au bibtex
Book sections
- titre
- A Tutorial on Runtime Verification
- auteur
- Yliès Falcone, Klaus Havelund, Giles Reger
- article
- Manfred Broy, Doron Peled, Georg Kalus. Engineering Dependable Software Systems, 34, IOS Press, pp.141-175, 2013, NATO Science for Peace and Security Series – D: Information and Communication Security, 978-1-61499-206-6 (print); 978-1-61499-207-3 (online). ⟨10.3233/978-1-61499-207-3-141⟩
- Accès au bibtex
Reports
- titre
- CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- 2013
- Accès au texte intégral et bibtex
2012
Journal articles
- titre
- More testable properties
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
- article
- International Journal on Software Tools for Technology Transfer, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
- Accès au texte intégral et bibtex
Conference papers
- titre
- Towards Certified Runtime Verification
- auteur
- Jan Olaf Blech, Yliès Falcone, Klaus Becker
- article
- ICFEM 2012 – 14th International Conference on Formal Engineering Methods, Nov 2012, Kyoto, Japan. pp.494-509, ⟨10.1007/978-3-642-34281-3_34⟩
- Accès au bibtex
- titre
- Behavioral Specification Based Runtime Monitors for OSGi Services
- auteur
- Jan Olaf Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz
- article
- ISoLA 2012 – Proceedings of the 5th International Symposium on Leveraging Applications (Part 1), Oct 2012, Unknown, pp.405-419, ⟨10.1007/978-3-642-34026-0_30⟩
- Accès au bibtex
- titre
- Runtime Verification: The Application Perspective
- auteur
- Yliès Falcone, Lenore D. Zuck
- article
- ISoLA 2012 – Proceedings of the 5th International Symposium on Leveraging Applications (Part 1), Oct 2012, Crete, Greece. pp.284-291, ⟨10.1007/978-3-642-34026-0_21⟩
- Accès au bibtex
- titre
- Runtime Verification and Enforcement for Android Applications with RV-Droid
- auteur
- Yliès Falcone, Sebastian Currea, Mohamad Jaber
- article
- RV 2012 – 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.88-95, ⟨10.1007/978-3-642-35632-2_11⟩
- Accès au bibtex
- titre
- Runtime Enforcement of Timed Properties
- auteur
- Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo
- article
- 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩
- Accès au texte intégral et bibtex
- titre
- Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud
- auteur
- Yliès Falcone, Sebastian Currea
- article
- ASE 2012 – 27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.350-353, ⟨10.1145/2351676.2351744⟩
- Accès au bibtex
- titre
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
- auteur
- Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard
- article
- FM 2012 – 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.68-84, ⟨10.1007/978-3-642-32759-9_9⟩
- Accès au bibtex
- titre
- Decentralised LTL Monitoring
- auteur
- Andreas Klaus Bauer, Yliès Falcone
- article
- FM 2012 – 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.85-100, ⟨10.1007/978-3-642-32759-9_10⟩
- Accès au bibtex
- titre
- Résumer les traces d’exécution des micro-contrôleurs
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
- Accès au bibtex
Reports
- titre
- Decentralized LTL Monitoring
- auteur
- Andreas Bauer, Yliès Falcone
- article
- 2012
- Accès au texte intégral et bibtex
- titre
- CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- [Research Report] RR-LIG-031, LIG. 2012
- Accès au texte intégral et bibtex
2011
Journal articles
- titre
- Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities
- auteur
- Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
- article
- Formal Methods in System Design, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
- Accès au texte intégral et bibtex
- titre
- What can you verify and Enforce at Runtime?
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
- article
- International Journal on Software Tools for Technology Transfer, 2011, pp.Online First
- Accès au texte intégral et bibtex
Conference papers
- titre
- Runtime Verification of Component-Based Systems
- auteur
- Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
- article
- SEFM 2011 – Proceedings of the 9th International Conference on Software Engineering and Formal Methods, Nov 2011, Montevideo, Uruguay. pp.204-220, ⟨10.1007/978-3-642-24690-6_15⟩
- Accès au texte intégral et bibtex
2010
Conference papers
- titre
- You Should Better Enforce than Verify
- auteur
- Yliès Falcone
- article
- International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91–108
- Accès au texte intégral et bibtex
- titre
- More Testable Properties
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
- article
- 22nd International Conference on Testing Software and Systems, Nov 2010, Natal, Brazil. pp.30-46, ⟨10.1007/978-3-642-16573-3_4⟩
- Accès au texte intégral et bibtex
- titre
- Towards Automatic Integration Of Or-BAC Security Policies Using Aspects
- auteur
- Yliès Falcone, Mohamad Jaber
- article
- International Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5
- Accès au texte intégral et bibtex
Reports
- titre
- Various Notions of Opacity Verified and Enforced at Runtime
- auteur
- Yliès Falcone, Hervé Marchand
- article
- [Research Report] RR-7349, INRIA. 2010
- Accès au texte intégral et bibtex
- titre
- More Testable Properties
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier
- article
- [Research Report] RR-7279, INRIA. 2010, pp.45
- Accès au texte intégral et bibtex
2009
Conference papers
- titre
- Runtime Verification of Safety-Progress Properties
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
- article
- Runtime Verification, Jun 2009, France. pp.40–59
- Accès au texte intégral et bibtex
- titre
- Enforcement Monitoring wrt. the Safety-Progress Classification of Properties
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
- article
- 24th Annual ACM Symposium on Applied Computing – Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, ⟨10.1145/1529282.1529408⟩
- Accès au bibtex
Theses
- titre
- Study and implementation of runtime validation techniques
- auteur
- Yliès Falcone
- article
- Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier – Grenoble I, 2009. Français. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
2008
Journal articles
- titre
- Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier
- article
- ICISS’08: International Conference on Information Systems Security, 2008, pp.41-55
- Accès au texte intégral et bibtex
- titre
- j-POST: a Java Toolchain for Property-Oriented Software Testing
- auteur
- Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier
- article
- MBT’08: Model-Based Testing, 2008, pp.29-41
- Accès au texte intégral et bibtex
2007
Journal articles
- titre
- A Compositional Testing Framework Driven by Partial Specifications
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
- article
- TESTCOM/FATES’07: TESTing of COMmunicating Systems/Formal Approaches to TESting, 2007, pp.107-122
- Accès au texte intégral et bibtex
2006
Journal articles
- titre
- A Test Calculus Framework Applied to Network Security Policies
- auteur
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
- article
- FATES/RV’06: Formal Approaches to TESting/Runtime Verification, 2006, pp.55-69
- Accès au texte intégral et bibtex