Implementing Data-Centric Dynamic Systems over a Relational DBMS. - Diego Calvanese; Marco Montali; Fabio Patrizi; Andrey Rivkin (AMW, 2015)

Leveraging Relational Technology for Data-Centric Dynamic Systems. - Diego Calvanese; Marco Montali; Fabio Patrizi; Andrey Rivkin (SEBD, 2015)

Formal Verification of Petri Nets with Names. - Marco Montali; Andrey Rivkin (WS-FM, 2015)

Model checking Petri nets with names using data-centric dynamic systems. - Marco Montali; Andrey Rivkin (Formal Aspects Comput., 2016)

DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases. - Marco Montali; Andrey Rivkin (Trans. Petri Nets Other Model. Concurr., 2017)

Formalizing Application Integration Patterns. - Daniel Ritter 001; Stefanie Rinderle-Ma; Marco Montali; Andrey Rivkin; Aman Sinha (EDOC, 2018)

Quantifier Elimination for Database Driven Verification. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (CoRR, 2018)

Verification of Data-Aware Processes via Array-Based Systems (Extended Version). - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (CoRR, 2018)

Catalog of Formalized Application Integration Patterns. - Daniel Ritter 001; Stefanie Rinderle-Ma; Marco Montali; Andrey Rivkin; Aman Sinha (CoRR, 2018)

Modelling and Enactment of Data-aware Processes. - Diego Calvanese; Marco Montali; Fabio Patrizi; Andrey Rivkin (CoRR, 2018)

From DB-nets to Coloured Petri Nets with Priorities. - Marco Montali; Andrey Rivkin (Petri Nets, 2019)

From Model Completeness to Verification of Data Aware Processes. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (Description Logic, Theory Combination, and All That, 2019)

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (BPM, 2019)

Modeling, Enactment and Verification of Data-Aware Processes. - Andrey Rivkin (BPM (PhD/Demos), 2019)

Model Completeness, Covers and Superposition. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (CADE, 2019)

Modeling and In-Database Management of Relational, Data-Aware Processes. - Diego Calvanese; Marco Montali; Fabio Patrizi; Andrey Rivkin (CAiSE, 2019)

Model Completeness, Covers and Superposition (Abridged Version). - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (CILC, 2019)

From DB-nets to Coloured Petri Nets with Priorities (Extended Version). - Marco Montali; Andrey Rivkin (CoRR, 2019)

Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (CoRR, 2019)

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (CoRR, 2019)

Modeling Trading Systems using Petri Net Extensions. - Julio Cesar Carrasquel; Irina A. Lomazova; Andrey Rivkin (PNSE@Petri Nets, 2020)

Petri Nets with Parameterised Data - Modelling and Verification. - Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (BPM, 2020)

Combined Covers and Beth Definability. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (IJCAR (1), 2020)

Formalizing Integration Patterns with Multimedia Data. - Marco Montali; Andrey Rivkin; Daniel Ritter 001 (EDOC, 2020)

Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). - Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (CoRR, 2020)

Formalizing Integration Patterns with Multimedia Data (Extended Version). - Marco Montali; Andrey Rivkin; Daniel Ritter 001 (CoRR, 2020)

SMT-based verification of data-aware processes: a model-theoretic approach. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (Math. Struct. Comput. Sci., 2020)

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (BPM, 2021)

Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. - Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (BPM, 2021)

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (CoRR, 2021)

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (CoRR, 2021)

Soundness in Object-centric Workflow Petri Nets. - Irina A. Lomazova; Alexey A. Mitsyuk; Andrey Rivkin (CoRR, 2021)

Formal foundations for responsible application integration. - Daniel Ritter 001; Stefanie Rinderle-Ma; Marco Montali; Andrey Rivkin (Inf. Syst., 2021)

Model Completeness, Uniform Interpolants and Superposition Calculus. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (J. Autom. Reason., 2021)

A Modular SMT-based Approach for Data-aware Conformance Checking. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (OVERLAY@AI*IA, 2022)

Data and Process Resonance - Identifier Soundness for Models of Information Systems. - Jan Martijn E. M. van der Werf; Andrey Rivkin; Artem Polyvyanyy; Marco Montali (Petri Nets, 2022)

Conformance Checking with Uncertainty via SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (BPM, 2022)

Multi-model Monitoring Framework for Hybrid Process Specifications. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (CAiSE, 2022)

Conformance Checking with Uncertainty via SMT (Extended Version). - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (CoRR, 2022)

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). - Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (CoRR, 2022)

Reactive Synthesis for DECLARE via symbolic automata. - Luca Geatti; Marco Montali; Andrey Rivkin (CoRR, 2022)

Petri net-based object-centric processes with read-only data. - Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (Inf. Syst., 2022)

Combination of Uniform Interpolants via Beth Definability. - Diego Calvanese; Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (J. Autom. Reason., 2022)

There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. - Daniël Barenholz; Marco Montali; Artem Polyvyanyy; Hajo A. Reijers; Andrey Rivkin; Jan Martijn E. M. van der Werf (Petri Nets, 2023)

Generating Event Logs from Hybrid Process Models. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Andrey Rivkin (Business Process Management Workshops, 2023)

Foundations of Collaborative sfDECLARE. - Luca Geatti; Marco Montali; Andrey Rivkin (BPM (Forum), 2023)

Typed Petri Nets with Variable Arc Weights. - Irina A. Lomazova; Alexey A. Mitsyuk; Andrey Rivkin (Business Process Management Workshops, 2023)

Safety Verification and Universal Invariants for Relational Action Bases. - Silvio Ghilardi; Alessandro Gianola; Marco Montali; Andrey Rivkin (IJCAI, 2023)

On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version). - Daniël Barenholz; Marco Montali; Artem Polyvyanyy; Hajo A. Reijers; Andrey Rivkin; Jan Martijn E. M. van der Werf (CoRR, 2023)

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (Artif. Intell. Medicine, 2023)

Data-aware conformance checking with SMT. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (Inf. Syst., 2023)

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. - Anti Alman; Fabrizio Maria Maggi; Marco Montali; Fabio Patrizi; Andrey Rivkin (Inf. Syst., 2023)

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. - Paolo Felli; Alessandro Gianola; Marco Montali; Andrey Rivkin; Sarah Winkler (Eng. Appl. Artif. Intell., 2023)

Foundations of Reactive Synthesis for Declarative Process Specifications. - Luca Geatti; Marco Montali; Andrey Rivkin (AAAI, 2024)

Data Petri Nets Meet Probabilistic Programming. - Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin (BPM, 2024)

Towards a Multi-model Paradigm for Business Process Management. - Anti Alman; Fabrizio Maria Maggi; Stefanie Rinderle-Ma; Andrey Rivkin; Karolin Winter (CAiSE, 2024)

Discovery of Object-Centric Declarative Models. - Axel Kjeld Fjelrad Christfort; Andrey Rivkin; Dirk Fahland; Thomas T. Hildebrandt; Tijs Slaats (ICPM, 2024)

LogPPL: A Tool for Probabilistic Process Mining. - Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin (ICPM Doctoral Consortium / Demo, 2024)

Data Petri Nets meet Probabilistic Programming (Extended version). - Martin Kuhn; Joscha Grüger; Christoph Matheja; Andrey Rivkin (CoRR, 2024)

Soundness Correction of Data Petri Nets. - Nikolai M. Suvorov; Irina A. Lomazova; Andrey Rivkin (CoRR, 2024)

Correctness Notions for Petri Nets with Identifiers. - Jan Martijn E. M. van der Werf; Andrey Rivkin; Marco Montali; Artem Polyvyanyy (Fundam. Informaticae, 2024)

Constraint-Based Reasoning and Analysis for BPM: CSP to the Rescue. - Alessandro Gianola; Andrey Rivkin; Mateusz Slazynski (BPM, 2025)