| 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 | 38 | 2017 |
| Model checking Petri nets with names using data-centric dynamic systems M Montali, A Rivkin Formal Aspects of Computing 28 (4), 615-641, 2016 | 17 | 2016 |
| 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 | 14 | 2019 |
| 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 | 14 | 2019 |
| 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 | 14 | 2019 |
| 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 | 12 | 2018 |
| Model completeness, covers and superposition D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin International Conference on Automated Deduction, 142-160, 2019 | 11 | 2019 |
| Formalizing application integration patterns D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha 2018 IEEE 22nd International Enterprise Distributed Object Computing …, 2018 | 10 | 2018 |
| Implementing data-centric dynamic systems over a relational DBMS D Calvanese, M Montali, F Patrizi, A Rivkin CEUR-WS, 2015 | 10 | 2015 |
| 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 | 9 | 2020 |
| Quantifier elimination for database driven verification D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin arXiv preprint arXiv:1806.09686, 2018 | 7 | 2018 |
| Combined covers and Beth definability D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin International Joint Conference on Automated Reasoning, 181-200, 2020 | 4 | 2020 |
| From DB-nets to Coloured Petri Nets with Priorities M Montali, A Rivkin International Conference on Applications and Theory of Petri Nets and …, 2019 | 4 | 2019 |
| 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 | 4 | 2019 |
| Petri Nets with Parameterised Data S Ghilardi, A Gianola, M Montali, A Rivkin International Conference on Business Process Management, 55-74, 2020 | 3 | 2020 |
| Formal foundations for responsible application integration D Ritter, S Rinderle-Ma, M Montali, A Rivkin Information Systems, 101439, 2019 | 3 | 2019 |
| Catalog of formalized application integration patterns D Ritter, S Rinderle-Ma, M Montali, A Rivkin, A Sinha arXiv preprint arXiv:1807.03197, 2018 | 3 | 2018 |
| Leveraging Relational Technology for Data-Centric Dynamic Systems. D Calvanese, M Montali, F Patrizi, A Rivkin SEBD, 60-71, 2015 | 2 | 2015 |
| Formal verification of petri nets with names M Montali, A Rivkin Web Services, Formal Methods, and Behavioral Types, 29-47, 2014 | 2 | 2014 |
| Combined covers and Beth definability (extended version) D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin arXiv preprint arXiv:1911.07774, 0 | 2 | |
Marco MontaliAssociate Professor, Free University of Bozen-BolzanoEmail confirmado em inf.unibz.it
