Yliès Falcone

Publications

Article dans une revue (30)

Bounded-memory runtime enforcement with probabilistic and performance analysis Saumya Shankar,Ankit Pradhan,Srinivas Pinisetty,Antoine Rollet,Yliès Falcone Formal Methods in System Design, 2024, ⟨10.1007/s10703-024-00446-1⟩ Article dans une revue hal-04555219v1
Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement Irman Faqrizal,Gwen Salaün,Yliès Falcone ACM Transactions on Autonomous and Adaptive Systems, 2024, 19 (4), pp.1-31. ⟨10.1145/3691345⟩ Article dans une revue hal-04680168v1
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
From global choreographies to verifiable efficient distributed implementations Mohamad Jaber,Yliès Falcone,Paul Attie,Al-Abbass Khalil,Rayan Hallalet al. 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
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
A survey of challenges for runtime verification from advanced application domains (beyond software) César Sanchez,Gerardo Schneider,Wolfgang Ahrendt,Ezio Bartocci,Domenico Bianculliet al. Formal Methods in System Design, 2019, 54 (3), pp.279-335. ⟨10.1007/s10703-019-00337-w⟩ Article dans une revue hal-02433558v1
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
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 Article dans une revue hal-02283429v2
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
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
Predictive runtime enforcement Srinivas Pinisetty,Viorel Preoteasa,Stavros Tripakis,Thierry Jéron,Yliès Falconeet al. Formal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩ Article dans une revue hal-01647787v1
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
Predictive Runtime Verification of Timed Properties Srinivas Pinisetty,Thierry Jéron,Stavros Tripakis,Yliès Falcone,Hervé Marchandet al. Journal of Systems and Software, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩ Article dans une revue hal-01666995v1
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
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
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
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, ⟨10.1007/s10009-016-0413-6⟩ Article dans une revue hal-01262658v1
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
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
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
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
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
Runtime enforcement of timed properties revisited Srinivas Pinisetty,Yliès Falcone,Thierry Jéron,Hervé Marchand,Antoine Rolletet al. Formal Methods in System Design, 2014, 45 (3), pp.381-422. ⟨10.1007/s10703-014-0215-y⟩ Article dans une revue hal-01088136v1
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
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
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
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
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
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
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

Communication dans un congrès (80)

Adaptable configuration of decentralized monitors Ennio Visconti,Ezio Bartocci,Yliès Falcone,Laura Nenzi FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2024, Groningen, The Netherlands, Netherlands. pp.1-19 Communication dans un congrès hal-04951087v1
Adaptable Configuration of Decentralized Monitors Ennio Visconti,Ezio Bartocci,Yliès Falcone,Laura Nenzi 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2024, Groningen, Netherlands. pp.197-217, ⟨10.1007/978-3-031-62645-6_11⟩ Communication dans un congrès hal-04966811v1
Guided Evolution of IEC 61499 Applications Irman Faqrizal,Gwen Salaün,Yliès Falcone ETFA 2024 - 29th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, Sep 2024, Padova, Italy. pp.1-8 Communication dans un congrès hal-04680109v1
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics Yliès Falcone,Gwen Salaün,Ahang Zuo QRS 2024 - 24th International Conference on Software Quality, Reliability, and Security, Jul 2024, Cambridge, United Kingdom. pp.1-12, ⟨10.1109/QRS62785.2024.00074⟩ Communication dans un congrès hal-04617808v1
Probabilistic Runtime Enforcement of Executable BPMN Processes Yliès Falcone,Gwen Salaün,Ahang Zuo FASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering, Apr 2024, Luxembourg City, Luxembourg. pp.1-21, ⟨10.1007/978-3-031-57259-3_3⟩ Communication dans un congrès hal-04533195v1
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
COST Action IC1402 Runtime Verification beyond Monitoring Christian Colombo,Yliès Falcone,Martin Leucker,Giles Reger,César Sanchezet al. RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-8 Communication dans un congrès hal-01900195v1
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
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
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
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
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
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
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
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
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
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
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
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
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
Predictive Runtime Enforcement * Srinivas Pinisetty,Viorel Preoteasa,Stavros Tripakis,Thierry Jéron,Yliès Falconeet al. 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
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
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
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
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
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
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
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial Philip Daian,Yliès Falcone,Patrick Meredith,Traian Florin Serbanuta,Shin’ichi Shiriashiet al. 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
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
Enforcement of (Timed) Properties with Uncontrollable Events Matthieu Renard,Yliès Falcone,Antoine Rollet,Srinivas Pinisetty,Thierry Jéronet al. 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
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
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
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
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
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
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
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
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
Runtime Enforcement of Timed Properties Srinivas Pinisetty,Yliès Falcone,Thierry Jéron,Hervé Marchand,Antoine Rolletet al. 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
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
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
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 istex hal-00857292v1
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
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
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
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
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
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
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
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
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
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
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

Document associé à des manifestations scientifiques (1)

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

Ouvrages (3)

Formal Methods in Outer Space Ezio Bartocci,Yliès Falcone,Martin Leucker Springer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩ Ouvrages hal-03533127v1
Automates à états finis et langages réguliers Yliès Falcone,Jean-Claude Fernandez Dunod, pp.1-320, 2020, 9782100808465 Ouvrages hal-03113401v1
Lectures on Runtime Verification. Introductory and Advanced Topics Ezio Bartocci,Yliès Falcone Springer, 10457, pp.1-240, 2018, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩ Ouvrages hal-01762298v1

Chapitre d'ouvrage (5)

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

Pré-publication, Document de travail (3)

Efficient and Expressive Bytecode-Level Instrumentation for Java Programs Chukri Soueidi,Marius Monnier,Ali Kassem,Yliès Falcone 2022 Pré-publication, Document de travail hal-03533152v1
Vers l’intégration automatique d’une politique de sécurité Or-BAC Yliès Falcone,Mohamad Jaber 2007 Pré-publication, Document de travail hal-05138468v1
Combiner test actif et surveillance pour la sécurité Yliès Falcone 2007 Pré-publication, Document de travail hal-05129131v1

Rapport (5)

Secure and Verifiable Test and Assessment System&quot; project DMP Jannik Dreier,Pascal Lafourcade,Yliès Falcone,Gabriele Lenzini Université de Lorraine; Université de Grenoble Alpes; Université Clermont Auvergne; Université du Luxembourg. 2026 Rapport (plan de gestion de données/data management plan) hal-05603876v1
Interactive Runtime Verification: Formal Models, Algorithms, and Implementation Raphaël Jakse,Yliès Falcone,Jean-François Méhaut [Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019 Rapport (rapport de recherche) hal-02190656v1
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding Azzeddine Amiar,Mickaël Delahaye,Yliès Falcone,Lydie Du Bousquet 2013 Rapport hal-00857299v1
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding Azzeddine Amiar,Mickaël Delahaye,Yliès Falcone,Lydie Du Bousquet [Research Report] RR-LIG-031, LIG. 2012 Rapport (rapport de recherche) hal-01472082v1
Decentralized LTL Monitoring Andreas Bauer,Yliès Falcone 2012 Rapport hal-00642972v1

Thèse (2)

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