Sledovat
Andrey Rivkin
Andrey Rivkin
Associate professor, Technical University of Denmark
E-mailová adresa ověřena na: dtu.dk
Název
Citace
Citace
Rok
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
782017
Formal modeling and SMT-based parameterized verification of data-aware BPMN
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019
542019
Petri nets with parameterised data: Modelling and verification
S Ghilardi, A Gianola, M Montali, A Rivkin
Business Process Management: 18th International Conference, BPM 2020 …, 2020
532020
Petri net-based object-centric processes with read-only data
S Ghilardi, A Gianola, M Montali, A Rivkin
Information Systems 107, 102011, 2022
472022
CoCoMoT: conformance checking of multi-perspective processes via SMT
P Felli, A Gianola, M Montali, A Rivkin, S Winkler
Business Process Management: 19th International Conference, BPM 2021, Rome …, 2021
452021
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
422020
Model checking Petri nets with names using data-centric dynamic systems
M Montali, A Rivkin
Formal Aspects of Computing 28 (4), 615-641, 2016
342016
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: Essays Dedicated to …, 2019
322019
Model completeness, covers and superposition
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019
292019
Combined covers and Beth definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
252020
Model Completeness, Uniform Interpolants and Superposition Calculus: (With Applications to Verification of Data-Aware Processes)
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Journal of Automated Reasoning 65 (7), 941-969, 2021
212021
Data and process resonance: Identifier soundness for models of information systems
JMEM van der Werf, A Rivkin, A Polyvyanyy, M Montali
International Conference on Applications and Theory of Petri Nets and …, 2022
182022
Delta-BPMN: A concrete language and verifier for data-aware BPMN
S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Business Process Management, 179-196, 2021
182021
Formalizing application integration patterns
D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha
2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018
182018
Combination of uniform interpolants via Beth definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Journal of Automated Reasoning 66 (3), 409-435, 2022
172022
Formal foundations for responsible application integration
D Ritter, S Rinderle-Ma, M Montali, A Rivkin
Information Systems 101, 101439, 2021
162021
There and back again: on the reconstructability and rediscoverability of typed Jackson nets
D Barenholz, M Montali, A Polyvyanyy, HA Reijers, A Rivkin, ...
International Conference on Applications and Theory of Petri Nets and …, 2023
152023
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
152018
Conformance checking with uncertainty via SMT
P Felli, A Gianola, M Montali, A Rivkin, S Winkler
International Conference on Business Process Management, 199-216, 2022
142022
Verification of data-aware processes: Challenges and opportunities for automated reasoning
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Proceedings of the 2nd International Workshop on Automated Reasoning …, 2019
132019
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20