Proceedings of the Doctoral Consortium and Demo Track 2024 at the International Conference on Process Mining 2024 co-located with the 6th International Conference on Process Mining (ICPM 2024), 2024

Discovery of Object-Centric Declarative Models.

[BibT_eX]

[DOI]

Axel Kjeld Fjelrad Christfort

Andrey Rivkin

Dirk Fahland

Thomas T. Hildebrandt

Tijs Slaats

Proceedings of the 6th International Conference on Process Mining, 2024

Towards a Multi-model Paradigm for Business Process Management.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2024

Data Petri Nets Meet Probabilistic Programming.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 22nd International Conference, 2024

Foundations of Reactive Synthesis for Declarative Process Specifications.

[BibT_eX]

[DOI]

Luca Geatti

Marco Montali

Andrey Rivkin

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Multi-perspective conformance checking of uncertain process traces: An SMT-based approach.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., November, 2023

A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory.

[BibT_eX]

[DOI]

Inf. Syst., October, 2023

Data-aware conformance checking with SMT.

[BibT_eX]

[DOI]

Inf. Syst., July, 2023

Monitoring hybrid process specifications with conflict management: An automata-theoretic approach.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, May, 2023

On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version).

[BibT_eX]

[DOI]

Jan Martijn E. M. van der Werf

CoRR, 2023

Safety Verification and Universal Invariants for Relational Action Bases.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Typed Petri Nets with Variable Arc Weights.

[BibT_eX]

[DOI]

Irina A. Lomazova

Alexey A. Mitsyuk

Andrey Rivkin

Proceedings of the Business Process Management Workshops, 2023

Foundations of Collaborative sfDECLARE.

[BibT_eX]

[DOI]

Luca Geatti

Marco Montali

Andrey Rivkin

Proceedings of the Business Process Management Forum, 2023

Generating Event Logs from Hybrid Process Models.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management Workshops, 2023

There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets.

[BibT_eX]

[DOI]

Jan Martijn E. M. van der Werf

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Combination of Uniform Interpolants via Beth Definability.

[BibT_eX]

[DOI]

J. Autom. Reason., 2022

Petri net-based object-centric processes with read-only data.

[BibT_eX]

[DOI]

Inf. Syst., 2022

Reactive Synthesis for DECLARE via symbolic automata.

[BibT_eX]

[DOI]

Luca Geatti

Marco Montali

Andrey Rivkin

CoRR, 2022

Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Conformance Checking with Uncertainty via SMT (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2022

Multi-model Monitoring Framework for Hybrid Process Specifications.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2022

Conformance Checking with Uncertainty via SMT.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 20th International Conference, 2022

Data and Process Resonance - Identifier Soundness for Models of Information Systems.

[BibT_eX]

[DOI]

Jan Martijn E. M. van der Werf

Andrey Rivkin

Artem Polyvyanyy

Marco Montali

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022

A Modular SMT-based Approach for Data-aware Conformance Checking.

[BibT_eX]

[DOI]

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

2021

Model Completeness, Uniform Interpolants and Superposition Calculus.

[BibT_eX]

[DOI]

J. Autom. Reason., 2021

Formal foundations for responsible application integration.

[BibT_eX]

[DOI]

Inf. Syst., 2021

Soundness in Object-centric Workflow Petri Nets.

[BibT_eX]

[DOI]

Irina A. Lomazova

Alexey A. Mitsyuk

Andrey Rivkin

CoRR, 2021

Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach.

[BibT_eX]

[DOI]

CoRR, 2021

CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2021

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

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 19th International Conference, 2021

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 19th International Conference, 2021

2020

SMT-based verification of data-aware processes: a model-theoretic approach.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2020

Formalizing Integration Patterns with Multimedia Data (Extended Version).

[BibT_eX]

[DOI]

Marco Montali

Andrey Rivkin

Daniel Ritter

CoRR, 2020

Petri Nets with Parameterised Data: Modelling and Verification (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2020

Formalizing Integration Patterns with Multimedia Data.

[BibT_eX]

[DOI]

Marco Montali

Andrey Rivkin

Daniel Ritter

Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020

Combined Covers and Beth Definability.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

Petri Nets with Parameterised Data - Modelling and Verification.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 18th International Conference, 2020

Modeling Trading Systems using Petri Net Extensions.

[BibT_eX]

[DOI]

Julio Cesar Carrasquel

Irina A. Lomazova

Andrey Rivkin

Proceedings of the International Workshop on Petri Nets and Software Engineering co-located with 41st International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2020), 2020

2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2019

Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN.

[BibT_eX]

[DOI]

CoRR, 2019

From DB-nets to Coloured Petri Nets with Priorities (Extended Version).

[BibT_eX]

[DOI]

Marco Montali

Andrey Rivkin

CoRR, 2019

Model Completeness, Covers and Superposition (Abridged Version).

[BibT_eX]

Proceedings of the 34th Italian Conference on Computational Logic, 2019

Modeling and In-Database Management of Relational, Data-Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2019

Model Completeness, Covers and Superposition.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE 27, 2019

Modeling, Enactment and Verification of Data-Aware Processes.

[BibT_eX]

[DOI]

Andrey Rivkin

Proceedings of the Dissertation Award, 2019

Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN.

[BibT_eX]

[DOI]

Proceedings of the Business Process Management - 17th International Conference, 2019

From Model Completeness to Verification of Data Aware Processes.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

From DB-nets to Coloured Petri Nets with Priorities.

[BibT_eX]

[DOI]

Marco Montali

Andrey Rivkin

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

Modelling and Enactment of Data-aware Processes.

[BibT_eX]

[DOI]

CoRR, 2018

Catalog of Formalized Application Integration Patterns.

[BibT_eX]

[DOI]

CoRR, 2018

Verification of Data-Aware Processes via Array-Based Systems (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

Quantifier Elimination for Database Driven Verification.

[BibT_eX]

[DOI]

CoRR, 2018

Formalizing Application Integration Patterns.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference, 2018

2017

DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases.

[BibT_eX]

[DOI]

Marco Montali

Andrey Rivkin

Trans. Petri Nets Other Model. Concurr., 2017

2016

Model checking Petri nets with names using data-centric dynamic systems.

[BibT_eX]

[DOI]

Marco Montali

Andrey Rivkin

Formal Aspects Comput., 2016

2015

Formal Verification of Petri Nets with Names.

[BibT_eX]

[DOI]

Marco Montali

Andrey Rivkin

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Leveraging Relational Technology for Data-Centric Dynamic Systems.

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Implementing Data-Centric Dynamic Systems over a Relational DBMS.

[BibT_eX]

[DOI]

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

Andrey Rivkin

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...