research
∙
07/31/2023
Decidable Fragments of LTLf Modulo Theories (Extended Version)
We study Linear Temporal Logic Modulo Theories over Finite Traces (LTLfM...
share
research
∙
08/12/2022
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version)
Modeling and verification of dynamic systems operating over a relational...
research
∙
06/15/2022
Conformance Checking with Uncertainty via SMT (Extended Version)
Logs of real-life processes often feature uncertainty pertaining the rec...
research
∙
04/28/2022
Linear Temporal Logic Modulo Theories over Finite Traces (Extended Version)
This paper studies Linear Temporal Logic over Finite Traces (LTLf) where...
research
∙
04/25/2022
General Interpolation and Strong Amalgamation for Contiguous Arrays
Interpolation is an essential tool in software verification, where first...
research
∙
08/27/2021
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version)
In the context of verification of data-aware processes (DAPs), a formal ...
research
∙
03/18/2021
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)
Conformance checking is a key process mining task for comparing the expe...
research
∙
10/20/2020
A canonical algebra of open transition systems
Feedback and state are closely interrelated concepts. Categories with fe...
research
∙
10/14/2020
Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version)
In this paper, the theory of McCarthy's extensional arrays enriched with...
research
∙
08/11/2020
SMT-based Safety Verification of Parameterised Multi-Agent Systems
In this paper we study the verification of parameterised multi-agent sys...
research
∙
06/11/2020
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
During the last decade, various approaches have been put forward to inte...
research
∙
02/22/2020
Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS
The concept of a uniform interpolant for a quantifier-free formula from ...
research
∙
11/18/2019
Combined Covers and Beth Definability
In ESOP 2008, Gulwani and Musuvathi introduced a notion of cover and exp...
research
∙
06/01/2019
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)
We propose DAB -- a data-aware extension of BPMN where the process opera...
research
∙
06/01/2019
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN
We propose DAB -- a data-aware extension of BPMN where the process opera...
research
∙
05/30/2019
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN
We propose DAB -- a data-aware extension of the BPMN de-facto standard w...
research
∙
06/29/2018
Verification of Data-Aware Processes via Array-Based Systems (Extended Version)
We study verification over a general model of data-aware processes, to a...
research
∙
06/25/2018