Yliès Falcone

Proceedings of the Fundamental Approaches to Software Engineering, 2023

Monitoring Business Process Compliance Across Multiple Executions with Stream Processing.

[BibT_eX]

[DOI]

Sylvain Hallé

Proceedings of the Enterprise Design, Operations, and Computing. EDOC 2023 Workshops, 2023

Difficulty and Severity-Oriented Metrics for Test Prioritization in Deep Learning Systems.

[BibT_eX]

[DOI]

Hamzah Al-Qadasi

Saddek Bensalem

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2023

2022

Bringing runtime verification home: a case study on the hierarchical monitoring of smart homes using decentralized specifications.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2022

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Logic and Its Applications - 14th International Workshop, 2022

Residual Runtime Verification via Reachability Analysis.

[BibT_eX]

[DOI]

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

Decentralised Runtime Verification of Timed Regular Expressions.

[BibT_eX]

[DOI]

Victor Roussanaly

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

Bounded-Memory Runtime Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Runtime Enforcement for IEC 61499 Applications.

[BibT_eX]

[DOI]

Irman Faqrizal

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Capturing program models with BISM.

[BibT_eX]

[DOI]

Proceedings of the SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25, 2022

Decent: A Benchmark for Decentralized Enforcement.

[BibT_eX]

[DOI]

Florian Gallay

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Runtime Verification of Kotlin Coroutines.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 22nd International Conference, 2022

Probabilistic Analysis of Industrial IoT Applications.

[BibT_eX]

[DOI]

Irman Faqrizal

Proceedings of the 12th International Conference on the Internet of Things, 2022

Probabilistic Model Checking of BPMN Processes at Runtime.

[BibT_eX]

[DOI]

Ahang Zuo

Proceedings of the Integrated Formal Methods - 17th International Conference, 2022

WEASY: A Tool for Modelling Optimised BPMN Processes.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

DeepAbstraction: 2-Level Prioritization for Unlabeled Test Inputs in Deep Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2021

A taxonomy for classifying runtime verification tools.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2021

Decentralized LTL Enforcement.

[BibT_eX]

[DOI]

Florian Gallay

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Efficient and Expressive Bytecode-Level Instrumentation for Java Programs.

[BibT_eX]

[DOI]

CoRR, 2021

On Decentralized Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

Runtime Enforcement with Reordering, Healing, and Suppression.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Monitoring Distributed Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

Semi-automated Modelling of Optimized BPMN Processes.

[BibT_eX]

[DOI]

Ahang Zuo

Proceedings of the IEEE International Conference on Services Computing, 2021

2020

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

Preface to the special section on improving software quality through formal methods.

[BibT_eX]

[DOI]

Leonardo Mariani

Softw. Qual. J., 2020

From global choreographies to verifiable efficient distributed implementations.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2020

Runtime enforcement of timed properties using games.

[BibT_eX]

[DOI]

Matthieu Renard

Antoine Rollet

Formal Aspects Comput., 2020

BISM: Bytecode-Level Instrumentation for Software Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 20th International Conference, 2020

2019

From high-level modeling toward efficient and trustworthy circuits.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2019

Optimal enforcement of (timed) properties with uncontrollable events.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

From Global Choreographies to Provably Correct and Efficient Distributed Implementations.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

International Competition on Runtime Verification (CRV).

[BibT_eX]

[DOI]

Giles Reger

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

On the Runtime Enforcement of Timed Properties.

[BibT_eX]

[DOI]

Srinivas Pinisetty

Proceedings of the Runtime Verification - 19th International Conference, 2019

Detecting Fault Injection Attacks with Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM Workshop on Software Protection, 2019

2018

Runtime Failure Prevention and Reaction.

[BibT_eX]

[DOI]

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

Introduction to Runtime Verification.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Decentralized enforcement of document lifecycle constraints.

[BibT_eX]

[DOI]

Inf. Syst., 2018

Introduction to the special issue on runtime verification.

[BibT_eX]

[DOI]

César Sánchez

Formal Methods Syst. Des., 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Tracing Distributed Component-Based Systems, a Brief Overview.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Bringing Runtime Verification Home.

[BibT_eX]

[DOI]

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

Can We Monitor All Multithreaded Programs?

[BibT_eX]

[DOI]

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

COST Action IC1402 Runtime Verification Beyond Monitoring.

[BibT_eX]

[DOI]

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

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

2017

Fully automated runtime enforcement of component-based systems with formal and sound recovery.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2017

Predictive runtime verification of timed properties.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Predictive runtime enforcement.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2017

Formal analysis and offline monitoring of electronic exams.

[BibT_eX]

[DOI]

Pascal Lafourcade

Formal Methods Syst. Des., 2017

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

[BibT_eX]

[DOI]

Formal Aspects Comput., 2017

Monitoring Distributed Component-Based Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Interactive Runtime Verification.

[BibT_eX]

[DOI]

CoRR, 2017

Runtime enforcement using Büchi games.

[BibT_eX]

[DOI]

Matthieu Renard

Antoine Rollet

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Verifying Policy Enforcers.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 17th International Conference, 2017

GREP: Games for the Runtime Enforcement of Properties.

[BibT_eX]

[DOI]

Matthieu Renard

Antoine Rollet

Proceedings of the Testing Software and Systems, 2017

THEMIS: a tool for decentralized monitoring algorithms.

[BibT_eX]

[DOI]

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

Monitoring decentralized specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

User-based Load Balancer in HBase.

[BibT_eX]

Proceedings of the CLOSER 2017, 2017

2016

Runtime enforcement of regular timed properties by suppressing and delaying events.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Organising LTL monitors over distributed systems with a global clock.

[BibT_eX]

[DOI]

Christian Colombo

Formal Methods Syst. Des., 2016

Decentralised LTL monitoring.

[BibT_eX]

[DOI]

Andreas Bauer

Formal Methods Syst. Des., 2016

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

[BibT_eX]

[DOI]

CoRR, 2016

Modularizing Crosscutting Concerns in Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Third International Competition on Runtime Verification - CRV 2016.

[BibT_eX]

[DOI]

Giles Reger

Sylvain Hallé

Proceedings of the Runtime Verification - 16th International Conference, 2016

First International Summer School on Runtime Verification - As Part of the ArVi COST Action 1402.

[BibT_eX]

[DOI]

Christian Colombo

Proceedings of the Runtime Verification - 16th International Conference, 2016

Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Monitoring Multi-threaded Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Decentralized Enforcement of Artifact Lifecycles.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Enterprise Distributed Object Computing Conference, 2016

2015

Runtime verification: the application perspective.

[BibT_eX]

[DOI]

Lenore D. Zuck

Int. J. Softw. Tools Technol. Transf., 2015

Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

Enforcement and validation (at runtime) of various notions of opacity.

[BibT_eX]

[DOI]

Hervé Marchand

Discret. Event Dyn. Syst., 2015

Runtime-behavior based malware classification using online machine learning.

[BibT_eX]

[DOI]

Abdurrahman Pektas

Tankut Acarman

Proceedings of the 2015 World Congress on Internet Security, 2015

Runtime enforcement for component-based systems.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

TiPEX: A Tool Chain for Timed Property Enforcement During eXecution.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

Monitoring Electronic Exams.

[BibT_eX]

[DOI]

Pascal Lafourcade

Proceedings of the Runtime Verification - 6th International Conference, 2015

Second International Competition on Runtime Verification CRV 2015.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial.

[BibT_eX]

[DOI]

Philip Daian

Patrick O'Neil Meredith

Traian-Florin Serbanuta

Shinichi Shiraishi

Akihito Iwai

Grigore Rosu

Proceedings of the Runtime Verification - 6th International Conference, 2015

Enforcement of (Timed) Properties with Uncontrollable Events.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Dynamic Detection and Mitigation of DMA Races in MPSoCs.

[BibT_eX]

[DOI]

Selma Saidi

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2014

Runtime enforcement of timed properties revisited.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2014

Efficient and Generalized Decentralized Monitoring of Regular Languages.

[BibT_eX]

[DOI]

Tom Cornebize

CoRR, 2014

Runtime Enforcement of Parametric Timed Properties with Practical Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Runtime enforcement of regular timed properties.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Applied Computing, 2014

First International Competition on Software for Runtime Verification.

[BibT_eX]

[DOI]

Borzoo Bonakdarpour

Proceedings of the Runtime Verification - 5th International Conference, 2014

Blocking Advertisements on Android Devices Using Monitoring Techniques.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Efficient and Generalized Decentralized Monitoring of Regular Languages.

[BibT_eX]

[DOI]

Tom Cornebize

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2014

On the Expressiveness of some Runtime Validation Techniques.

[BibT_eX]

[DOI]

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

A Tutorial on Runtime Verification.

[BibT_eX]

[DOI]

Klaus Havelund

Giles Reger

Proceedings of the Engineering Dependable Software Systems, 2013

Fault localization in embedded software based on a single cyclic trace.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Compressing Microcontroller Execution Traces to Assist System Analysis.

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Runtime enforcement of K-step opacity.

[BibT_eX]

[DOI]

Hervé Marchand

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

2012

What can you verify and enforce at runtime?

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

More testable properties.

[BibT_eX]

[DOI]

Thierry Jéron

Hervé Marchand

Int. J. Softw. Tools Technol. Transf., 2012

Runtime Enforcement of Timed Properties.

[BibT_eX]

[DOI]

Omer Landry Nguena-Timo

Proceedings of the Runtime Verification, Third International Conference, 2012

Runtime Verification and Enforcement for Android Applications with RV-Droid.

[BibT_eX]

[DOI]

Sebastian Currea

Proceedings of the Runtime Verification, Third International Conference, 2012

Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud.

[BibT_eX]

[DOI]

Sebastian Currea

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Behavioral Specification Based Runtime Monitors for OSGi Services.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Towards Certified Runtime Verification.

[BibT_eX]

[DOI]

Jan Olaf Blech

Klaus Becker

Proceedings of the Formal Methods and Software Engineering, 2012

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

2011

Runtime enforcement monitors: composition, synthesis, and enforcement abilities.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2011

Runtime Verification of Component-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Towards Automatic Integration of Or-BAC Security Policies Using Aspects.

[BibT_eX]

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

You Should Better Enforce Than Verify.

[BibT_eX]

[DOI]

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

[BibT_eX]

[DOI]

PhD thesis, 2009

Enforcement monitoring wrt. the safety-progress classification of properties.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Runtime Verification of Safety-Progress Properties.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

j-POST: a Java Toolchain for Property-Oriented Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Fourth Workshop on Model Based Testing, 2008

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Security, 4th International Conference, 2008

2007

A Compositional Testing Framework Driven by Partial Specifications.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2007

2006

A Test Calculus Framework Applied to Network Security Policies.

[BibT_eX]

[DOI]