research
∙
12/21/2022
Reactive Synthesis for DECLARE via symbolic automata
Given a specification of linear-time temporal logic interpreted over fin...
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
∙
12/30/2021
Soundness in Object-centric Workflow Petri Nets
Recently introduced Petri net-based formalisms advocate the importance o...
research
∙
11/25/2021
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach
Business process monitoring approaches have thus far mainly focused on m...
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
∙
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
∙
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
∙
03/29/2019
From DB-nets to Coloured Petri Nets with Priorities (Extended Version)
The recently introduced formalism of DB-nets has brought in a new concep...
research
∙
10/18/2018
Modelling and Enactment of Data-aware Processes
During the last two decades, increasing attention has been given to the ...
research
∙
07/06/2018
Catalog of Formalized Application Integration Patterns
Enterprise application integration (EAI) solutions are the centrepiece o...
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