default search action
Andrey Rivkin
Person information
- affiliation: Technical University of Denmark, Kongens Lyngby, Denmark
- affiliation (- 2023): University of Bozen-Bolzano, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]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): 159-207 (2024) - [c31]Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI 2024: 17416-17425 - [c30]Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin:
Data Petri Nets Meet Probabilistic Programming. BPM 2024: 21-38 - [c29]Anti Alman
, Fabrizio Maria Maggi
Towards a Multi-model Paradigm for Business Process Management. CAiSE 2024: 178-194 - [c28]Axel Kjeld Fjelrad Christfort, Andrey Rivkin, Dirk Fahland, Thomas T. Hildebrandt, Tijs Slaats:
Discovery of Object-Centric Declarative Models. ICPM 2024: 121-128 - [c27]Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin:
LogPPL: A Tool for Probabilistic Process Mining. ICPM Doctoral Consortium / Demo 2024 - [i21]Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin:
Data Petri Nets meet Probabilistic Programming (Extended version). CoRR abs/2406.11883 (2024) - [i20]Nikolai M. Suvorov, Irina A. Lomazova, Andrey Rivkin:
Soundness Correction of Data Petri Nets. CoRR abs/2410.21188 (2024) - 2023
- [j11]Anti Alman
Monitoring hybrid process specifications with conflict management: An automata-theoretic approach. Artif. Intell. Medicine 139: 102512 (2023) - [j10]Paolo Felli
Multi-perspective conformance checking of uncertain process traces: An SMT-based approach. Eng. Appl. Artif. Intell. 126: 106895 (2023) - [j9]Paolo Felli, Alessandro Gianola
Data-aware conformance checking with SMT. Inf. Syst. 117: 102230 (2023) - [j8]Anti Alman
A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global-local memory. Inf. Syst. 119: 102271 (2023) - [c26]Daniël Barenholz, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets. Petri Nets 2023: 37-58 - [c25]Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Collaborative sfDECLARE. BPM (Forum) 2023: 55-72 - [c24]Anti Alman
Generating Event Logs from Hybrid Process Models. Business Process Management Workshops 2023: 289-301 - [c23]Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin:
Typed Petri Nets with Variable Arc Weights. Business Process Management Workshops 2023: 483-495 - [c22]Silvio Ghilardi, Alessandro Gianola
Safety Verification and Universal Invariants for Relational Action Bases. IJCAI 2023: 3248-3257 - [i19]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 abs/2303.10039 (2023) - 2022
- [j7]Silvio Ghilardi
Petri net-based object-centric processes with read-only data. Inf. Syst. 107: 102011 (2022) - [j6]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66(3): 409-435 (2022) - [c21]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
A Modular SMT-based Approach for Data-aware Conformance Checking. OVERLAY@AI*IA 2022: 87-92 - [c20]Jan Martijn E. M. van der Werf
Data and Process Resonance - Identifier Soundness for Models of Information Systems. Petri Nets 2022: 369-392 - [c19]Paolo Felli, Alessandro Gianola
Conformance Checking with Uncertainty via SMT. BPM 2022: 199-216 - [c18]Anti Alman
Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE 2022: 319-335 - [i18]Paolo Felli, Alessandro Gianola
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR abs/2206.07461 (2022) - [i17]Silvio Ghilardi, Alessandro Gianola
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR abs/2208.06377 (2022) - [i16]Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy:
Correctness Notions for Petri Nets with Identifiers. CoRR abs/2212.07363 (2022) - [i15]Luca Geatti, Marco Montali, Andrey Rivkin:
Reactive Synthesis for DECLARE via symbolic automata. CoRR abs/2212.10875 (2022) - 2021
- [j5]Daniel Ritter
Formal foundations for responsible application integration. Inf. Syst. 101: 101439 (2021) - [j4]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65(7): 941-969 (2021) - [c17]Silvio Ghilardi, Alessandro Gianola
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM 2021: 179-196 - [c16]Paolo Felli, Alessandro Gianola
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM 2021: 217-234 - [i14]Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version). CoRR abs/2103.10507 (2021) - [i13]Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR abs/2111.13136 (2021) - [i12]Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin:
Soundness in Object-centric Workflow Petri Nets. CoRR abs/2112.14994 (2021) - 2020
- [j3]Diego Calvanese, Silvio Ghilardi
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30(3): 271-313 (2020) - [c15]Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin
Modeling Trading Systems using Petri Net Extensions. PNSE@Petri Nets 2020: 118-137 - [c14]Silvio Ghilardi, Alessandro Gianola
Petri Nets with Parameterised Data - Modelling and Verification. BPM 2020: 55-74 - [c13]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
Combined Covers and Beth Definability. IJCAR (1) 2020: 181-200 - [c12]Marco Montali, Andrey Rivkin
Formalizing Integration Patterns with Multimedia Data. EDOC 2020: 67-76 - [i11]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR abs/2006.06630 (2020) - [i10]Marco Montali, Andrey Rivkin, Daniel Ritter:
Formalizing Integration Patterns with Multimedia Data (Extended Version). CoRR abs/2009.04589 (2020)
2010 – 2019
- 2019
- [c11]Marco Montali, Andrey Rivkin:
From DB-nets to Coloured Petri Nets with Priorities. Petri Nets 2019: 449-469 - [c10]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That 2019: 212-239 - [c9]Andrey Rivkin:
Modeling, Enactment and Verification of Data-Aware Processes. BPM (PhD/Demos) 2019: 41-45 - [c8]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM 2019: 157-175 - [c7]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
Model Completeness, Covers and Superposition. CADE 2019: 142-160 - [c6]Diego Calvanese, Marco Montali, Fabio Patrizi
Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE 2019: 328-345 - [c5]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019 - [i9]Marco Montali, Andrey Rivkin:
From DB-nets to Coloured Petri Nets with Priorities (Extended Version). CoRR abs/1904.00058 (2019) - [i8]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR abs/1905.12991 (2019) - [i7]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR abs/1906.07811 (2019) - [i6]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. CoRR abs/1911.07774 (2019) - 2018
- [c4]Daniel Ritter
Formalizing Application Integration Patterns. EDOC 2018: 11-20 - [i5]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Quantifier Elimination for Database Driven Verification. CoRR abs/1806.09686 (2018) - [i4]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR abs/1806.11459 (2018) - [i3]Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha:
Catalog of Formalized Application Integration Patterns. CoRR abs/1807.03197 (2018) - [i2]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Modelling and Enactment of Data-aware Processes. CoRR abs/1810.08062 (2018) - 2017
- [j2]Marco Montali, Andrey Rivkin
DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases. Trans. Petri Nets Other Model. Concurr. 12: 91-118 (2017) - 2016
- [j1]Marco Montali
Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects Comput. 28(4): 615-641 (2016) - [i1]Marco Montali, Andrey Rivkin:
DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases. CoRR abs/1611.03680 (2016) - 2015
- [c3]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW 2015 - [c2]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD 2015: 60-71 - [c1]Marco Montali
Formal Verification of Petri Nets with Names. WS-FM 2015: 29-47
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: