research
∙
05/17/2023
Function synthesis for maximizing model counting
Given a boolean formula Φ(X, Y, Z), the Max#SAT problem asks for finding...
share
research
∙
05/20/2022
Correct by Design Coordination of Autonomous Driving Systems
The paper proposes a method for the correct by design coordination of au...
research
∙
04/26/2022
On an Invariance Problem for Parameterized Concurrent Systems
We consider concurrent systems consisting of replicated finite-state pro...
research
∙
02/19/2022
Decision Problems in a Logic for Reasoning about Reconfigurable Distributed Systems
We consider a logic used to describe sets of configurations of distribut...
research
∙
12/15/2021
Verification of Component-based Systems with Recursive Architectures
We study a sound verification method for parametric component-based syst...
research
∙
09/14/2021
Specification and Validation of Autonomous Driving Systems: A Multilevel Semantic Framework
Autonomous Driving Systems (ADS) are critical dynamic reconfigurable age...
research
∙
07/12/2021
Local Reasoning about Parameterized Reconfigurable Distributed Systems
This paper presents a Hoare-style calculus for formal reasoning about re...
research
∙
02/18/2020
Structural Invariants for the Verification of Systems with Parameterized Architectures
We consider parameterized concurrent systems consisting of a finite but ...
research
∙
08/19/2019
Local Reasoning about Parametric and Reconfigurable Component-based Systems
We introduce a logical framework for the specification and verification ...
research
∙
05/25/2018