Andrey Rivkin
Andrey Rivkin
Geverifieerd e-mailadres voor inf.unibz.it
Titel
Geciteerd door
Geciteerd door
Jaar
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
282017
Model checking Petri nets with names using data-centric dynamic systems
M Montali, A Rivkin
Formal Aspects of Computing 28 (4), 615-641, 2016
162016
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
102019
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
102019
Model completeness, covers and superposition
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Automated Deduction, 142-160, 2019
92019
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
92018
Implementing data-centric dynamic systems over a relational DBMS
D Calvanese, M Montali, F Patrizi, A Rivkin
CEUR-WS, 2015
92015
Formalizing application integration patterns
D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha
2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018
72018
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
62019
Quantifier elimination for database driven verification
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1806.09686, 2018
62018
SMT-based verification of data-aware processes: a model-theoretic approach
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Mathematical Structures in Computer Science. To appear, 2020
42020
Formal modeling and SMT-based parameterized verification of data-aware BPMN (extended version)
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1906.07811, 2019
32019
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
Formal modeling and SMT-based parameterized verification of multi-case data-aware BPMN
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1905.12991, 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
Leveraging Relational Technology for Data-Centric Dynamic Systems.
D Calvanese, M Montali, F Patrizi, A Rivkin
SEBD, 60-71, 2015
22015
Formal verification of petri nets with names
M Montali, A Rivkin
Web Services, Formal Methods, and Behavioral Types, 29-47, 2014
22014
Combined Covers and Beth Definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1911.07774, 2019
12019
From DB-nets to coloured petri nets with priorities (extended version)
M Montali, A Rivkin
arXiv preprint arXiv:1904.00058, 2019
12019
Modelling and Enactment of Data-aware Processes
D Calvanese, M Montali, F Patrizi, A Rivkin
arXiv preprint arXiv:1810.08062, 2018
12018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20