Specification and verification of declarative open interaction models : a logic-based approach

von Montali, Marco
Veröffentlicht 2010

Specification and verification of declarative open interaction models : a logic-based approach

von Montali, Marco
Veröffentlicht 2010

On DB-Nets and Their Applications

von Montali, Marco
Veröffentlicht in TMPA (5. : 2019 : Tiflis) Tools and methods of program analysis (2021)

Special section on BPM 2018 selected papers

Veröffentlicht 2021

A SMT-based Implementation for Safety Checking of Parameterized Multi-Agent Systems

von Felli, Paolo
Veröffentlicht in PRIMA (23. : 2020 : Online) PRIMA 2020: principles and practice of multi-agent systems (2021)

Refining Case Models Using Cardinality Constraints

von Haarmann, Stephan
Veröffentlicht in CAiSE (33. : 2021 : Online) Advanced Information Systems Engineering (2021)

Soundness of Data-Aware Processes with Arithmetic Conditions

von Felli, Paolo
Veröffentlicht in CAiSE (34. : 2022 : Löwen) Advanced information systems engineering (2022)

CTL∗ Model Checking for Data-Aware Dynamic Systems with Arithmetic

von Felli, Paolo
Veröffentlicht in IJCAR (11. : 2022 : Haifa) Automated reasoning (2022)

DELPHIC: Practical DEL Planning via Possibilities

von Burigana, Alessandro
Veröffentlicht in JELIA (18. : 2023 : Dresden) Logics in artificial intelligence (2023)

Probabilistic Conformance Checking Based on Declarative Process Models

von Maggi, Fabrizio Maria
Veröffentlicht in CAiSE Forum (2020 : Online) Advanced information systems engineering (2020)

STRATEGY SYNTHESIS FOR DATA-AWARE DYNAMIC SYSTEMS WITH MULTIPLE ACTORS

von Leoni, Massimiliano De
Veröffentlicht in International Conference on Principles of Knowledge Representation and Reasoning (17. : 2020 : Online) 17th International Conference Principles on Knowledge Representation and Reasoning (KR2020) ; Volume 1 of 2 (2021)

SMT Safety Verification of Ontology-Based Processes

von Calvanese, Diego
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

Petri Nets with Parameterised Data

von Ghilardi, Silvio
Veröffentlicht in BPM (Veranstaltung : 18. : 2020 : Online) Business process management (2020)

Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN

von Ghilardi, Silvio
Veröffentlicht in BPM (Veranstaltung : 19. : 2021 : Rom; Online) Business process management (2021)

Monitoring Arithmetic Temporal Properties on Finite Traces

von Felli, Paolo
Veröffentlicht in AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2 (2023)

Reasoning on Labelled Petri Nets and Their Dynamics in a Setting Stochastic Setting

von Leemans, Sander J. J.
Veröffentlicht in BPM (20. : 2022 : Münster (Westf)) Business process management (2022)

Extracting Event Data from Document-Driven Enterprise Systems

von Calvanese, Diego
Veröffentlicht in CAiSE (35. : 2023 : Saragossa) Advanced Information Systems Engineering (2023)

Extending Temporal Business Constraints with Uncertainty

von Maggi, Fabrizio Maria
Veröffentlicht in BPM (Veranstaltung : 18. : 2020 : Online) Business process management (2020)

Aligning Data-Aware Declarative Process Models and Event Logs

von Bergami, Giacomo
Veröffentlicht in BPM (Veranstaltung : 19. : 2021 : Rom; Online) Business process management (2021)

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT

von Felli, Paolo
Veröffentlicht in BPM (Veranstaltung : 19. : 2021 : Rom; Online) Business process management (2021)