Journal Articles

  1. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. Model Completeness, Uniform Interpolants and Superposition Calculus (with Applications to Verification of Data-Aware Processes). Journal of Automated Reasoning, 2021.
  2. Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, and Andrey Rivkin. Formal foundations for responsible application integration. Information Systems, 2021.
  3. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. SMT-based verification of data-aware processes: a model-theoretic approach. Mathematical Structures in Computer Science, 2020.
  4. Marco Montali, Andrey Rivkin. DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases. Transactions on Petri Nets and Other Models of Concurrency, 2017.
  5. Marco Montali, Andrey Rivkin. Model checking Petri nets with names using data-centric dynamic systems. Formal Aspects of Computing, 2016.

Peer-Reviewed Conference Publications

  1. Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. In Artem Polyvyanyy, Moe Thandar Wynn, Amy Van Looy and Manfred Reichert, editors, Proceedings of the 19th International Conference on Business Process Management (BPM), Lecture Notes in Computer Science. Springer, 2021. 
  2. Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler. CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT. In Artem Polyvyanyy, Moe Thandar Wynn, Amy Van Looy and Manfred Reichert, editors, Proceedings of the 19th International Conference on Business Process Management (BPM), Lecture Notes in Computer Science. Springer, 2021. 
  3. Marco Montali, Andrey Rivkin, and Daniel Ritter. Formalizing Integration Patterns with Multimedia Data. In Remco Dijkman, Rik Eshuis, and Alan Wee-Chung Liew, editors, Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 67-76. IEEE Computer Society Press, 2020.
  4. Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Petri nets with parameterised data: Modelling and verification. In Jörg Becker, Marlon Dumas, Dirk Fahland, and Chiara Ghidini, editors, Proceedings of the 18th International Conference on Business Process Management (BPM), Lecture Notes in Computer Science. Springer, 2020. 
  5. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Combined covers and beth definability. In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, 10th International Joint Conference on Automated Reasoning (IJCAR), Lecture Notes in Computer Science. Springer, 2020.
  6. Marco Montali and Andrey Rivkin. On db-nets and their applications. In International Conference on Software Testing, Machine Learning and Complex Process Analysis (TMPA), Communications in Computer and Information Science. Springer, 2019. 
  7. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. In Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, and Jan Mendling, editors, Proceedings of the 17th International Conference on Business Process Management (BPM), volume 11675 of Lecture Notes in Computer Science, pages 157-175. Springer, 2019.
  8. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Model completeness, covers and superposition. In Pascal Fontaine, editor, Proceedings of the 27th International Conference on Automated Deduction (CADE), volume 11716 of Lecture Notes in Computer Science, pages 142-160. Springer, 2019.
  9. Marco Montali and Andrey Rivkin. From DB-nets to coloured Petri nets with priorities. In Susanna Donatelli and Stefan Haar, editors, Proceedings of the 40th International Conference on Petri Nets (Petri Nets), volume 11522 of Lecture Notes in Computer Science, pages 449-469. Springer, 2019.
  10. Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin. Modeling and in-database management of relational, data-aware processes. In Paolo Giorgini and Barbara Weber, editors, Proceedings of the 31st International Conference on Advanced Information Systems Engineering (CAiSE), volume 11483 of Lecture Notes in Computer Science, pages 328-345. Springer, 2019. 
  11. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. From model completeness to verification of data-aware processes. In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, and Frank Wolter, editors, Description Logic, Theory Combination, and All That – Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of Lecture Notes in Computer Science, pages 212-239. Springer, 2019.
  12. Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, and Aman Sinha. Formalizing application integration patterns. In Pontus Johnson and Selmin Nurcan, editors, Proceedings of the 22nd IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 11-20. IEEE Computer Society Press, 2018.
  13. Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin. Leveraging relational technology for data-centric dynamic systems. In Proceedings of the 23rd Italian Symposium on Advanced Database Systems (SEBD), pages 60-71, 2015. 

Workshop and Non-Peer-Reviewed Publications

  1. Julio Cesar Carrasquel, Irina Lomazova, Andrey Rivkin. Modeling Trading Systems using Petri Net Extensions. In Ekkart Kindler, Michael Köhler-Bußmeier, and Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE). CEUR Electronic Workshop Proceedings, 2020. 
  2. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Model Completeness, Covers and Superposition (Abridged Version). In Alberto Casagrande and Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic (CILC), volume 2396. CEUR Electronic Workshop Proceedings, 2019.
  3. Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin. Implementing data-centric dynamic systems over a relational DBMS. In Andrea Calì and Maria-Esther Vidal, editors, Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW), volume 1378. CEUR Electronic Workshop Proceedings, 2015. 
  4. Marco Montali and Andrey Rivkin. Formal verification of petri nets with names. In Thomas T. Hildebrandt, António Ravara, Jan Martijn van der Werf, and Matthias Weidlich, editors, Proceedings of the 11th International Workshop on Web Services and Formal Methods (WS-FM), volume 9421 of Lecture Notes in Computer Science, pages 29-47. Springer, 2014. 

Technical Reports

  1. Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin. Monitoring Hybrid Process Specifications with Conflict Management: The Automata-theoretic Approach. CoRR Technical Report 2111.13136, arXiv.org e-Print archive, 2021.
  2. Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR Technical Report 2006.06630, arXiv.org e-Print archive, 2020.
  3. Marco Montali, Andrey Rivkin. Formal Modeling and SMT-Based From DB-nets to Coloured Petri Nets with Priorities (Extended Version). CoRR Technical Report 1904.00058, arXiv.org e-Print archive, 2019.
  4. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR Technical Report 1905.12991, arXiv.org e-Print archive, 2019.
  5. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR Technical Report 1906.07811, arXiv.org e-Print archive, 2019.
  6. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Quantifier elimination for database driven verification. CoRR Technical Report 1806.09686, arXiv.org e-Print archive, 2018.
  7. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin. Verification of data-aware processes via array-based systems (extended version). CoRR Technical Report 1806.11459, arXiv.org e-Print archive, 2018.
  8. Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, Andrey Rivkin, and Aman Sinha. Catalog of formalized application integration patterns. CoRR Technical Report 1807.03197, arXiv.org e-Print archive, 2018.
  9. Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin. Modelling and Enactment of Data-aware Processes. CoRR Technical Report 1810.08062, arXiv.org e-Print archive, 2018.