César Sánchez

Antonio Fernández Anta

Antonio Russo

Distributed Ledger Technol. Res. Pract., June, 2024

Realizability modulo theories.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2024

Realizable Continuous-Space Shields for Safe Reinforcement Learning.

[BibT_eX]

[DOI]

CoRR, 2024

Predictable and Performant Reactive Synthesis Modulo Theories via Functional Synthesis.

[BibT_eX]

[DOI]

CoRR, 2024

Shield Synthesis for LTL Modulo Theories.

[BibT_eX]

[DOI]

CoRR, 2024

Fast and Secure Decentralized Optimistic Rollups Using Setchain.

[BibT_eX]

[DOI]

Antonio Fernández Anta

Pedro Moreno-Sanchez

CoRR, 2024

Unifying Asynchronous Logics for Hyperproperties.

[BibT_eX]

[DOI]

CoRR, 2024

Verification-Guided Shielding for Deep Reinforcement Learning.

[BibT_eX]

RLJ, 2024

Monitoring the Future of Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2024

General Anticipatory Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Boolean Abstractions for Realizability Modulo Theories (Extended version).

[BibT_eX]

[DOI]

CoRR, 2023

From Realizability Modulo Theories to Synthesis Modulo Theories Part 1: Dynamic approach.

[BibT_eX]

[DOI]

CoRR, 2023

Retroactive Parametrized Monitoring.

[BibT_eX]

[DOI]

Paloma Pedregal

CoRR, 2023

Decentralized Stream Runtime Verification for Timed Asynchronous Networks.

[BibT_eX]

[DOI]

Luis Miguel Danielsson

IEEE Access, 2023

Efficient Loop Conditions for Bounded Model Checking Hyperproperties.

[BibT_eX]

[DOI]

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

Bounded Model Checking for Asynchronous Hyperproperties.

[BibT_eX]

[DOI]

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

A Stream Runtime Verification Tool with Nested and Retroactive Parametrization.

[BibT_eX]

[DOI]

Paloma Pedregal

Proceedings of the Runtime Verification - 23rd International Conference, 2023

General Anticipatory Monitoring for Temporal Logics on Finite Traces.

[BibT_eX]

[DOI]

Hannes Kallwies

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Efficient Reactive Synthesis Using Mode Decomposition.

[BibT_eX]

[DOI]

Matías Brizzio

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

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

Tableaux for Realizability of Safety Specifications.

[BibT_eX]

[DOI]

Montserrat Hermo

Paqui Lucio

Proceedings of the Formal Methods - 25th International Symposium, 2023

Boolean Abstractions for Realizability Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Runtime verification of real-time event streams using the tool HStriver.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., August, 2022

A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications.

[BibT_eX]

[DOI]

Montserrat Hermo

Paqui Lucio

CoRR, 2022

Anticipatory Recurrent Monitoring with Uncertainty and Assumptions.

[BibT_eX]

[DOI]

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

Transaction Monitoring of Smart Contracts.

[BibT_eX]

[DOI]

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

Monitorability of Expressive Verdicts.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.

[BibT_eX]

[DOI]

Adriano Peron

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

Multi: A Formal Playground for Multi-Smart Contract Interaction.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Formal Methods for Blockchains, 2022

Setchain: Improving Blockchain Scalability with Byzantine Distributed Sets and Barriers.

[BibT_eX]

[DOI]

Antonio Fernández Anta

Antonio Russo

Proceedings of the IEEE International Conference on Blockchain, 2022

Symbolic Runtime Verification for Monitoring Under Uncertainties and Assumptions.

[BibT_eX]

[DOI]

Hannes Kallwies

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Stream runtime verification of real-time event streams with the Striver language.

[BibT_eX]

[DOI]

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

Gray-box monitoring of hyperproperties with an application to privacy.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2021

HyperQube: A QBF-Based Bounded Model Checker for Hyperproperties.

[BibT_eX]

[DOI]

Tzu-Han Hsu

CoRR, 2021

Bounded Model Checking for Hyperproperties.

[BibT_eX]

[DOI]

Tzu-Han Hsu

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

HLola: a Very Functional Tool for Extensible Stream Runtime Verification.

[BibT_eX]

[DOI]

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

Nested Monitors: Monitors as Expressions to Build Monitors.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 21st International Conference, 2021

Asynchronous Extensions of HyperLTL.

[BibT_eX]

[DOI]

Adriano Peron

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Synchronous and asynchronous stream runtime verification.

[BibT_eX]

[DOI]

Proceedings of the VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, 2021

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Robotics and Automation, 2021

HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 24th International Symposium, 2021

A Temporal Logic for Asynchronous Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Runtime verification of real-time event streams under non-synchronized arrival.

[BibT_eX]

[DOI]

Softw. Qual. J., 2020

Unifying the Time-Event Spectrum for Stream Runtime Verification.

[BibT_eX]

[DOI]

Luis Miguel Danielsson

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

Model Checking Timed Hyperproperties in Discrete-Time Systems.

[BibT_eX]

[DOI]

Pavithra Prabhakar

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Reliable Smart Contracts.

[BibT_eX]

[DOI]

Gordon J. Pace

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Declarative Stream Runtime Verification (hLola).

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

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

Gray-box Monitoring of Hyperproperties (Extended Version).

[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

Runtime Verification for Timed Event Streams with Partial Information.

[BibT_eX]

[DOI]

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

Decentralized Stream Runtime Verification.

[BibT_eX]

[DOI]

Luis Miguel Danielsson

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

Gray-Box Monitoring of Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Verifying Hyperliveness.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Runtime Verification for Decentralised and Distributed Systems.

[BibT_eX]

[DOI]

Adrian Francalanza

Jorge A. Pérez

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

Visibly Linear Temporal Logic.

[BibT_eX]

[DOI]

J. Autom. Reason., 2018

Introduction to the special issue on runtime verification.

[BibT_eX]

[DOI]

Yliès Falcone

Formal Methods Syst. Des., 2018

i2kit: A Tool for Immutable Infrastructure Deployments based on Lightweight Virtual Machines specialized to run Containers.

[BibT_eX]

[DOI]

Pablo Chico de Guzmán

CoRR, 2018

i2kit: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines.

[BibT_eX]

[DOI]

Pablo Chico de Guzmán

Proceedings of the Web Information Systems Engineering - WISE 2018, 2018

TeSSLa: runtime verification of non-synchronized real-time streams.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

Online and Offline Stream Runtime Verification of Synchronous Systems.

[BibT_eX]

[DOI]

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

Striver: Stream Runtime Verification for Real-Time Event-Streams.

[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

Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions.

[BibT_eX]

[DOI]

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

Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.

[BibT_eX]

[DOI]

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

Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications.

[BibT_eX]

[DOI]

Pablo Chico de Guzmán

Proceedings of the 2018 IEEE International Conference on Web Services, 2018

Timed Epistemic Knowledge Bases for Social Networks.

[BibT_eX]

[DOI]

Raúl Pardo

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

Timed Epistemic Knowledge Bases for Social Networks (Extended Version).

[BibT_eX]

[DOI]

Raúl Pardo

CoRR, 2017

Parametrized verification diagrams: temporal verification of symmetric parametrized concurrent systems.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2017

2016

Foundations of Boolean stream runtime verification.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Special issue on temporal representation and reasoning (TIME'13).

[BibT_eX]

[DOI]

Kristen Brent Venable

Esteban Zimányi

Acta Informatica, 2016

Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Specification of Evolving Privacy Policies for Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

2015

Parametrized invariance for infinite state processes.

[BibT_eX]

[DOI]

Acta Informatica, 2015

Algorithms for Model Checking HyperLTL and HyperCTL ^*.

[BibT_eX]

[DOI]

Markus N. Rabe

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Visibly rational expressions.

[BibT_eX]

[DOI]

Acta Informatica, 2014

Parametrized Verification Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Temporal Logics for Hyperproperties.

[BibT_eX]

[DOI]

Michael R. Clarkson

Masoud Koleini

Kristopher K. Micinski

Markus N. Rabe

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

Formal Verification of Skiplists with Arbitrary Many Levels.

[BibT_eX]

[DOI]

Maria-Cristina V. Marinescu

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Abstracting Runtime Heaps for Program Understanding.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Fusing statecharts and java.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

A Decidable Theory of Skiplists of Unbounded Size and Arbitrary Height

[BibT_eX]

[DOI]

CoRR, 2013

Parametrized Invariance for Infinite State Processe.

[BibT_eX]

[DOI]

CoRR, 2013

A Temporal Logic for Hyperproperties.

[BibT_eX]

[DOI]

Markus N. Rabe

CoRR, 2013

2012

Ubiquitous Green Computing Techniques for High Demand Applications in Smart Environments.

[BibT_eX]

[DOI]

Sensors, 2012

Efficient Regular Linear Temporal Logic Using Dualization and Stratification.

[BibT_eX]

[DOI]

Julián Samborski-Forlese

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).

[BibT_eX]

[DOI]

Sriram Sankaranarayanan

Bor-Yuh Evan Chang

Proceedings of the Static Analysis - 19th International Symposium, 2012

How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata.

[BibT_eX]

[DOI]

Julián Samborski-Forlese

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

2011

A Theory of Skiplists with Applications to the Verification of Concurrent Datatypes.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods, 2011

2010

Regular Linear Temporal Logic with Past.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2010

Regular Linear-Time Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the TIME 2010, 2010

Decision Procedures for the Temporal Verification of Concurrent Lists.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2010

Analyzing the Impact of Change in Multi-threaded Programs.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Luca de Alfaro

Vishwanath Raman

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2008

The Reaction Algebra: A Formal Language for Event Correlation.

[BibT_eX]

[DOI]

Proceedings of the Pillars of Computer Science, 2008

2007

Deadlock avoidance for distributed real-time and embedded systems.

[BibT_eX]

[DOI]

PhD thesis, 2007

Generating Efficient Distributed Deadlock Avoidance Controllers.

[BibT_eX]

[DOI]

Henny B. Sipma

Zohar Manna

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Regular Linear Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2007

A Family of Distributed Deadlock Avoidance Protocols and Their Reachable State Spaces.

[BibT_eX]

[DOI]

Henny B. Sipma

Zohar Manna

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

Distributed Priority Inheritance for Real-Time and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Distributed Systems, 10th International Conference, 2006

On efficient distributed deadlock avoidance for real-time and embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Efficient distributed deadlock avoidance with liveness guarantees.

[BibT_eX]

[DOI]

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

LOLA: Runtime Monitoring of Synchronous Systems.

[BibT_eX]

[DOI]

Ben D'Angelo

Sriram Sankaranarayanan

Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 2005

Expressive Completeness of an Event-Pattern Reactive Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

Final Semantics for Event-Pattern Reactive Programs.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2003

Event Correlation: Language and Semantics.

[BibT_eX]

[DOI]