default search action

combined dblp search
author search
venue search
publication search

ask others

Andrey Rivkin

> Home > Persons

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

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fuin/WerfRMP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/WerfRMP24
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/GeattiMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/GeattiMR24
Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Reactive Synthesis for Declarative Process Specifications. AAAI 2024: 17416-17425
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/KuhnGMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/KuhnGMR24
Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin:
Data Petri Nets Meet Probabilistic Programming. BPM 2024: 21-38
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/AlmanMRRW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/AlmanMRRW24
Anti Alman, Fabrizio Maria Maggi, Stefanie Rinderle-Ma, Andrey Rivkin, Karolin Winter:
Towards a Multi-model Paradigm for Business Process Management. CAiSE 2024: 178-194
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icpm/ChristfortRFHS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpm/ChristfortRFHS24
Axel Kjeld Fjelrad Christfort, Andrey Rivkin, Dirk Fahland, Thomas T. Hildebrandt, Tijs Slaats:
Discovery of Object-Centric Declarative Models. ICPM 2024: 121-128
[c27]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/icpm/KuhnGMR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpm/KuhnGMR24
Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin:
LogPPL: A Tool for Probabilistic Process Mining. ICPM Doctoral Consortium / Demo 2024
[i20]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-11883
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-11883
Martin Kuhn, Joscha Grüger, Christoph Matheja, Andrey Rivkin:
Data Petri Nets meet Probabilistic Programming (Extended version). CoRR abs/2406.11883 (2024)
2023
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/artmed/AlmanMMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/artmed/AlmanMMPR23
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: 102512 (2023)
[j10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/eaai/FelliGMRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eaai/FelliGMRW23
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: 106895 (2023)
[j9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/is/FelliGMRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/FelliGMRW23
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
Data-aware conformance checking with SMT. Inf. Syst. 117: 102230 (2023)
[j8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/is/AlmanMMPR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/AlmanMMPR23
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: 102271 (2023)
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/BarenholzMPRRW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BarenholzMPRRW23
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: 37-58
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/GeattiMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/GeattiMR23
Luca Geatti, Marco Montali, Andrey Rivkin:
Foundations of Collaborative sfDECLARE. BPM (Forum) 2023: 55-72
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/AlmanMMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/AlmanMMR23
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Andrey Rivkin:
Generating Event Logs from Hybrid Process Models. Business Process Management Workshops 2023: 289-301
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/LomazovaMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/LomazovaMR23
Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin:
Typed Petri Nets with Variable Arc Weights. Business Process Management Workshops 2023: 483-495
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/GhilardiGMR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/GhilardiGMR23
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Safety Verification and Universal Invariants for Relational Action Bases. IJCAI 2023: 3248-3257
[i19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-10039
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-10039
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]
- view
  authority control:
- export record
  dblp key:
  - journals/is/GhilardiGMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/GhilardiGMR22
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri net-based object-centric processes with read-only data. Inf. Syst. 107: 102011 (2022)
[j6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/CalvaneseGGMR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CalvaneseGGMR22
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66(3): 409-435 (2022)
[c21]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/aiia/FelliGMRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiia/FelliGMRW22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/WerfRPM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WerfRPM22
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: 369-392
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/FelliGMRW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/FelliGMRW22
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
Conformance Checking with Uncertainty via SMT. BPM 2022: 199-216
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/AlmanMMPR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/AlmanMMPR22
Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Multi-model Monitoring Framework for Hybrid Process Specifications. CAiSE 2022: 319-335
[i18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-07461
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-07461
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
Conformance Checking with Uncertainty via SMT (Extended Version). CoRR abs/2206.07461 (2022)
[i17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-06377
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-06377
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Relational Action Bases: Formalization, Effective Safety Verification, and Invariants (Extended Version). CoRR abs/2208.06377 (2022)
[i16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-07363
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-07363
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2212-10875
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2212-10875
Luca Geatti, Marco Montali, Andrey Rivkin:
Reactive Synthesis for DECLARE via symbolic automata. CoRR abs/2212.10875 (2022)
2021
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/is/RitterRMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/is/RitterRMR21
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin:
Formal foundations for responsible application integration. Inf. Syst. 101: 101439 (2021)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/CalvaneseGGMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/CalvaneseGGMR21
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65(7): 941-969 (2021)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/GhilardiGMR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/GhilardiGMR21
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM 2021: 179-196
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/FelliGMRW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/FelliGMRW21
Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler:
CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. BPM 2021: 217-234
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2103-10507
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2103-10507
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2111-13136
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2111-13136
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2112-14994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14994
Irina A. Lomazova, Alexey A. Mitsyuk, Andrey Rivkin:
Soundness in Object-centric Workflow Petri Nets. CoRR abs/2112.14994 (2021)
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CalvaneseGGMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CalvaneseGGMR20
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): 271-313 (2020)
[c15]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/CarrasquelLR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/CarrasquelLR20
Julio Cesar Carrasquel, Irina A. Lomazova, Andrey Rivkin:
Modeling Trading Systems using Petri Net Extensions. PNSE@Petri Nets 2020: 118-137
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/GhilardiGMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/GhilardiGMR20
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data - Modelling and Verification. BPM 2020: 55-74
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CalvaneseGGMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CalvaneseGGMR20
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. IJCAR (1) 2020: 181-200
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/MontaliR020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/MontaliR020
Marco Montali, Andrey Rivkin, Daniel Ritter:
Formalizing Integration Patterns with Multimedia Data. EDOC 2020: 67-76
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2006-06630
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-06630
Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR abs/2006.06630 (2020)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2009-04589
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-04589
Marco Montali, Andrey Rivkin, Daniel Ritter:
Formalizing Integration Patterns with Multimedia Data (Extended Version). CoRR abs/2009.04589 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/apn/MontaliR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MontaliR19
Marco Montali, Andrey Rivkin:
From DB-nets to Coloured Petri Nets with Priorities. Petri Nets 2019: 449-469
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CalvaneseGGMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CalvaneseGGMR19
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: 212-239
[c9]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/bpm/Rivkin19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/Rivkin19
Andrey Rivkin:
Modeling, Enactment and Verification of Data-Aware Processes. BPM (PhD/Demos) 2019: 41-45
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/CalvaneseGGMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/CalvaneseGGMR19
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM 2019: 157-175
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/CalvaneseGGMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/CalvaneseGGMR19
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition. CADE 2019: 142-160
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/CalvaneseMPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/CalvaneseMPR19
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE 2019: 328-345
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/cilc/CalvaneseGGMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cilc/CalvaneseGGMR19
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1904-00058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-00058
Marco Montali, Andrey Rivkin:
From DB-nets to Coloured Petri Nets with Priorities (Extended Version). CoRR abs/1904.00058 (2019)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1905-12991
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-12991
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1906-07811
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-07811
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1911-07774
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1911-07774
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. CoRR abs/1911.07774 (2019)
2018
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/edoc/0001RMRS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/edoc/0001RMRS18
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha:
Formalizing Application Integration Patterns. EDOC 2018: 11-20
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-09686
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-09686
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Quantifier Elimination for Database Driven Verification. CoRR abs/1806.09686 (2018)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1806-11459
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-11459
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]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1807-03197
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-03197
Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, Aman Sinha:
Catalog of Formalized Application Integration Patterns. CoRR abs/1807.03197 (2018)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1810-08062
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1810-08062
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Modelling and Enactment of Data-aware Processes. CoRR abs/1810.08062 (2018)
2017
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/topnoc/MontaliR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/topnoc/MontaliR17
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]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fac/MontaliR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/MontaliR16
Marco Montali, Andrey Rivkin:
Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects Comput. 28(4): 615-641 (2016)
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/MontaliR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MontaliR16
Marco Montali, Andrey Rivkin:
DB-Nets: on The Marriage of Colored Petri Nets and Relational Databases. CoRR abs/1611.03680 (2016)
2015
[c3]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/amw/CalvaneseMPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amw/CalvaneseMPR15
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW 2015
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/sebd/CalvaneseMPR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sebd/CalvaneseMPR15
Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD 2015: 60-71
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/wsfm/MontaliR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wsfm/MontaliR15
Marco Montali, Andrey Rivkin:
Formal Verification of Petri Nets with Names. WS-FM 2015: 29-47

Coauthor Index

see FAQ

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.