research
∙
06/25/2023
Learning Broadcast Protocols
The problem of learning a computational model from examples has been rec...
share
research
∙
05/17/2023
Automatic and Incremental Repair for Speculative Information Leaks
We present CureSpec, the first model-checking based framework for automa...
research
∙
05/12/2023
Parameterized Verification of Disjunctive Timed Networks
We introduce new techniques for the parameterized verification of disjun...
research
∙
03/07/2023
The Temporal Logic Synthesis Format TLSF v1.2
We present an extension of the Temporal Logic Synthesis Format (TLSF). T...
research
∙
08/26/2022
Synthesis of Distributed Agreement-Based Systems with Efficiently-Decidable Verification (Extended Version)
Distributed agreement-based (DAB) systems use common distributed agreeme...
research
∙
06/01/2022
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
We report on the last four editions of the reactive synthesis competitio...
research
∙
11/05/2021
Parameterized Repair of Concurrent Systems
We present an algorithm for the repair of parameterized systems. The rep...
research
∙
05/11/2020
Validation of Abstract Side-Channel Models for Computer Architectures
Observational models make tractable the analysis of information flow pro...
research
∙
04/10/2020
Parameterized Verification of Systems with Global Synchronization and Guards
Inspired by distributed applications that use consensus or other agreeme...
research
∙
04/09/2020
Parameterized Reasoning for Distributed Systems with Consensus
Programmers make building distributed systems tractable by using a wide ...
research
∙
11/08/2019
Promptness and Bounded Fairness in Concurrent and Parameterized Systems
We investigate the satisfaction of specifications in Prompt Linear Tempo...
research
∙
04/15/2019
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...
research
∙
11/29/2017
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). ...
research
∙
11/28/2017