Segui
Andrey Rivkin
Andrey Rivkin
Postdoctoral researcher, Free University of Bozen-Bolzano
Email verificata su inf.unibz.it - Home page
Titolo
Citata da
Citata da
Anno
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
592017
Petri nets with parameterised data
S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Business Process Management, 55-74, 2020
372020
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
372019
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 30 (3), 271-313, 2020
272020
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
262019
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
262019
Model checking Petri nets with names using data-centric dynamic systems
M Montali, A Rivkin
Formal Aspects of Computing 28 (4), 615-641, 2016
252016
Model completeness, covers and superposition
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Automated Deduction, 142-160, 2019
232019
Combined covers and Beth definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Joint Conference on Automated Reasoning, 181-200, 2020
152020
Formalizing application integration patterns
D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha
2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018
142018
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
132018
Model completeness, uniform interpolants and superposition calculus
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Journal of Automated Reasoning 65 (7), 941-969, 2021
122021
CoCoMoT: Conformance checking of multi-perspective processes via SMT
P Felli, A Gianola, M Montali, A Rivkin, S Winkler
International Conference on Business Process Management, 217-234, 2021
122021
Formal foundations for responsible application integration
D Ritter, S Rinderle-Ma, M Montali, A Rivkin
Information Systems 101, 101439, 2021
102021
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
92019
Implementing data-centric dynamic systems over a relational DBMS
D Calvanese, M Montali, F Patrizi, A Rivkin
AMW 2015, Alberto Mendelzon Workshop on Foundations of Data Management …, 2015
92015
Verification of data-aware processes: challenges and opportunities for automated reasoning
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Workshop on Automated Reasoning: Challenges, Applications …, 2019
82019
From DB-nets to coloured petri nets with priorities
M Montali, A Rivkin
International Conference on Applications and Theory of Petri Nets and …, 2019
72019
Quantifier elimination for database driven verification
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1806.09686, 2018
72018
Combination of Uniform Interpolants via Beth Definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Journal of Automated Reasoning, 1-27, 2022
62022
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20