Yliès Falcone

Available identifiers

zbMath Open falcone.yliesMaRDI QIDQ346788

List of research outcomes

Publication	Date of Publication	Type
Decentralized LTL enforcement	2024-12-06	Paper
Bounded-memory runtime enforcement with probabilistic and performance analysis	2024-06-28	Paper
Opportunistic monitoring of multithreaded programs	2023-11-24	Paper
Sound concurrent traces for online monitoring	2023-10-16	Paper
Runtime enforcement with reordering, healing, and suppression	2023-05-26	Paper
Probabilistic model checking of BPMN processes at runtime	2022-08-19	Paper
Runtime enforcement of timed properties using games	2020-09-09	Paper
From global choreographies to verifiable efficient distributed implementations	2020-08-17	Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)	2019-11-25	Paper
Optimal enforcement of (timed) properties with uncontrollable events	2018-12-04	Paper
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework	2018-06-27	Paper
Organising LTL monitors over distributed systems with a global clock	2018-02-12	Paper
Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation	2018-01-08	Paper
Predictive runtime enforcement	2017-09-08	Paper
Formal analysis and offline monitoring of electronic exams	2017-09-08	Paper
Decentralised LTL monitoring	2016-11-30	Paper
Enforcement of (Timed) Properties with Uncontrollable Events	2016-02-25	Paper
Enforcement and validation (at runtime) of various notions of opacity	2015-12-09	Paper
Runtime enforcement of timed properties revisited	2015-01-19	Paper
Decentralised LTL monitoring	2012-11-08	Paper
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors	2012-11-08	Paper
Runtime Verification of Component-Based Systems	2011-10-28	Paper
Runtime enforcement monitors: Composition, synthesis, and enforcement abilities	2011-06-30	Paper

Research outcomes over time

This page was built for person: Yliès Falcone