research
∙
07/28/2023
A Semantic Approach to Decidability in Epistemic Planning (Extended Version)
The use of Dynamic Epistemic Logic (DEL) in multi-agent planning has led...
share
research
∙
07/28/2023
DELPHIC: Practical DEL Planning via Possibilities (Extended Version)
Dynamic Epistemic Logic (DEL) provides a framework for epistemic plannin...
research
∙
06/10/2023
Enjoy the Silence: Analysis of Stochastic Petri Nets with Silent Transitions
Capturing stochastic behaviors in business and work processes is essenti...
research
∙
12/21/2022
Reactive Synthesis for DECLARE via symbolic automata
Given a specification of linear-time temporal logic interpreted over fin...
research
∙
11/30/2022
Monitoring Arithmetic Temporal Properties on Finite Traces
We study monitoring of linear-time arithmetic properties against finite ...
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
∙
05/31/2022
What Can Database Query Processing Do for Instance-Spanning Constraints?
In the last decade, the term instance-spanning constraint has been intro...
research
∙
05/18/2022
CTL* model checking for data-aware dynamic systems with arithmetic
The analysis of complex dynamic systems is a core research topic in form...
research
∙
03/28/2022
Soundness of Data-Aware Processes with Arithmetic Conditions
Data-aware processes represent and integrate structural and behavioural ...
research
∙
03/15/2022
Linear-Time Verification of Data-Aware Dynamic Systems with Arithmetic
Combined modeling and verification of dynamic systems and the data they ...
research
∙
01/30/2022
Augmented Business Process Management Systems: A Research Manifesto
Augmented Business Process Management Systems (ABPMSs) are an emerging c...
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
∙
09/30/2021
Process discovery on deviant traces and other stranger things
As the need to understand and formalise business processes into a model ...
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
∙
07/08/2021
Probabilistic Trace Alignment
Alignments provide sophisticated diagnostics that pinpoint deviations in...
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
∙
12/03/2020
Technical Report: Refining Case Models Using Cardinality Constraints
Traditionally, business process management focuses on structured, impera...
research
∙
12/03/2020
Mapping Patterns for Virtual Knowledge Graphs
Virtual Knowledge Graphs (VKG) constitute one of the most promising para...
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
∙
04/04/2020
Monitoring Constraints and Metaconstraints with Temporal Logics on Finite Traces
Runtime monitoring is one of the central tasks in the area of operationa...
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
∙
03/12/2019
Probabilistic Temporal Logic over Finite Traces (Technical Report)
Temporal logics over finite traces have recently gained attention due to...
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/31/2018
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
The Decision Model and Notation (DMN) is a recent OMG standard for the e...
research
∙
07/31/2018
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledg
The Decision Model and Notation (DMN) is a recent OMG standard for the e...
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
Quantifier Elimination for Database Driven Verification
Running verification tasks in database driven systems requires solving q...
research
∙
04/06/2018
A Holistic Approach for Soundness Verification of Decision-Aware Process Models (extended version)
The last decade has witnessed an increasing transformation in the design...
research
∙
06/17/2016
Abducing Compliance of Incomplete Event Logs
The capability to store data about business processes execution in so-ca...
research
∙
04/30/2015
Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version)
Knowledge and Action Bases (KABs) have been put forward as a semanticall...
research
∙
11/17/2014
Verification of Relational Multiagent Systems with Data Types (Extended Version)
We study the extension of relational multiagent systems (RMASs), where a...
research
∙
04/30/2014
LTLf and LDLf Monitoring: A Technical Report
Runtime monitoring is one of the central tasks to provide operational de...
research
∙
02/04/2014
Description Logic Knowledge and Action Bases
Description logic Knowledge and Action Bases (KAB) are a mechanism for p...
research
∙
08/28/2013
Verification of Semantically-Enhanced Artifact Systems (Extended Version)
Artifact-Centric systems have emerged in the last years as a suitable fr...
research
∙
04/23/2013