Andrey Rivkin

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 57

Top Topics

Dynamic Systems

Quantifier Elimination

Top Venues

Publications

Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy
Correctness Notions for Petri Nets with Identifiers. Fundam. Informaticae 190 (2-4) (2024)
Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin
Data Petri Nets meet Probabilistic Programming (Extended version). CoRR (2024)
Luca Geatti, Marco Montali, Andrey Rivkin
Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI (2024)
Anti Alman, Fabrizio Maria Maggi, Stefanie Rinderle-Ma, Andrey Rivkin, Karolin Winter
Towards a Multi-model Paradigm for Business Process Management. CAiSE (2024)
Luca Geatti, Marco Montali, Andrey Rivkin
Foundations of Collaborative sfDECLARE. BPM (Forum) (2023)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Andrey Rivkin
Generating Event Logs from Hybrid Process Models. Business Process Management Workshops (2023)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. Artif. Intell. Medicine 139 (2023)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. 119 (2023)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Safety Verification and Universal Invariants for Relational Action Bases. IJCAI (2023)
Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Petri Nets (2023)
Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf
On the Reconstructability and Rediscoverability of Typed Jackson Nets (Extended Version). CoRR (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. Eng. Appl. Artif. Intell. 126 (2023)
Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
Typed Petri Nets with Variable Arc Weights. Business Process Management Workshops (2023)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Data-aware conformance checking with SMT. Inf. Syst. 117 (2023)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Petri net-based object-centric processes with read-only data. Inf. Syst. 107 (2022)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66 (3) (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT. BPM (2022)
Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali
Data and Process Resonance - Identifier Soundness for Models of Information Systems. Petri Nets (2022)
Luca Geatti, Marco Montali, Andrey Rivkin
Reactive Synthesis for DECLARE via symbolic automata. CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA (2022)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE (2022)
Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy
Correctness Notions for Petri Nets with Identifiers. CoRR (2022)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR (2022)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR (2022)
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR (2021)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM (2021)
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR (2021)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65 (7) (2021)
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin
Formal foundations for responsible application integration. Inf. Syst. 101 (2021)
Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin
Soundness in Object-centric Workflow Petri Nets. CoRR (2021)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM (2021)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Combined Covers and Beth Definability. IJCAR (1) (2020)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30 (3) (2020)
Marco Montali, Andrey Rivkin, Daniel Ritter
Formalizing Integration Patterns with Multimedia Data. EDOC (2020)
Marco Montali, Andrey Rivkin, Daniel Ritter
Formalizing Integration Patterns with Multimedia Data (Extended Version). CoRR (2020)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Petri Nets with Parameterised Data - Modelling and Verification. BPM (2020)
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR (2020)
Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin
Modeling Trading Systems using Petri Net Extensions. PNSE@Petri Nets (2020)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Model Completeness, Covers and Superposition. CADE (2019)
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Combined Covers and Beth Definability. CoRR (2019)
Andrey Rivkin
Modeling, Enactment and Verification of Data-Aware Processes. BPM (PhD/Demos) (2019)
Marco Montali, Andrey Rivkin
From DB-nets to Coloured Petri Nets with Priorities (Extended Version). CoRR (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR (2019)
Marco Montali, Andrey Rivkin
From DB-nets to Coloured Petri Nets with Priorities. Petri Nets (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That (2019)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Model Completeness, Covers and Superposition (Abridged Version). CILC (2019)
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Modelling and Enactment of Data-aware Processes. CoRR (2018)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR (2018)
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha
Catalog of Formalized Application Integration Patterns. CoRR (2018)
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha
Formalizing Application Integration Patterns. EDOC (2018)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
Quantifier Elimination for Database Driven Verification. CoRR (2018)
Marco Montali, Andrey Rivkin
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases. Trans. Petri Nets Other Model. Concurr. 12 (2017)
Marco Montali, Andrey Rivkin
Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects Comput. 28 (4) (2016)
Marco Montali, Andrey Rivkin
DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases. CoRR (2016)
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD (2015)
Marco Montali, Andrey Rivkin
Formal Verification of Petri Nets with Names. WS-FM (2015)
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW (2015)