Yliès Falcone

Available identifiers

zbMath Open falcone.yliesMaRDI QIDQ346788

List of research outcomes

Publication	Date of Publication	Type
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
Formal analysis and offline monitoring of electronic exams	2017-09-08	Paper
Predictive runtime enforcement	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yliès Falcone