Publications HAL de Ylies,FALCONE de la collection LIG

Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Ylies,FALCONE", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 89.

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, Springer Verlag, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩

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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: Software Tools for Technology Transfer (STTT), Springer, 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, Ylìè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, Ylìè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: Ylìès Falcone, Lenore 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 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: 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: 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: 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 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, Dorel Marius Bozga, Saddek Bensalem
article: Journal on Software and System Modeling, 2013, 41 p

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 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: Runtime Verification: The Application Perspective
auteur: Yliès Falcone, Lenore 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: Behavioral Specification Based Runtime Monitors for OSGi Services
auteur: Jan 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 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: 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: 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: 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, Ylìè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