Andrey Rivkin
Andrey Rivkin
Dirección de correo verificada de inf.unibz.it - Página principal
Título
Citado por
Citado por
Año
Db-nets: On the marriage of colored petri nets and relational databases
M Montali, A Rivkin
Transactions on Petri Nets and Other Models of Concurrency XII, 91-118, 2017
402017
Formal modeling and SMT-based parameterized verification of data-aware BPMN
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Business Process Management, 157-175, 2019
172019
Model checking Petri nets with names using data-centric dynamic systems
M Montali, A Rivkin
Formal Aspects of Computing 28 (4), 615-641, 2016
172016
From model completeness to verification of data aware processes
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Description Logic, Theory Combination, and All That, 212-239, 2019
142019
From model completeness to verification of data aware processes
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Description Logic, Theory Combination, and All That, 212-239, 2019
142019
Model completeness, covers and superposition
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Automated Deduction, 142-160, 2019
122019
Verification of data-aware processes via array-based systems (extended version)
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1806.11459, 2018
112018
SMT-based verification of data-aware processes: a model-theoretic approach.
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Math. Struct. Comput. Sci. 30 (3), 271-313, 2020
102020
Formalizing application integration patterns
D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha
2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018
102018
Implementing data-centric dynamic systems over a relational DBMS
D Calvanese, M Montali, F Patrizi, A Rivkin
Alberto Mendelzon International Workshop on Foundations of Data Management, 209, 2015
82015
Petri Nets with Parameterised Data
S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Business Process Management, 55-74, 2020
72020
Quantifier elimination for database driven verification
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1806.09686, 2018
62018
Combined covers and Beth definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Joint Conference on Automated Reasoning, 181-200, 2020
52020
From DB-nets to coloured petri nets with priorities
M Montali, A Rivkin
International Conference on Applications and Theory of Petri Nets and …, 2019
52019
Formal foundations for responsible application integration
D Ritter, S Rinderle-Ma, M Montali, A Rivkin
Information Systems, 101439, 2019
42019
Verification of data-aware processes: Challenges and opportunities for automated reasoning
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
EPTCS 311, 53-58, 2019
32019
Modeling and In-Database Management of Relational, Data-Aware Processes
D Calvanese, M Montali, F Patrizi, A Rivkin
International Conference on Advanced Information Systems Engineering, 328-345, 2019
22019
Catalog of formalized application integration patterns
D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha
arXiv preprint arXiv:1807.03197, 2018
22018
Formalizing integration patterns with multimedia data (extended version)
M Montali, A Rivkin, D Ritter
arXiv preprint arXiv:2009.04589, 2020
12020
Petri nets with parameterised data: modelling and verification (extended version)
S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:2006.06630, 2020
12020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20