Yliès Falcone
125
Documents
Publications
|
|
Probabilistic Runtime Enforcement of Executable BPMN ProcessesFASE 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⟩
Conference papers
hal-04533195v1
|
|
|
Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive AnalyticsQRS 2024 - 24th International Conference on Software Quality, Reliability, and Security, Jul 2024, Cambridge, United Kingdom. pp.1-12
Conference papers
hal-04617808v1
|
|
|
Guided Evolution of IEC 61499 ApplicationsETFA 2024 - 29th IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, Sep 2024, Padova, Italy. pp.1-8
Conference papers
hal-04680109v1
|
|
|
Dynamic Program Analysis with Flexible Instrumentation and Complex Event ProcessingISSRE - 2023 IEEE 34th International Symposium on Software Reliability Engineering, Oct 2023, Florence, Italy. pp.742-751, ⟨10.1109/ISSRE59848.2023.00048⟩
Conference papers
hal-04381709v1
|
|
|
DeepAbstraction++: Enhancing Test Prioritization Performance via Combined Parameterized Boxes ⋆AISOLA 2023 - Bridging the Gap Between AI and Reality, Oct 2023, Crete, Greece. pp.1-15
Conference papers
hal-04380870v1
|
|
|
Opportunistic Monitoring of Multithreaded ProgramsFASE 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⟩
Conference papers
hal-04381611v1
|
|
|
Sound Concurrent Traces for Online MonitoringSPIN 2023 - 29th International Symposium on Model Checking Software, Apr 2023, Paris, France. pp.59-80, ⟨10.1007/978-3-031-32157-3_4⟩
Conference papers
hal-04381666v1
|
|
|
Instrumentation for RV: From Basic Monitoring to Advanced Use CasesRV 2023 - 23rd International Conference on Runtime Verification, Oct 2023, Thessaloniki, Greece. pp.403-427, ⟨10.1007/978-3-031-44267-4_23⟩
Conference papers
hal-04381696v1
|
|
|
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISMRV 2023 - 23rd International Conference on Runtime Verification, Oct 2023, Thessalokini, Greece. pp.327-338, ⟨10.1007/978-3-031-44267-4_17⟩
Conference papers
hal-04381683v1
|
|
|
WEASY: A Tool for Modelling Optimised BPMN ProcessesFACS 2022 - 18th International Conference on Formal Aspects of Component Software, Nov 2022, Oslo / Online, Norway. ⟨10.1007/978-3-031-20872-0_7⟩
Conference papers
hal-03848350v1
|
|
|
DECENT: A Benchmark for Decentralized EnforcementRV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tblisi, Georgia. pp.1-11
Conference papers
hal-03911798v1
|
|
|
Probabilistic Analysis of Industrial IoT ApplicationsIoT 2022 -The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands. ⟨10.1145/3567445.3567461⟩
Conference papers
hal-03848674v2
|
|
|
Runtime Enforcement for IEC 61499 ApplicationsSEFM 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⟩
Conference papers
hal-03766095v2
|
|
|
Decentralised Runtime Verification of Timed Regular ExpressionsTIME 2022 - 29th International Symposium on Temporal Representation and Reasoning, Nov 2022, Online, France. pp.1-18, ⟨10.4230/LIPIcs..12⟩
Conference papers
hal-03911668v1
|
|
|
Capturing program models with BISMSAC 2022 - 37th ACM Symposium on Applied Computing - Software Verification and Testing Track, Apr 2022, Brno (Virtuel), Czech Republic. ⟨10.1145/3477314.3507239⟩
Conference papers
hal-03911682v1
|
|
|
Residual Runtime Verification via Reachability AnalysisVSTTE 2022 - 14th International Conference on Verified Software: Theories, Tools, and Experiments, Oct 2022, Trento, Italy. pp.1-19
Conference papers
hal-03911820v1
|
|
|
From Static to Dynamic Analysis and Allocation of Resources for BPMN ProcessesWRLA 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⟩
Conference papers
hal-03766148v1
|
|
|
Runtime Verification of Kotlin CoroutinesRV 2022 - 22nd International Conference on Runtime Verification, Sep 2022, Tbilisi, Georgia. pp.1-19
Conference papers
hal-03911794v1
|
|
|
DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural NetworksAITest 2022 - IEEE 4th International Conference On Artificial Intelligence Testing, Aug 2022, San Francisco, United States. pp.1-8
Conference papers
hal-03911812v1
|
|
|
Bounded-Memory Runtime EnforcementSPIN 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⟩
Conference papers
hal-03758964v1
|
|
|
Probabilistic Model Checking of BPMN Processes at RuntimeiFM 2022 - International Conference on integrated Formal Methods, Jun 2022, Lugano, Switzerland. pp.1-17, ⟨10.1007/978-3-031-07727-2_11⟩
Conference papers
hal-03665305v1
|
|
|
Decentralized LTL EnforcementGandALF 2021 - 12th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2021, Padua, France. pp.1-18
Conference papers
hal-03525845v1
|
|
|
Runtime Enforcement with Reordering, Healing, and SuppressionSEFM 2021 - 19th IEEE International Conference on Software Engineering and Formal Methods, Dec 2021, Virtual, United Kingdom. pp.1-20
Conference papers
hal-03484045v1
|
|
|
Monitoring Distributed Component-Based SystemsFACS 2021 - 17th edition of the International Conference on Formal Aspects of Component Software, Oct 2021, Grenoble, France. pp.1-19
Conference papers
hal-03525762v1
|
|
|
Semi-automated Modelling of Optimized BPMN ProcessesSCC 2021 - IEEE International Conference on Services Computing, Sep 2021, CHICAGO / Virtual, United States. pp.1-6
Conference papers
hal-03330330v1
|
|
|
BISM: Bytecode-Level Instrumentation for Software MonitoringRV 2020 - 20th International Conference on Runtime Verification, Oct 2020, Los Angeles, United States. pp.1-12
Conference papers
hal-03081265v1
|
|
|
Detecting Fault Injection Attacks with Runtime VerificationSPRO 2019 - 3rd International Workshop on Software PROtection, Nov 2019, Londres, United Kingdom. pp.65-76, ⟨10.1145/3338503.3357724⟩
Conference papers
hal-02283434v1
|
|
|
Facilitating the Implementation of Distributed Systems with Heterogeneous InteractionsIFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.1-19
Conference papers
hal-01868748v1
|
|
|
Tracing Distributed Component-Based Systems, a Brief OverviewProceedings of the 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus
Conference papers
hal-01882412v1
|
|
|
Second School on Runtime Verification, as part of the ArVi COST Action 1402 Overview and ReflectionsRV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-5
Conference papers
hal-01882413v1
|
|
|
COST Action IC1402 Runtime Verification beyond MonitoringRV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-8
Conference papers
hal-01900195v1
|
|
|
Bringing Runtime Verification HomeRV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-17
Conference papers
hal-01882411v1
|
|
|
Can We Monitor All Multithreaded Programs?RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-24
Conference papers
hal-01882414v1
|
|
|
A Taxonomy for Classifying Runtime Verification ToolsRV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.1-18
Conference papers
hal-01882410v1
|
|
|
GREP: Games for the Runtime Enforcement of Properties29th 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⟩
Conference papers
hal-01678960v1
|
|
|
Monitoring Decentralized SpecificationsISSTA 2017, Jul 2017, Santa Barbara, CA, United States. pp.125-135, ⟨10.1145/3092703.3092723⟩
Conference papers
hal-01653725v1
|
|
|
Runtime Enforcement Using Büchi GamesModel Checking Software - 24rd International Symposium, SPIN 2017, Co-located with ISSTA 2017, Jul 2017, Santa Barbara, United States
Conference papers
hal-01509827v3
|
|
|
Verifying Policy EnforcersRV 2017 - 17th International Conference on Runtime Verification, Sep 2017, Seattle, United States
Conference papers
hal-01653894v1
|
|
|
Interactive Runtime Verification - When Interactive Debugging meets Runtime VerificationISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France
Conference papers
hal-01592671v1
|
|
|
THEMIS: A Tool for Decentralized Monitoring AlgorithmsISSTA 2017, Jul 2017, Santa Barbara, United States. pp.125-135 ⟨10.1145/3092703.3092723⟩
Conference papers
hal-01653727v1
|
|
|
Modularizing Crosscutting Concerns in Component-Based Systems14th International Conference on Software Engineering and Formal Methods, Jul 2016, Vienne, Austria
Conference papers
hal-01305083v1
|
|
|
First International Summer School on Runtime VerificationSixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Conference papers
hal-01428838v1
|
|
|
Monitoring Multi-Threaded Component-Based Systems12th International Conference on integrated Formal Methods, Jun 2016, Reykjavik, Finland
Conference papers
hal-01285579v1
|
|
|
Decentralized Enforcement of Artifact LifecyclesEDOC 2016, Sep 2016, Vienne, Austria
Conference papers
hal-01365315v1
|
|
|
Predictive Runtime Enforcement *SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩
Conference papers
hal-01244369v1
|
|
|
Third International Competition on Runtime Verification CRV 2016Sixteenth International Conference on Runtime Verification, Sep 2016, Madrid, Spain
Conference papers
hal-01428834v1
|
|
|
Vérification interactive de propriétés à l'exécution d'un programme avec un débogueurCompas’2016, Jul 2016, Lorient, France
Conference papers
hal-01331973v1
|
|
|
TiPEX: A Tool Chain for Timed Property Enforcement During eXecutionRV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
Conference papers
hal-01244446v1
|
|
|
Enforcement of (Timed) Properties with Uncontrollable Events12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
Conference papers
hal-01185238v3
|
|
|
Monitoring Electronic Exams6th 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⟩
Conference papers
hal-01248349v1
|
|
|
RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial6th 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⟩
Conference papers
hal-01248350v1
|
|
|
Runtime Enforcement for Component-Based SystemsSymposium on Applied Computing - Software Verification and Testing , Apr 2015, Salamanque, Spain. ⟨10.1145/2695664.2695879⟩
Conference papers
hal-01248353v1
|
|
|
Second International Competition on Runtime Verification6th 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⟩
Conference papers
hal-01248351v1
|
|
|
Dynamic Detection and Mitigation of DMA Races in MPSoCs18th Euromicro Conference on Digital Systems Design (DSD 2015), Aug 2015, Madeire, Portugal. ⟨10.1109/DSD.2015.77⟩
Conference papers
hal-01248352v1
|
|
|
First International Competition on Software for Runtime Verification14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_1⟩
Conference papers
hal-01120552v1
|
|
|
Experimental Implementation of UFAD Regulation based on Robust Controlled InvarianceECC 2014 - 13th European Control Conference, Jun 2014, Strasbourg, France. pp.1468-1473, ⟨10.1109/ECC.2014.6862273⟩
Conference papers
hal-00988959v2
|
|
|
Organising LTL Monitors over Distributed Systems with a Global Clock14th International Conference on Runtime Verification, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_12⟩
Conference papers
hal-01120551v1
|
|
|
Blocking Advertisements on Android Devices using Monitoring Techniques6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfu, Greece
Conference papers
hal-01120550v1
|
|
|
Runtime Enforcement of Regular Timed PropertiesSoftware Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286
Conference papers
hal-00907571v1
|
|
|
Runtime Enforcement of Parametric Timed Properties with Practical ApplicationsIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Conference papers
hal-00974548v1
|
|
|
Efficient and Generalized Decentralized Monitoring of Regular Languages34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.66-83, ⟨10.1007/978-3-662-43613-4_5⟩
Conference papers
hal-00972559v1
|
|
|
Runtime Enforcement of K-step Opacity52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043⟩
Conference papers
hal-00863223v1
|
|
|
Compressing Microcontroller Execution Traces to Assist System Analysis4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. pp.139-150, ⟨10.1007/978-3-642-38853-8_13⟩
Conference papers
hal-00853716v1
|
Single-Trace Fault Localization in Embedded Software24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013, Pasadena, CA, United States. pp.148-157, ⟨10.1109/ISSRE.2013.6698914⟩
Conference papers
hal-00974761v1
|
|
Quantified Event Automata: Towards Expressive and Efficient Runtime MonitorsFM 2012 - 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.68-84, ⟨10.1007/978-3-642-32759-9_9⟩
Conference papers
hal-00857285v1
|
|
Decentralised LTL MonitoringFM 2012 - 18th International Symposium on Formal Methods, Aug 2012, Paris, France. pp.85-100, ⟨10.1007/978-3-642-32759-9_10⟩
Conference papers
hal-00857286v1
|
|
|
|
Runtime Enforcement of Timed Properties3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩
Conference papers
hal-00743270v2
|
Runtime Verification: The Application PerspectiveISoLA 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⟩
Conference papers
hal-00857288v1
|
|
Résumer les traces d'exécution des micro-contrôleursApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), 2012, Grenoble, France
Conference papers
hal-00953276v1
|
|
Towards Certified Runtime VerificationICFEM 2012 - 14th International Conference on Formal Engineering Methods, Nov 2012, Kyoto, Japan. pp.494-509, ⟨10.1007/978-3-642-34281-3_34⟩
Conference papers
hal-00857287v1
|
|
Behavioral Specification Based Runtime Monitors for OSGi ServicesISoLA 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⟩
Conference papers
hal-00857290v1
|
|
Runtime Verification and Enforcement for Android Applications with RV-DroidRV 2012 - 3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.88-95, ⟨10.1007/978-3-642-35632-2_11⟩
Conference papers
hal-00857292v1
|
|
Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloudASE 2012 - 27th IEEE/ACM International Conference on Automated Software Engineering, Sep 2012, Essen, Germany. pp.350-353, ⟨10.1145/2351676.2351744⟩
Conference papers
hal-00857291v1
|
|
|
|
Runtime Verification of Component-Based SystemsSEFM 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⟩
Conference papers
hal-00642969v1
|
|
|
You Should Better Enforce than VerifyInternational Conference on Runtime Verification, Nov 2010, Malta, Malta. pp.91--108
Conference papers
hal-00523653v1
|
|
|
Towards Automatic Integration Of Or-BAC Security Policies Using AspectsInternational Conference on Software Engineering Research and Practice (SERP 2010), Jul 2010, Las Vegas, Nevada, United States. pp.5
Conference papers
hal-00525490v1
|
|
|
Runtime Verification of Safety-Progress PropertiesRuntime Verification, Jun 2009, France. pp.40--59
Conference papers
hal-00420487v1
|
Enforcement Monitoring wrt. the Safety-Progress Classification of Properties24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track (SAC 2009), 2009, Unknown, pp.593-600, ⟨10.1145/1529282.1529408⟩
Conference papers
hal-00953590v1
|
|
|
Imposition de propriétés temporisées à l'exécutionETR 2017 : École d'Été Temps Réel, Aug 2017, Paris, France
Documents associated with scientific events
hal-01709899v1
|
Formal Methods in Outer SpaceSpringer International Publishing, 13065, pp.1-193, 2021, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-87348-6⟩
Books
hal-03533127v1
|
|
Automates à états finis et langages réguliersDunod, pp.1-320, 2020, 9782100808465
Books
hal-03113401v1
|
|
|
|
Lectures on Runtime Verification. Introductory and Advanced TopicsSpringer, 10457, pp.1-240, 2018, LNCS, 978-3-319-75632-5. ⟨10.1007/978-3-319-75632-5⟩
Books
hal-01762298v1
|
|
|
On the Runtime Enforcement of Timed PropertiesProceedings of the Runtime Verification 2019 conference, Springer, pp.48-69, 2019, ⟨10.1007/978-3-030-32079-9_4⟩
Book sections
hal-02433521v1
|
|
|
International Competition on Runtime Verification (CRV)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⟩
Book sections
hal-02433552v1
|
|
|
Runtime Failure Prevention and ReactionLectures on Runtime Verification, 10457, Springer, pp.103-134, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-75632-5_4⟩
Book sections
hal-01723606v1
|
|
|
Introduction to Runtime VerificationLectures 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⟩
Book sections
hal-01762297v1
|
A Tutorial on Runtime VerificationManfred 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⟩
Book sections
hal-00853727v1
|
|
|
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs2022
Preprints, Working Papers, ...
hal-03533152v1
|
|
|
Interactive Runtime Verification: Formal Models, Algorithms, and Implementation[Research Report] UGA (Université Grenoble Alpes); LIG (Laboratoire informatique de Grenoble); Inria Grenoble Rhône-Alpes, Université de Grenoble. 2019
Reports
hal-02190656v1
|
|
|
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding2013
Reports
hal-00857299v1
|
|
|
Decentralized LTL Monitoring2012
Reports
hal-00642972v1
|
|
|
CoMET: Compressing Microcontroller Execution Traces to Assist System Understanding[Research Report] RR-LIG-031, LIG. 2012
Reports
hal-01472082v1
|
|
|
monitoring multi-threaded and distributed (component-based) systemsSystems and Control [cs.SY]. Université Grenoble Alpes, 2017. English. ⟨NNT : 2017GREAM027⟩
Theses
tel-01681565v2
|
|
|
Etude et mise en œuvre de techniques de validation à l'exécutionRéseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨NNT : ⟩
Theses
tel-00420478v1
|