Maître de conférences à l'Université Grenoble Alpes

Mohamad Jaber, Yliès Falcone, Paul Attie, Al-Abbass Khalil, Rayan Hallal, et al.. From global choreographies to verifiable efficient distributed implementations. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩. ⟨hal-03113398⟩

Yliès Falcone, Leonardo Mariani. Preface to the Special Section Issue on Improving Software Quality through Formal Methods. Software Quality Journal, Springer Verlag, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩. ⟨hal-02548907⟩

Matthieu Renard, Antoine Rollet, Yliès Falcone. Runtime enforcement of timed properties using games. Formal Aspects of Computing, Springer Verlag, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩. ⟨hal-02920384⟩

Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand. Optimal Enforcement of (Timed) Properties with Uncontrollable Events. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩. ⟨hal-01262444v4⟩

Antoine El-Hokayem, Yliès Falcone. On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. ACM Transactions on Software Engineering and Methodology, Association for Computing Machinery, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩. ⟨hal-02283429v2⟩

César Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, et al.. A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, Springer Verlag, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩. ⟨hal-02433558⟩

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber. Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩. ⟨hal-01796786⟩

Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone. Decentralized enforcement of document lifecycle constraints. Information Systems, Elsevier, 2017, ⟨10.1016/j.is.2017.08.002⟩. ⟨hal-01653879⟩

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga. Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation. Formal Aspects of Computing, Springer Verlag, 2017, 29 (6), pp.951 - 986. ⟨10.1007/s00165-017-0422-6⟩. ⟨hal-01653883⟩

Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, et al.. Predictive Runtime Verification of Timed Properties. Journal of Systems and Software, Elsevier, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩. ⟨hal-01666995⟩

Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, et al.. Predictive runtime enforcement. Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩. ⟨hal-01647787⟩

Ali Kassem, Yliès Falcone, Pascal Lafourcade. Formal analysis and offline monitoring of electronic exams. Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩. ⟨hal-01653884⟩

Andreas Bauer, Yliès Falcone. Decentralised LTL Monitoring. Formal Methods in System Design, Springer Verlag, 2016, 48 (1-2), pp.48. ⟨10.1007/s10703-016-0253-8⟩. ⟨hal-01313730⟩

Yliès Falcone, Mohamad Jaber. Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016. ⟨hal-01262658⟩

Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty. Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events. Science of Computer Programming, Elsevier, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩. ⟨hal-01281727⟩

Christian Colombo, Yliès Falcone. Organising LTL Monitors over Distributed Systems with a Global Clock. Formal Methods in System Design, Springer Verlag, 2016, 49 (1-2), pp.50. ⟨10.1007/s10703-016-0251-x⟩. ⟨hal-01315776⟩

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩. ⟨hal-01248420⟩

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Software and Systems Modeling, Springer Verlag, 2015, pp.173-199. ⟨10.1007/s10270-013-0323-y⟩. ⟨hal-01127717⟩

Yliès Falcone, Hervé Marchand. Enforcement and Validation (at runtime) of Various Notions of Opacity. Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩. ⟨hal-00987985⟩

Yliès Falcone, Lenore Zuck. Runtime Verification: The Application Perspective. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, pp.121-123. ⟨10.1007/978-3-642-34026-0_21⟩. ⟨hal-01127720⟩

Yliès Falcone, Lenore Zuck. Runtime Verification: the Application Perspective. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩. ⟨hal-01248423⟩

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, et al.. Runtime enforcement of timed properties revisited. Formal Methods in System Design, Springer Verlag, 2014, 45 (3), pp.381-422. ⟨10.1007/s10703-014-0215-y⟩. ⟨hal-01088136⟩

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩. ⟨hal-00743981⟩

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩. ⟨hal-00576948⟩

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. What can you verify and Enforce at Runtime?. International Journal on Software Tools for Technology Transfer, Springer Verlag, 2011, pp.Online First. ⟨hal-00497350v2⟩

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. MBT'08: Model-Based Testing, 2008, pp.29-41. ⟨hal-00346061⟩

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS'08: International Conference on Information Systems Security, 2008, pp.41-55. ⟨hal-00346063⟩

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications. TESTCOM/FATES'07: TESTing of COMmunicating Systems/Formal Approaches to TESting, 2007, pp.107-122. ⟨hal-00346059⟩

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Test Calculus Framework Applied to Network Security Policies. FATES/RV'06: Formal Approaches to TESting/Runtime Verification, 2006, pp.55-69. ⟨hal-00346032⟩

Yliès Falcone, Gwen Salaün, Ahang Zuo. Probabilistic Model Checking of BPMN Processes at Runtime. iFM 2022 - International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. ⟨hal-03665305⟩

Yliès Falcone, Hosein Nazarpour, Saddek Bensalem, Marius Bozga. Monitoring Distributed Component-Based Systems. FACS 2021 - 17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19. ⟨hal-03525762⟩

Florian Gallay, Yliès Falcone. Decentralized LTL Enforcement. GandALF 2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2021, Padua, France. pp.1-18. ⟨hal-03525845⟩

Yliès Falcone, Gwen Salaün, Ahang Zuo. Semi-automated Modelling of Optimized BPMN Processes. SCC 2021 - IEEE International Conference on Services Computing, Sep 2021, CHICAGO / Virtual, United States. pp.1-6. ⟨hal-03330330⟩

Chukri Soueidi, Ali Kassem, Yliès Falcone. BISM: Bytecode-Level Instrumentation for Software Monitoring. RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12. ⟨hal-03081265⟩

Ali Kassem, Yliès Falcone. Detecting Fault Injection Attacks with Runtime Verification. SPRO 2019 - 3rd International Workshop on Software PROtection, Nov 2019, Londres, United Kingdom. pp.65-76, ⟨10.1145/3338503.3357724⟩. ⟨hal-02283434⟩

Yliès Falcone. Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-5. ⟨hal-01882413⟩

Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sanchez, et al.. COST Action IC1402 Runtime Verification beyond Monitoring. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-8. ⟨hal-01900195⟩

Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone. Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19. ⟨hal-01868748⟩

Yliès Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga, Saddek Bensalem. Tracing Distributed Component-Based Systems, a Brief Overview. Proceedings of the 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. ⟨hal-01882412⟩

Antoine El-Hokayem, Yliès Falcone. Bringing Runtime Verification Home. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17. ⟨hal-01882411⟩

Antoine El-Hokayem, Yliès Falcone. Can We Monitor All Multithreaded Programs?. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24. ⟨hal-01882414⟩

Yliès Falcone, Srđan Krstić, Giles Reger, Dmitriy Traytel. A Taxonomy for Classifying Runtime Verification Tools. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-18. ⟨hal-01882410⟩

Antoine El-Hokayem, Yliès Falcone. Monitoring Decentralized Specifications. ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩. ⟨hal-01653725⟩

Antoine El-Hokayem, Yliès Falcone. THEMIS: A Tool for Decentralized Monitoring Algorithms. ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩. ⟨hal-01653727⟩

Matthieu Renard, Antoine Rollet, Yliès Falcone. GREP: Games for the Runtime Enforcement of Properties. 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⟩. ⟨hal-01678960⟩

Matthieu Renard, Antoine Rollet, Yliès Falcone. Runtime Enforcement Using Büchi Games. Model Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States. ⟨hal-01509827v3⟩

Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone. Verifying Policy Enforcers. RV 2017 - 17th International Conference on Runtime Verification, Sep 2017, Seattle, United States. ⟨hal-01653894⟩

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget. Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification. ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France. ⟨hal-01592671⟩

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz. Monitoring Multi-Threaded Component-Based Systems. 12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland. ⟨hal-01285579⟩

Sylvain Hallé, Raphaël Khoury, Antoine El-Hokayem, Yliès Falcone. Decentralized Enforcement of Artifact Lifecycles. EDOC 2016, Sep 2016, Vienne, Austria. ⟨hal-01365315⟩

Giles Reger, Sylvain Hallé, Yliès Falcone. Third International Competition on Runtime Verification CRV 2016. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. ⟨hal-01428834⟩

Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, et al.. Predictive Runtime Enforcement *. SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩. ⟨hal-01244369⟩

Christian Colombo, Yliès Falcone. First International Summer School on Runtime Verification: as part of the ArVi COST Action 1402. Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain. ⟨hal-01428838⟩

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget. Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur. Compas’2016, Jul 2016, Lorient, France. ⟨hal-01331973⟩

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber. Modularizing Crosscutting Concerns in Component-Based Systems. 14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria. ⟨hal-01305083⟩

Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, et al.. Enforcement of (Timed) Properties with Uncontrollable Events. 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⟩. ⟨hal-01185238v3⟩

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. TiPEX: A Tool Chain for Timed Property Enforcement During eXecution. RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩. ⟨hal-01244446⟩

Ali Kassem, Yliès Falcone, Pascal Lafourcade. Monitoring Electronic Exams. 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⟩. ⟨hal-01248349⟩

Hadil Charafeddine, Khalil El-Harake, Yliès Falcone, Mohamad Jaber. Runtime Enforcement for Component-Based Systems. Symposium on Applied Computing - Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩. ⟨hal-01248353⟩

Philip Daian, Yliès Falcone, Patrick Meredith, Traian Florin Serbanuta, Shin’ichi Shiriashi, et al.. RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial. 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⟩. ⟨hal-01248350⟩

Selma Saidi, Yliès Falcone. Dynamic Detection and Mitigation of DMA Races in MPSoCs. 18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. ⟨10.1109/DSD.2015.77⟩. ⟨hal-01248352⟩

Yliès Falcone, Dejan Nickovic, Giles Reger, Daniel Thoma. Second International Competition on Runtime Verification: CRV 2015. 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⟩. ⟨hal-01248351⟩

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Regular Timed Properties. Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286. ⟨hal-00907571⟩

Ezio Bartocci, Borzoo Bonakdarpour, Yliès Falcone. First International Competition on Software for Runtime Verification. 14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_1⟩. ⟨hal-01120552⟩

Khalil El-Harake, Yliès Falcone, Wassim Jerad, Mattieu Langet, Mariem Mamlouk. Blocking Advertisements on Android Devices using Monitoring Techniques. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfu, Greece. ⟨hal-01120550⟩

Yliès Falcone, Tom Cornebize, Jean-Claude Fernandez. Efficient and Generalized Decentralized Monitoring of Regular Languages. 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩. ⟨hal-00972559⟩

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand. Runtime Enforcement of Parametric Timed Properties with Practical Applications. IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427. ⟨hal-00974548⟩

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. Compressing Microcontroller Execution Traces to Assist System Analysis. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩. ⟨hal-00853716⟩

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Bousquet. Single-Trace Fault Localization in Embedded Software. 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, ⟨10.1109/ISSRE.2013.6698914⟩. ⟨hal-00974761⟩

Yliès Falcone, Hervé Marchand. Runtime Enforcement of K-step Opacity. 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩. ⟨hal-00863223⟩

Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, et al.. Runtime Enforcement of Timed Properties. 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩. ⟨hal-00743270v2⟩

Jan Blech, Yliès Falcone, Harald Ruess, Bernhard Schätz. Behavioral Specification Based Runtime Monitors for OSGi Services. 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⟩. ⟨hal-00857290⟩

Yliès Falcone, Sebastian Currea. Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. ASE 2012 - 27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.350-353, ⟨10.1145/2351676.2351744⟩. ⟨hal-00857291⟩

Jan Olaf Blech, Yliès Falcone, Klaus Becker. Towards Certified Runtime Verification. ICFEM 2012 - 14th International Conference on Formal Engineering Methods, Nov 2012, Kyoto, Japan. pp.494-509, ⟨10.1007/978-3-642-34281-3_34⟩. ⟨hal-00857287⟩

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. Résumer les traces d'exécution des micro-contrôleurs. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France. ⟨hal-00953276⟩

Yliès Falcone, Lenore Zuck. Runtime Verification: The Application Perspective. 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⟩. ⟨hal-00857288⟩

Yliès Falcone, Sebastian Currea, Mohamad Jaber. Runtime Verification and Enforcement for Android Applications with RV-Droid. RV 2012 - 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.88-95, ⟨10.1007/978-3-642-35632-2_11⟩. ⟨hal-00857292⟩

Andreas Klaus Bauer, Yliès Falcone. Decentralised LTL Monitoring. FM 2012 - 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.85-100, ⟨10.1007/978-3-642-32759-9_10⟩. ⟨hal-00857286⟩

Howard Barringer, Yliès Falcone, Klaus Havelund, Giles Reger, David E. Rydeheard. Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors. FM 2012 - 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.68-84, ⟨10.1007/978-3-642-32759-9_9⟩. ⟨hal-00857285⟩

Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem. Runtime Verification of Component-Based Systems. 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⟩. ⟨hal-00642969⟩

Yliès Falcone, Mohamad Jaber. Towards Automatic Integration Of Or-BAC Security Policies Using Aspects. International Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5. ⟨hal-00525490⟩

Yliès Falcone. You Should Better Enforce than Verify. International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91--108. ⟨hal-00523653⟩

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety-Progress Properties. Runtime Verification, Jun 2009, France. pp.40--59. ⟨hal-00420487⟩

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties. 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, ⟨10.1145/1529282.1529408⟩. ⟨hal-00953590⟩

Yliès Falcone. Imposition de propriétés temporisées à l'exécution. ETR 2017 : École d'Été Temps Réel, Aug 2017, Paris, France. ⟨hal-01709899⟩

Ezio Bartocci, Yliès Falcone, Martin Leucker. Formal Methods in Outer Space. Springer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩. ⟨hal-03533127⟩

Yliès Falcone, Jean-Claude Fernandez. Automates à états finis et langages réguliers. Dunod, pp.1-320, 2020, 9782100808465. ⟨hal-03113401⟩

Ezio Bartocci, Yliès Falcone. Lectures on Runtime Verification. Introductory and Advanced Topics. Springer, 10457, pp.1-240, In press, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩. ⟨hal-01762298⟩

Yliès Falcone, Srinivas Pinisetty. On the Runtime Enforcement of Timed Properties. Proceedings of the Runtime Verification 2019 conference, Springer, pp.48-69, 2019, ⟨10.1007/978-3-030-32079-9_4⟩. ⟨hal-02433521⟩

Ezio Bartocci, Yliès Falcone, Giles Reger. International Competition on Runtime Verification (CRV). 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⟩. ⟨hal-02433552⟩

Ezio Bartocci, Yliès Falcone, Adrian Francalanza, Giles Reger. Introduction to Runtime Verification. 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⟩. ⟨hal-01762297⟩

Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha. Runtime Failure Prevention and Reaction. Lectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩. ⟨hal-01723606⟩

Yliès Falcone, Klaus Havelund, Giles Reger. A Tutorial on Runtime Verification. 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⟩. ⟨hal-00853727⟩

Chukri Soueidi, Marius Monnier, Ali Kassem, Yliès Falcone. Efficient and Expressive Bytecode-Level Instrumentation for Java Programs. 2022. ⟨hal-03533152⟩

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut. Interactive Runtime Verification: Formal Models, Algorithms, and Implementation. [Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019. ⟨hal-02190656⟩

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding. 2013. ⟨hal-00857299⟩

Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet. CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding . [Research Report] RR-LIG-031, LIG. 2012. ⟨hal-01472082⟩

Andreas Bauer, Yliès Falcone. Decentralized LTL Monitoring. 2012. ⟨hal-00642972⟩

Yliès Falcone. Etude et mise en œuvre de techniques de validation à l'exécution. Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨tel-00420478⟩