Return to Team members

Yliès Falcone

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

Publications HAL de Ylies Falcone

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
https://inria.hal.science/hal-04380870/file/paper_053.pdf 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
https://inria.hal.science/hal-04381709/file/BeepBeep___BISM-17.pdf 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
https://inria.hal.science/hal-04381696/file/main.pdf 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
https://inria.hal.science/hal-04381683/file/main.pdf 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
https://hal.science/hal-04196591/file/IEEE_AI_TEST_2023%20%281%29.pdf 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
https://inria.hal.science/hal-04381666/file/main.pdf 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
https://inria.hal.science/hal-04381611/file/main.pdf 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
https://inria.hal.science/hal-03848350/file/WEASY%20A%20Tool%20for%20Modelling%20Optimised%20BPMN.pdf 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
https://inria.hal.science/hal-03911668/file/time22.pdf 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
https://inria.hal.science/hal-03848674/file/main%20%281%29.pdf 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
https://inria.hal.science/hal-03911820/file/vstte-camera-ready.pdf 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
https://inria.hal.science/hal-03911794/file/rv22-1.pdf 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
https://inria.hal.science/hal-03911798/file/rv22-decent.pdf 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
https://inria.hal.science/hal-03766095/file/main.pdf 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
https://inria.hal.science/hal-03911812/file/aitest22.pdf 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
https://inria.hal.science/hal-03665305/file/Probabilistic%20Model%20Checking%20of%20BPMN%20Processes%20at%20Runtime.pdf 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
https://hal.science/hal-03758964/file/SPIN2022.pdf 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
https://inria.hal.science/hal-03911682/file/sac22.pdf 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
https://inria.hal.science/hal-03766148/file/From%20Static%20to%20Dynamic%20Analysis%20and%20Allocation%20of%20Resources%20for%20BPMN%20Processes.pdf 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
https://inria.hal.science/hal-03533152/file/arxiv-2106.pdf 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
https://inria.hal.science/hal-03484045/file/main.pdf 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
https://inria.hal.science/hal-03525762/file/facs21.pdf 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
https://inria.hal.science/hal-03525845/file/gandalf21.pdf 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
https://inria.hal.science/hal-03330330/file/Semi-automated%20Modelling%20of%20Optimized%20BPMN.pdf 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
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
https://inria.hal.science/hal-03113398/file/jlamp2.pdf 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
https://hal.science/hal-02920384/file/FAOC_Renard_Rollet_Falcone.pdf 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
https://inria.hal.science/hal-02548907/file/sqj-editorial-author.pdf 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
https://inria.hal.science/hal-03081265/file/rv20.pdf 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
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
https://hal.science/hal-02433558/file/fmsd8.pdf 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. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02283429/file/tosem-author.pdf 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
https://hal.science/hal-01262444/file/MSCS-Hal-v4.pdf 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
https://hal.science/hal-02283434/file/spro.pdf 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
https://hal.science/hal-02433521/file/rv19-tutorial.pdf 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
https://hal.science/hal-02433552/file/toolympics-19.pdf 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
https://inria.hal.science/hal-02190656/file/acmsmall.pdf 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
https://inria.hal.science/hal-01796786/file/jlamp-ElHokayem-Falcone-Jaber.pdf BibTex

Conference papers

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
https://inria.hal.science/hal-01882413/file/rv18-invited.pdf BibTex
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
https://inria.hal.science/hal-01900195/file/Report_on_COST_Action_for_RV2018.pdf 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
https://inria.hal.science/hal-01882411/file/rv18-2.pdf 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
https://inria.hal.science/hal-01882412/file/rv18-3.pdf 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
https://inria.hal.science/hal-01882414/file/rv18-tutorial.pdf 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
https://inria.hal.science/hal-01882410/file/rv18-1.pdf 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
https://inria.hal.science/hal-01868748/file/ifm18.pdf BibTex

Book sections

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
https://inria.hal.science/hal-01762297/file/book-chapter-introduction-to-RV.pdf BibTex
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
https://hal.science/hal-01723606/file/rvbook-chapter-error-prevention-and-reaction.pdf 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
https://inria.hal.science/hal-01762298/file/rv-book-editor-version.pdf 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
https://inria.hal.science/hal-01653883/file/faoc1.pdf 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
https://inria.hal.science/hal-01666995/file/jss.pdf 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
https://hal.science/hal-01653879/file/paper.pdf 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
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
https://inria.hal.science/hal-01653884/file/fmsd6.pdf 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
https://inria.hal.science/hal-01592671/file/ieee.pdf 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
https://inria.hal.science/hal-01678960/file/449632_1_En_16_Chapter.pdf 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
https://inria.hal.science/hal-01653894/file/rv17.pdf 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
https://hal.science/hal-01509827/file/SPIN2017-Hal-v2.pdf 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
https://hal.science/hal-01653725/file/themis.pdf 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
https://hal.science/hal-01653727/file/themis-demo.pdf 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
https://inria.hal.science/hal-01709899/file/Falcone-ETR-2017.pdf 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
https://inria.hal.science/hal-01315776/file/fmsd4.pdf 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
https://inria.hal.science/hal-01313730/file/fmsd3-author.pdf 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
https://inria.hal.science/hal-01281727/file/SCP-final.pdf 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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01262658/file/sttt3-rebip-Falcone-Jaber.pdf 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
https://inria.hal.science/hal-01428838/file/rv16-2.pdf 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
https://inria.hal.science/hal-01428834/file/rv16-1.pdf 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
https://inria.hal.science/hal-01365315/file/edoc16.pdf 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
https://inria.hal.science/hal-01331973/file/paper.pdf 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
https://inria.hal.science/hal-01305083/file/sefm16.pdf 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
https://inria.hal.science/hal-01285579/file/ifm16.pdf 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
https://inria.hal.science/hal-01244369/file/Final-Version.pdf 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
https://inria.hal.science/hal-01248423/file/STTT-intro-RV.pdf 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
https://hal.science/hal-01127717/file/Sosym-author-version_Falcone-et-al.pdf 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
https://hal.science/hal-01127720/file/main.pdf https://hal.science/hal-01127720/file/sttt-2015.pdf 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
https://inria.hal.science/hal-00987985/file/main.pdf 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
https://inria.hal.science/hal-01248420/file/Sosym-author-version_Falcone-et-al.pdf 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
https://inria.hal.science/hal-01185238/file/ICTAC_version_longue_HAL.pdf 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
https://inria.hal.science/hal-01244446/file/Tipex-Final.pdf 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
https://inria.hal.science/hal-01248350/file/rv15-3.pdf 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
https://inria.hal.science/hal-01248349/file/rv15-1.pdf 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
https://inria.hal.science/hal-01248351/file/rv15-4.pdf 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
https://inria.hal.science/hal-01248352/file/dsd15.pdf 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
https://inria.hal.science/hal-01248353/file/sac15.pdf 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
https://inria.hal.science/hal-01088136/file/fmsd2.pdf 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
https://hal.science/hal-01120550/file/isola-14.pdf 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
https://hal.science/hal-01120551/file/rv14-1.pdf 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
https://hal.science/hal-01120552/file/rv14-2.pdf 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
https://hal.science/hal-00972559/file/forte14.pdf 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
https://inria.hal.science/hal-00974548/file/2014-wodes-TE.pdf 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
https://inria.hal.science/hal-00907571/file/sac-svt.pdf 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
https://inria.hal.science/hal-00863223/file/cdc2013.pdf 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
https://inria.hal.science/hal-00853716/file/978-3-642-38853-8_13_Chapter.pdf 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
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
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
https://hal.science/hal-00857299/file/RR-LIG-031.pdf 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
https://inria.hal.science/hal-00743981/file/STTT-ICTSS10-preprint.pdf 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
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
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
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
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
https://inria.hal.science/hal-00743270/file/2012-RV-Enforcement.pdf 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
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
https://arxiv.org/pdf/1111.5133 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
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
BibTex

Reports

titre
Decentralized LTL Monitoring
auteur
Andreas Bauer, Yliès Falcone
article
2012
Accès au texte intégral et bibtex
https://hal.science/hal-00642972/file/main.pdf 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
https://hal.science/hal-01472082/file/RR-LIG-031.pdf 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
https://hal.science/hal-00576948/file/EnforcementMonitors-FMSD-preprint.pdf 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
https://hal.science/hal-00497350/file/sttt11.pdf 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
https://hal.science/hal-00642969/file/RuntimeVerificationOfComponentBasedSystems.pdf 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
https://hal.science/hal-00523653/file/tutorial-RV10-Falcone.pdf 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
https://inria.hal.science/inria-00510018/file/64350030.pdf 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
https://hal.science/hal-00525490/file/sigproc-sp.pdf 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
https://inria.hal.science/inria-00507143/file/RR-7349.pdf 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
https://inria.hal.science/inria-00484297/file/RR-7279.pdf 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
https://hal.science/hal-00420487/file/main1.pdf 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
BibTex

Theses

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. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00420478/file/PhD-thesis-Y-Falcone.pdf 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
https://hal.science/hal-00346063/file/main.pdf 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
https://hal.science/hal-00346061/file/mbt08-jPOST.pdf 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
https://hal.science/hal-00346059/file/fates07FFMR.pdf 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
https://hal.science/hal-00346032/file/papier.pdf BibTex

Leave a Reply

Your email address will not be published.