Yliès Falcone

According to our database1, Yliès Falcone authored at least 99 papers between 2006 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A taxonomy for classifying runtime verification tools.
Int. J. Softw. Tools Technol. Transf., 2021

Decentralized LTL Enforcement.
CoRR, 2021

Efficient and Expressive Bytecode-Level Instrumentation for Java Programs.
CoRR, 2021

Customizable Reference Runtime Monitoring of Neural Networks using Resolution Boxes.
CoRR, 2021

2020
On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.
ACM Trans. Softw. Eng. Methodol., 2020

Preface to the special section on improving software quality through formal methods.
Softw. Qual. J., 2020

From global choreographies to verifiable efficient distributed implementations.
J. Log. Algebraic Methods Program., 2020

Runtime enforcement of timed properties using games.
Formal Aspects Comput., 2020

BISM: Bytecode-Level Instrumentation for Software Monitoring.
Proceedings of the Runtime Verification - 20th International Conference, 2020

2019
From high-level modeling toward efficient and trustworthy circuits.
Int. J. Softw. Tools Technol. Transf., 2019

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf., 2019

Optimal enforcement of (timed) properties with uncontrollable events.
Math. Struct. Comput. Sci., 2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

From Global Choreographies to Provably Correct and Efficient Distributed Implementations.
CoRR, 2019

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1.
CoRR, 2019

International Competition on Runtime Verification (CRV).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

On the Runtime Enforcement of Timed Properties.
Proceedings of the Runtime Verification - 19th International Conference, 2019

Detecting Fault Injection Attacks with Runtime Verification.
Proceedings of the 3rd ACM Workshop on Software Protection, 2019

2018
Runtime Failure Prevention and Reaction.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Introduction to Runtime Verification.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

A high-level modeling language for the efficient design, implementation, and testing of Android applications.
Int. J. Softw. Tools Technol. Transf., 2018

Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework.
J. Log. Algebraic Methods Program., 2018

Decentralized enforcement of document lifecycle constraints.
Inf. Syst., 2018

Introduction to the special issue on runtime verification.
Formal Methods Syst. Des., 2018

Bringing Runtime Verification Home - A Case Study on the Hierarchical Monitoring of Smart Homes.
CoRR, 2018

Tracing Distributed Component-Based Systems, a Brief Overview.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Second School on Runtime Verification, as Part of the ArVi COST Action 1402 - Overview and Reflections.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Bringing Runtime Verification Home.
Proceedings of the Runtime Verification - 18th International Conference, 2018

Can We Monitor All Multithreaded Programs?
Proceedings of the Runtime Verification - 18th International Conference, 2018

COST Action IC1402 Runtime Verification Beyond Monitoring.
Proceedings of the Runtime Verification - 18th International Conference, 2018

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017
Fully automated runtime enforcement of component-based systems with formal and sound recovery.
Int. J. Softw. Tools Technol. Transf., 2017

Predictive runtime verification of timed properties.
J. Syst. Softw., 2017

Predictive runtime enforcement.
Formal Methods Syst. Des., 2017

Formal analysis and offline monitoring of electronic exams.
Formal Methods Syst. Des., 2017

Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation.
Formal Aspects Comput., 2017

Monitoring Distributed Component-Based Systems.
CoRR, 2017

Interactive Runtime Verification.
CoRR, 2017

Runtime enforcement using Büchi games.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Verifying Policy Enforcers.
Proceedings of the Runtime Verification - 17th International Conference, 2017

GREP: Games for the Runtime Enforcement of Properties.
Proceedings of the Testing Software and Systems, 2017

THEMIS: a tool for decentralized monitoring algorithms.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Monitoring decentralized specifications.
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

User-based Load Balancer in HBase.
Proceedings of the CLOSER 2017, 2017

2016
Runtime enforcement of regular timed properties by suppressing and delaying events.
Sci. Comput. Program., 2016

Organising LTL monitors over distributed systems with a global clock.
Formal Methods Syst. Des., 2016

Decentralised LTL monitoring.
Formal Methods Syst. Des., 2016

Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems.
CoRR, 2016

Modularizing Crosscutting Concerns in Component-Based Systems.
Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Third International Competition on Runtime Verification - CRV 2016.
Proceedings of the Runtime Verification - 16th International Conference, 2016

First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Monitoring Multi-threaded Component-Based Systems.
Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Decentralized Enforcement of Artifact Lifecycles.
Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016

2015
Runtime verification: the application perspective.
Int. J. Softw. Tools Technol. Transf., 2015

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.
Softw. Syst. Model., 2015

Enforcement and validation (at runtime) of various notions of opacity.
Discret. Event Dyn. Syst., 2015

Runtime-behavior based malware classification using online machine learning.
Proceedings of the 2015 World Congress on Internet Security, 2015

Runtime enforcement for component-based systems.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Monitoring Electronic Exams.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Second International Competition on Runtime Verification CRV 2015.
Proceedings of the Runtime Verification - 6th International Conference, 2015

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.
Proceedings of the Runtime Verification - 6th International Conference, 2015

Enforcement of (Timed) Properties with Uncontrollable Events.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Dynamic Detection and Mitigation of DMA Races in MPSoCs.
Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014
Runtime enforcement of timed properties revisited.
Formal Methods Syst. Des., 2014

Efficient and Generalized Decentralized Monitoring of Regular Languages.
CoRR, 2014

Runtime Enforcement of Parametric Timed Properties with Practical Applications.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Runtime enforcement of regular timed properties.
Proceedings of the Symposium on Applied Computing, 2014

First International Competition on Software for Runtime Verification.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Blocking Advertisements on Android Devices Using Monitoring Techniques.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Efficient and Generalized Decentralized Monitoring of Regular Languages.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

On the Expressiveness of some Runtime Validation Techniques.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013
A Tutorial on Runtime Verification.
Proceedings of the Engineering Dependable Software Systems, 2013

Fault localization in embedded software based on a single cyclic trace.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Compressing Microcontroller Execution Traces to Assist System Analysis.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Runtime enforcement of K-step opacity.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012
What can you verify and enforce at runtime?
Int. J. Softw. Tools Technol. Transf., 2012

More testable properties.
Int. J. Softw. Tools Technol. Transf., 2012

Runtime Enforcement of Timed Properties.
Proceedings of the Runtime Verification, Third International Conference, 2012

Runtime Verification and Enforcement for Android Applications with RV-Droid.
Proceedings of the Runtime Verification, Third International Conference, 2012

Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud.
Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Behavioral Specification Based Runtime Monitors for OSGi Services.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Towards Certified Runtime Verification.
Proceedings of the Formal Methods and Software Engineering, 2012

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.
Proceedings of the FM 2012: Formal Methods, 2012

2011
Runtime enforcement monitors: composition, synthesis, and enforcement abilities.
Formal Methods Syst. Des., 2011

Runtime Verification of Component-Based Systems.
Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010
Towards Automatic Integration of Or-BAC Security Policies Using Aspects.
Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

You Should Better Enforce Than Verify.
Proceedings of the Runtime Verification - First International Conference, 2010

2009
Etude et mise en œuvre de techniques de validation à l'exécution. (Study and implementation of runtime validation techniques).
PhD thesis, 2009

Enforcement monitoring wrt. the safety-progress classification of properties.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Runtime Verification of Safety-Progress Properties.
Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008
j-POST: a Java Toolchain for Property-Oriented Software Testing.
Electron. Notes Theor. Comput. Sci., 2008

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
Proceedings of the Information Systems Security, 4th International Conference, 2008

2007
A Compositional Testing Framework Driven by Partial Specifications.
Proceedings of the Testing of Software and Communicating Systems, 2007

2006
A Test Calculus Framework Applied to Network Security Policies.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006


  Loading...