Accéder directement au contenu

Yliès Falcone

120
Documents

Publications

Image document

Runtime enforcement of timed properties using games

Matthieu Renard , Antoine Rollet , Yliès Falcone
Formal Aspects of Computing, 2020, 32 (2-3), pp.315-360. ⟨10.1007/s00165-020-00515-2⟩
Article dans une revue hal-02920384v1
Image document

From global choreographies to verifiable efficient distributed implementations

Mohamad Jaber , Yliès Falcone , Paul Attie , Al-Abbass Khalil , Rayan Hallal
Journal of Logical and Algebraic Methods in Programming, 2020, 115, pp.1-24. ⟨10.1016/j.jlamp.2020.100577⟩
Article dans une revue hal-03113398v1
Image document

Preface to the Special Section Issue on Improving Software Quality through Formal Methods

Yliès Falcone , Leonardo Mariani
Software Quality Journal, 2020, pp.1-2. ⟨10.1007/s11219-020-09508-z⟩
Article dans une revue hal-02548907v1
Image document

Optimal Enforcement of (Timed) Properties with Uncontrollable Events

Matthieu Renard , Yliès Falcone , Antoine Rollet , Thierry Jéron , Hervé Marchand
Mathematical Structures in Computer Science, 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Article dans une revue hal-01262444v4
Image document

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

Antoine El-Hokayem , Yliès Falcone
ACM Transactions on Software Engineering and Methodology, 2019, pp.1-57. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Article dans une revue hal-02283429v2
Image document

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sanchez , Gerardo Schneider , Wolfgang Ahrendt , Ezio Bartocci , Domenico Bianculli
Formal Methods in System Design, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩
Article dans une revue hal-02433558v1
Image document

Modularizing Behavioral and Architectural Crosscutting Concerns in Formal Component-Based Systems - Application to the Behavior Interaction Priority Framework

Antoine El-Hokayem , Yliès Falcone , Mohamad Jaber
Journal of Logical and Algebraic Methods in Programming, 2018, 99, pp.143-177. ⟨10.1016/j.jlamp.2018.05.005⟩
Article dans une revue hal-01796786v1
Image document

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation

Hosein Nazarpour , Yliès Falcone , Saddek Bensalem , Marius Bozga
Formal Aspects of Computing, 2017, 29 (6), pp.951 - 986. ⟨10.1007/s00165-017-0422-6⟩
Article dans une revue hal-01653883v1
Image document

Decentralized enforcement of document lifecycle constraints

Sylvain Hallé , Raphaël Khoury , Quentin Betti , Antoine El-Hokayem , Yliès Falcone
Information Systems, 2017, ⟨10.1016/j.is.2017.08.002⟩
Article dans une revue hal-01653879v1
Image document

Predictive Runtime Verification of Timed Properties

Srinivas Pinisetty , Thierry Jéron , Stavros Tripakis , Yliès Falcone , Hervé Marchand
Journal of Systems and Software, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩
Article dans une revue hal-01666995v1

Predictive runtime enforcement

Srinivas Pinisetty , Viorel Preoteasa , Stavros Tripakis , Thierry Jéron , Yliès Falcone
Formal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
Article dans une revue hal-01647787v1
Image document

Formal analysis and offline monitoring of electronic exams

Ali Kassem , Yliès Falcone , Pascal Lafourcade
Formal Methods in System Design, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩
Article dans une revue hal-01653884v1
Image document

Organising LTL Monitors over Distributed Systems with a Global Clock

Christian Colombo , Yliès Falcone
Formal Methods in System Design, 2016, 49 (1-2), pp.50. ⟨10.1007/s10703-016-0251-x⟩
Article dans une revue hal-01315776v1
Image document

Fully-automated Runtime Enforcement of Component-based Systems with Formal and Sound Recovery

Yliès Falcone , Mohamad Jaber
International Journal on Software Tools for Technology Transfer, 2016
Article dans une revue hal-01262658v1
Image document

Decentralised LTL Monitoring

Andreas Bauer , Yliès Falcone
Formal Methods in System Design, 2016, 48 (1-2), pp.48. ⟨10.1007/s10703-016-0253-8⟩
Article dans une revue hal-01313730v1
Image document

Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events

Yliès Falcone , Thierry Jéron , Hervé Marchand , Srinivas Pinisetty
Science of Computer Programming, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩
Article dans une revue hal-01281727v1
Image document

Runtime Verification: the Application Perspective

Yliès Falcone , Lenore D. Zuck
International Journal on Software Tools for Technology Transfer, 2015, 17 (2), pp.3. ⟨10.1007/s10009-014-0360-z⟩
Article dans une revue hal-01248423v1
Image document

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Yliès Falcone , Mohamad Jaber , Thanh-Hung Nguyen , Marius Bozga , Saddek Bensalem
Software and Systems Modeling, 2015, 14 (1), pp.38. ⟨10.1007/s10270-013-0323-y⟩
Article dans une revue hal-01248420v1
Image document

Enforcement and Validation (at runtime) of Various Notions of Opacity

Yliès Falcone , Hervé Marchand
Discrete Event Dynamic Systems, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩
Article dans une revue hal-00987985v1
Image document

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation

Yliès Falcone , Mohamad Jaber , Thanh-Hung Nguyen , Marius Bozga , Saddek Bensalem
Software and Systems Modeling, 2015, pp.173-199. ⟨10.1007/s10270-013-0323-y⟩
Article dans une revue hal-01127717v1
Image document

Runtime Verification: The Application Perspective

Yliès Falcone , Lenore D. Zuck
International Journal on Software Tools for Technology Transfer, 2015, pp.121-123. ⟨10.1007/978-3-642-34026-0_21⟩
Article dans une revue hal-01127720v1
Image document

Runtime enforcement of timed properties revisited

Srinivas Pinisetty , Yliès Falcone , Thierry Jéron , Hervé Marchand , Antoine Rollet
Formal Methods in System Design, 2014, 45 (3), pp.381-422. ⟨10.1007/s10703-014-0215-y⟩
Article dans une revue hal-01088136v1
Image document

More testable properties

Yliès Falcone , Jean-Claude Fernandez , Thierry Jéron , Hervé Marchand , Laurent Mounier
International Journal on Software Tools for Technology Transfer, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
Article dans une revue hal-00743981v1
Image document

What can you verify and Enforce at Runtime?

Yliès Falcone , Jean-Claude Fernandez , Laurent Mounier
International Journal on Software Tools for Technology Transfer, 2011, pp.Online First
Article dans une revue hal-00497350v2
Image document

Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities

Yliès Falcone , Laurent Mounier , Jean-Claude Fernandez , Jean-Luc Richier
Formal Methods in System Design, 2011, 38 (3), pp.223-262. ⟨10.1007/s10703-011-0114-4⟩
Article dans une revue hal-00576948v1
Image document

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties

Yliès Falcone , Jean-Claude Fernandez , Laurent Mounier
ICISS'08: International Conference on Information Systems Security, 2008, pp.41-55
Article dans une revue hal-00346063v1
Image document

j-POST: a Java Toolchain for Property-Oriented Software Testing

Yliès Falcone , Laurent Mounier , Jean-Claude Fernandez , Jean-Luc Richier
MBT'08: Model-Based Testing, 2008, pp.29-41
Article dans une revue hal-00346061v1
Image document

A Compositional Testing Framework Driven by Partial Specifications

Yliès Falcone , Jean-Claude Fernandez , Laurent Mounier , Jean-Luc Richier
TESTCOM/FATES'07: TESTing of COMmunicating Systems/Formal Approaches to TESting, 2007, pp.107-122
Article dans une revue hal-00346059v1
Image document

A Test Calculus Framework Applied to Network Security Policies

Yliès Falcone , Jean-Claude Fernandez , Laurent Mounier , Jean-Luc Richier
FATES/RV'06: Formal Approaches to TESting/Runtime Verification, 2006, pp.55-69
Article dans une revue hal-00346032v1
Image document

DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes ⋆

Hamzah Al-Qadasi , Yliès Falcone , Saddek Bensalem
AISOLA 2023 - Bridging the Gap Between AI and Reality, Oct 2023, Crete, Greece. pp.1-15
Communication dans un congrès hal-04380870v1
Image document

Sound Concurrent Traces for Online Monitoring

Chukri Soueidi , Yliès Falcone
SPIN 2023 - 29th International Symposium on Model Checking Software, Apr 2023, Paris, France. pp.59-80, ⟨10.1007/978-3-031-32157-3_4⟩
Communication dans un congrès hal-04381666v1
Image document

Instrumentation for RV: From Basic Monitoring to Advanced Use Cases

Chukri Soueidi , Yliès Falcone
RV 2023 - 23rd International Conference on Runtime Verification, Oct 2023, Thessaloniki, Greece. pp.403-427, ⟨10.1007/978-3-031-44267-4_23⟩
Communication dans un congrès hal-04381696v1
Image document

Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM

Chukri Soueidi , Yliès Falcone
RV 2023 - 23rd International Conference on Runtime Verification, Oct 2023, Thessalokini, Greece. pp.327-338, ⟨10.1007/978-3-031-44267-4_17⟩
Communication dans un congrès hal-04381683v1
Image document

Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing

Chukri Soueidi , Yliès Falcone , Sylvain Hallé
ISSRE - 2023 IEEE 34th International Symposium on Software Reliability Engineering, Oct 2023, Florence, Italy. pp.742-751, ⟨10.1109/ISSRE59848.2023.00048⟩
Communication dans un congrès hal-04381709v1
Image document

Opportunistic Monitoring of Multithreaded Programs

Chukri Soueidi , Antoine El-Hokayem , Yliès Falcone
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⟩
Communication dans un congrès hal-04381611v1
Image document

DECENT: A Benchmark for Decentralized Enforcement

Florian Gallay , Yliès Falcone
RV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tblisi, Georgia. pp.1-11
Communication dans un congrès hal-03911798v1
Image document

Runtime Enforcement for IEC 61499 Applications

Yliès Falcone , Gwen Salaün , Irman Faqrizal
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⟩
Communication dans un congrès hal-03766095v2
Image document

Probabilistic Analysis of Industrial IoT Applications

Yliès Falcone , Irman Faqrizal , Gwen Salaün
IoT 2022 -The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands. ⟨10.1145/3567445.3567461⟩
Communication dans un congrès hal-03848674v2
Image document

Decentralised Runtime Verification of Timed Regular Expressions

Victor Roussanaly , Yliès Falcone
TIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs..12⟩
Communication dans un congrès hal-03911668v1
Image document

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes

Francisco Durán , Yliès Falcone , Camilo Rocha , Gwen Salaün , Ahang Zuo
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⟩
Communication dans un congrès hal-03766148v1
Image document

Residual Runtime Verification via Reachability Analysis

Yliès Falcone
VSTTE 2022 - 14th International Conference on Verified Software: Theories, Tools, and Experiments, Oct 2022, Trento, Italy. pp.1-19
Communication dans un congrès hal-03911820v1
Image document

Capturing program models with BISM

Chukri Soueidi , Yliès Falcone
SAC 2022 - 37th ACM Symposium on Applied Computing - Software Verification and Testing Track, Apr 2022, Brno (Virtuel), Czech Republic. ⟨10.1145/3477314.3507239⟩
Communication dans un congrès hal-03911682v1
Image document

Probabilistic Model Checking of BPMN Processes at Runtime

Yliès Falcone , Gwen Salaün , Ahang Zuo
iFM 2022 - International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.1-17, ⟨10.1007/978-3-031-07727-2_11⟩
Communication dans un congrès hal-03665305v1
Image document

WEASY: A Tool for Modelling Optimised BPMN Processes

Angel Contreras , Yliès Falcone , Gwen Salaün , Ahang Zuo
FACS 2022 - 18th International Conference on Formal Aspects of Component Software, Nov 2022, Oslo / Online, Norway. ⟨10.1007/978-3-031-20872-0_7⟩
Communication dans un congrès hal-03848350v1
Image document

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks

Hamzah Al Qadasi , Changshun Wu , Yliès Falcone , Saddek Bensalem
AITest 2022 - IEEE 4th International Conference On Artificial Intelligence Testing, Aug 2022, San Francisco, United States. pp.1-8
Communication dans un congrès hal-03911812v1
Image document

Runtime Verification of Kotlin Coroutines

Denis Furian , Shaun Azzopardi , Yliès Falcone , Gerardo Schneider
RV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tbilisi, Georgia. pp.1-19
Communication dans un congrès hal-03911794v1
Image document

Bounded-Memory Runtime Enforcement

Saumya Shankar , Antoine Rollet , Srinivas Pinisetty , Yliès Falcone
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⟩
Communication dans un congrès hal-03758964v1
Image document

Monitoring Distributed Component-Based Systems

Yliès Falcone , Hosein Nazarpour , Saddek Bensalem , Marius Bozga
FACS 2021 - 17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19
Communication dans un congrès hal-03525762v1
Image document

Semi-automated Modelling of Optimized BPMN Processes

Yliès Falcone , Gwen Salaün , Ahang Zuo
SCC 2021 - IEEE International Conference on Services Computing, Sep 2021, CHICAGO / Virtual, United States. pp.1-6
Communication dans un congrès hal-03330330v1
Image document

Runtime Enforcement with Reordering, Healing, and Suppression

Yliès Falcone , Gwen Salaün
SEFM 2021 - 19th IEEE International Conference on Software Engineering and Formal Methods, Dec 2021, Virtual, United Kingdom. pp.1-20
Communication dans un congrès hal-03484045v1
Image document

Decentralized LTL Enforcement

Florian Gallay , Yliès Falcone
GandALF 2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2021, Padua, France. pp.1-18
Communication dans un congrès hal-03525845v1
Image document

BISM: Bytecode-Level Instrumentation for Software Monitoring

Chukri Soueidi , Ali Kassem , Yliès Falcone
RV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12
Communication dans un congrès hal-03081265v1
Image document

Detecting Fault Injection Attacks with Runtime Verification

Ali Kassem , Yliès Falcone
SPRO 2019 - 3rd International Workshop on Software PROtection, Nov 2019, Londres, United Kingdom. pp.65-76, ⟨10.1145/3338503.3357724⟩
Communication dans un congrès hal-02283434v1
Image document

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions

Salwa Kobeissi , Adnan Utayim , Mohamad Jaber , Yliès Falcone
IFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19
Communication dans un congrès hal-01868748v1
Image document

Tracing Distributed Component-Based Systems, a Brief Overview

Yliès Falcone , Hosein Nazarpour , Mohamad Jaber , Marius Bozga , Saddek Bensalem
Proceedings of the 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus
Communication dans un congrès hal-01882412v1
Image document

Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and Reflections

Yliès Falcone
RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-5
Communication dans un congrès hal-01882413v1
Image document

Can We Monitor All Multithreaded Programs?

Antoine El-Hokayem , Yliès Falcone
RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24
Communication dans un congrès hal-01882414v1
Image document

A Taxonomy for Classifying Runtime Verification Tools

Yliès Falcone , Srđan Krstić , Giles Reger , Dmitriy Traytel
RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-18
Communication dans un congrès hal-01882410v1
Image document

COST Action IC1402 Runtime Verification beyond Monitoring

Christian Colombo , Yliès Falcone , Martin Leucker , Giles Reger , César Sanchez
RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-8
Communication dans un congrès hal-01900195v1
Image document

Bringing Runtime Verification Home

Antoine El-Hokayem , Yliès Falcone
RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17
Communication dans un congrès hal-01882411v1
Image document

GREP: Games for the Runtime Enforcement of Properties

Matthieu Renard , Antoine Rollet , Yliès Falcone
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⟩
Communication dans un congrès hal-01678960v1
Image document

THEMIS: A Tool for Decentralized Monitoring Algorithms

Antoine El-Hokayem , Yliès Falcone
ISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩
Communication dans un congrès hal-01653727v1
Image document

Monitoring Decentralized Specifications

Antoine El-Hokayem , Yliès Falcone
ISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩
Communication dans un congrès hal-01653725v1
Image document

Runtime Enforcement Using Büchi Games

Matthieu Renard , Antoine Rollet , Yliès Falcone
Model Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States
Communication dans un congrès hal-01509827v3
Image document

Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification

Raphaël Jakse , Yliès Falcone , Jean-François Méhaut , Kevin Pouget
ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France
Communication dans un congrès hal-01592671v1
Image document

Verifying Policy Enforcers

Oliviero Riganelli , Daniela Micucci , Leonardo Mariani , Yliès Falcone
RV 2017 - 17th International Conference on Runtime Verification, Sep 2017, Seattle, United States
Communication dans un congrès hal-01653894v1
Image document

Vérification interactive de propriétés à l'exécution d'un programme avec un débogueur

Raphaël Jakse , Yliès Falcone , Jean-François Méhaut , Kevin Pouget
Compas’2016, Jul 2016, Lorient, France
Communication dans un congrès hal-01331973v1
Image document

Third International Competition on Runtime Verification CRV 2016

Giles Reger , Sylvain Hallé , Yliès Falcone
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Communication dans un congrès hal-01428834v1
Image document

Predictive Runtime Enforcement *

Srinivas Pinisetty , Viorel Preoteasa , Stavros Tripakis , Thierry Jéron , Yliès Falcone
SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩
Communication dans un congrès hal-01244369v1
Image document

First International Summer School on Runtime Verification

Christian Colombo , Yliès Falcone
Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Communication dans un congrès hal-01428838v1
Image document

Decentralized Enforcement of Artifact Lifecycles

Sylvain Hallé , Raphaël Khoury , Antoine El-Hokayem , Yliès Falcone
EDOC 2016, Sep 2016, Vienne, Austria
Communication dans un congrès hal-01365315v1
Image document

Monitoring Multi-Threaded Component-Based Systems

Hosein Nazarpour , Yliès Falcone , Saddek Bensalem , Marius Bozga , Jacques Combaz
12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland
Communication dans un congrès hal-01285579v1
Image document

Modularizing Crosscutting Concerns in Component-Based Systems

Antoine El-Hokayem , Yliès Falcone , Mohamad Jaber
14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria
Communication dans un congrès hal-01305083v1
Image document

Second International Competition on Runtime Verification

Yliès Falcone , Dejan Nickovic , Giles Reger , Daniel Thoma
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⟩
Communication dans un congrès hal-01248351v1
Image document

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution

Srinivas Pinisetty , Yliès Falcone , Thierry Jéron , Hervé Marchand
RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
Communication dans un congrès hal-01244446v1
Image document

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial

Philip Daian , Yliès Falcone , Patrick Meredith , Traian Florin Serbanuta , Shin’ichi Shiriashi
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⟩
Communication dans un congrès hal-01248350v1
Image document

Enforcement of (Timed) Properties with Uncontrollable Events

Matthieu Renard , Yliès Falcone , Antoine Rollet , Srinivas Pinisetty , Thierry Jéron
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⟩
Communication dans un congrès hal-01185238v3
Image document

Monitoring Electronic Exams

Ali Kassem , Yliès Falcone , Pascal Lafourcade
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⟩
Communication dans un congrès hal-01248349v1
Image document

Dynamic Detection and Mitigation of DMA Races in MPSoCs

Selma Saidi , Yliès Falcone
18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. ⟨10.1109/DSD.2015.77⟩
Communication dans un congrès hal-01248352v1
Image document

Runtime Enforcement for Component-Based Systems

Hadil Charafeddine , Khalil El-Harake , Yliès Falcone , Mohamad Jaber
Symposium on Applied Computing - Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩
Communication dans un congrès hal-01248353v1
Image document

Runtime Enforcement of Parametric Timed Properties with Practical Applications

Srinivas Pinisetty , Yliès Falcone , Thierry Jéron , Hervé Marchand
IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Communication dans un congrès hal-00974548v1
Image document

Experimental Implementation of UFAD Regulation based on Robust Controlled Invariance

Pierre-Jean Meyer , Hosein Nazarpour , Antoine Girard , Emmanuel Witrant
ECC 2014 - 13th European Control Conference, Jun 2014, Strasbourg, France. pp.1468-1473, ⟨10.1109/ECC.2014.6862273⟩
Communication dans un congrès hal-00988959v2
Image document

Efficient and Generalized Decentralized Monitoring of Regular Languages

Yliès Falcone , Tom Cornebize , Jean-Claude Fernandez
34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Communication dans un congrès hal-00972559v1
Image document

First International Competition on Software for Runtime Verification

Ezio Bartocci , Borzoo Bonakdarpour , Yliès Falcone
14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_1⟩
Communication dans un congrès hal-01120552v1
Image document

Organising LTL Monitors over Distributed Systems with a Global Clock

Christian Colombo , Yliès Falcone
14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_12⟩
Communication dans un congrès hal-01120551v1
Image document

Blocking Advertisements on Android Devices using Monitoring Techniques

Khalil El-Harake , Yliès Falcone , Wassim Jerad , Mattieu Langet , Mariem Mamlouk
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfu, Greece
Communication dans un congrès hal-01120550v1
Image document

Runtime Enforcement of Regular Timed Properties

Srinivas Pinisetty , Yliès Falcone , Thierry Jéron , Hervé Marchand
Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286
Communication dans un congrès hal-00907571v1
Image document

Runtime Enforcement of K-step Opacity

Yliès Falcone , Hervé Marchand
52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩
Communication dans un congrès hal-00863223v1
Image document

Compressing Microcontroller Execution Traces to Assist System Analysis

Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Communication dans un congrès hal-00853716v1

Single-Trace Fault Localization in Embedded Software

Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, ⟨10.1109/ISSRE.2013.6698914⟩
Communication dans un congrès hal-00974761v1

Résumer les traces d'exécution des micro-contrôleurs

Azzeddine Amiar , Mickaël Delahaye , Yliès Falcone , Lydie Du Bousquet
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
Communication dans un congrès hal-00953276v1

Runtime Verification: The Application Perspective

Yliès Falcone , Lenore D. Zuck
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⟩
Communication dans un congrès hal-00857288v1
Image document

Runtime Enforcement of Timed Properties

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

Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud

Yliès Falcone , Sebastian Currea
ASE 2012 - 27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.350-353, ⟨10.1145/2351676.2351744⟩
Communication dans un congrès hal-00857291v1

Decentralised LTL Monitoring

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

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

Howard Barringer , Yliès Falcone , Klaus Havelund , Giles Reger , David E. Rydeheard
FM 2012 - 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.68-84, ⟨10.1007/978-3-642-32759-9_9⟩
Communication dans un congrès hal-00857285v1

Towards Certified Runtime Verification

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

Runtime Verification and Enforcement for Android Applications with RV-Droid

Yliès Falcone , Sebastian Currea , Mohamad Jaber
RV 2012 - 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.88-95, ⟨10.1007/978-3-642-35632-2_11⟩
Communication dans un congrès hal-00857292v1

Behavioral Specification Based Runtime Monitors for OSGi Services

Jan Olaf Blech , Yliès Falcone , Harald Ruess , Bernhard Schätz
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⟩
Communication dans un congrès hal-00857290v1
Image document

Runtime Verification of Component-Based Systems

Yliès Falcone , Mohamad Jaber , Thanh-Hung Nguyen , Marius Bozga , Saddek Bensalem
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⟩
Communication dans un congrès hal-00642969v1
Image document

Towards Automatic Integration Of Or-BAC Security Policies Using Aspects

Yliès Falcone , Mohamad Jaber
International Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5
Communication dans un congrès hal-00525490v1
Image document

You Should Better Enforce than Verify

Yliès Falcone
International Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91--108
Communication dans un congrès hal-00523653v1
Image document

Runtime Verification of Safety-Progress Properties

Yliès Falcone , Jean-Claude Fernandez , Laurent Mounier
Runtime Verification, Jun 2009, France. pp.40--59
Communication dans un congrès hal-00420487v1

Enforcement Monitoring wrt. the Safety-Progress Classification of Properties

Yliès Falcone , Jean-Claude Fernandez , Laurent Mounier
24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, ⟨10.1145/1529282.1529408⟩
Communication dans un congrès hal-00953590v1
Image document

Imposition de propriétés temporisées à l'exécution

Yliès Falcone
ETR 2017 : École d'Été Temps Réel, Aug 2017, Paris, France
Document associé à des manifestations scientifiques hal-01709899v1
Image document

International Competition on Runtime Verification (CRV)

Ezio Bartocci , Yliès Falcone , Giles Reger
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⟩
Chapitre d'ouvrage hal-02433552v1
Image document

On the Runtime Enforcement of Timed Properties

Yliès Falcone , Srinivas Pinisetty
Proceedings of the Runtime Verification 2019 conference, Springer, pp.48-69, 2019, ⟨10.1007/978-3-030-32079-9_4⟩
Chapitre d'ouvrage hal-02433521v1
Image document

Runtime Failure Prevention and Reaction

Yliès Falcone , Leonardo Mariani , Antoine Rollet , Saikat Saha
Lectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩
Chapitre d'ouvrage hal-01723606v1
Image document

Introduction to Runtime Verification

Ezio Bartocci , Yliès Falcone , Adrian Francalanza , Giles Reger
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⟩
Chapitre d'ouvrage hal-01762297v1

A Tutorial on Runtime Verification

Yliès Falcone , Klaus Havelund , Giles Reger
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⟩
Chapitre d'ouvrage hal-00853727v1
Image document

monitoring multi-threaded and distributed (component-based) systems

Hosein Nazarpour
Systems and Control [cs.SY]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM027⟩
Thèse tel-01681565v2
Image document

Etude et mise en œuvre de techniques de validation à l'exécution

Yliès Falcone
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨NNT : ⟩
Thèse tel-00420478v1