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⟩

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⟩

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⟩

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⟩

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⟩

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, 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. Can We Monitor All Multithreaded Programs?. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24. ⟨hal-01882414⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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, 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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩