- 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
- 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
- titre
- Runtime Enforcement for IEC 61499 Applications
- auteur
- Yliès Falcone, Irman Faqrizal, Gwen Salaün
- article
- SEFM 2022 - 20th International Conference on Software Engineering and Formal Methods, Sep 2022, Berlin, Germany. pp.1-17
- 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
- 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⟩
- 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
- titre
- Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
- auteur
- Chukri Soueidi, Marius Monnier, Ali Kassem, Yliès Falcone
- article
- 2022
- 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
- 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
- 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
- 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
- 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⟩
- 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, Elsevier, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩
- titre
- Runtime enforcement of timed properties using games
- auteur
- Matthieu Renard, Antoine Rollet, Yliès Falcone
- article
- Formal Aspects of Computing, Springer Verlag, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩
- 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⟩
- 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
- titre
- Automates à états finis et langages réguliers
- auteur
- Yliès Falcone, Jean-Claude Fernandez
- article
- Dunod, pp.1-320, 2020, 9782100808465
- 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, Springer Verlag, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩
- 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, Association for Computing Machinery, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩
- 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, Cambridge University Press (CUP), 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
- 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⟩
- 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⟩
- 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⟩
- 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
- 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, Elsevier, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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⟩
- 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⟩
- titre
- Lectures on Runtime Verification. Introductory and Advanced Topics
- auteur
- Ezio Bartocci, Yliès Falcone
- article
- Springer, 10457, pp.1-240, In press, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩
- 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, Springer Verlag, 2017, 29 (6), pp.951 - 986. ⟨10.1007/s00165-017-0422-6⟩
- 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, Elsevier, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩
- titre
- Formal analysis and offline monitoring of electronic exams
- auteur
- Ali Kassem, Yliès Falcone, Pascal Lafourcade
- article
- Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩
- 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, Springer Verlag, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
- titre
- Decentralized enforcement of document lifecycle constraints
- auteur
- Sylvain Hallé, Raphaël Khoury, Quentin Betti, Antoine El-Hokayem, Yliès Falcone
- article
- Information Systems, Elsevier, 2017, ⟨10.1016/j.is.2017.08.002⟩
- 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
- 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⟩
- 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
- 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
- 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⟩
- 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⟩
- 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
- titre
- Organising LTL Monitors over Distributed Systems with a Global Clock
- auteur
- Christian Colombo, Yliès Falcone
- article
- Formal Methods in System Design, Springer Verlag, 2016, 49 (1-2), pp.50. ⟨10.1007/s10703-016-0251-x⟩
- titre
- Decentralised LTL Monitoring
- auteur
- Andreas Bauer, Yliès Falcone
- article
- Formal Methods in System Design, Springer Verlag, 2016, 48 (1-2), pp.48. ⟨10.1007/s10703-016-0253-8⟩
- 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, Elsevier, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩
- 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, Springer Verlag, 2016
- 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
- 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
- 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
- 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
- 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
- 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
- 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⟩
- titre
- Runtime Verification: the Application Perspective
- auteur
- Yliès Falcone, Lenore D. Zuck
- article
- International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩
- 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, Springer Verlag, 2015, pp.173-199. ⟨10.1007/s10270-013-0323-y⟩
- titre
- Runtime Verification: The Application Perspective
- auteur
- Yliès Falcone, Lenore D. Zuck
- article
- International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, pp.121-123. ⟨10.1007/978-3-642-34026-0_21⟩
- titre
- Enforcement and Validation (at runtime) of Various Notions of Opacity
- auteur
- Yliès Falcone, Hervé Marchand
- article
- Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩
- 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, Springer Verlag, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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, Springer Verlag, 2014, 45 (3), pp.381-422. ⟨10.1007/s10703-014-0215-y⟩
- 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
- 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⟩
- 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⟩
- 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⟩
- 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
- 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
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- titre
- CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding
- auteur
- Azzeddine Amiar, Mickaël Delahaye, Yliès Falcone, Lydie Du Bousquet
- article
- 2013
- 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, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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⟩
- 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
- titre
- Decentralized LTL Monitoring
- auteur
- Andreas Bauer, Yliès Falcone
- article
- 2012
- 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
- 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, Springer Verlag, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
- 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⟩
- 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
- 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⟩
- titre
- Etude et mise en œuvre de techniques de validation à l'exécution
- auteur
- Yliès Falcone
- article
- Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009. Français
- 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
- 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
- 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
- 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