Journal Articles

  1. Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. Petri net-based object-centric processes with read-only data. Information Systems, 2022.
  2. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin. Combination of Uniform Interpolants via Beth Definability. Journal of Automated Reasoning, 2022.
  3. 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.
  4. Daniel Ritter, Stefanie Rinderle-Ma, Marco Montali, and Andrey Rivkin. Formal foundations for responsible application integration. Information Systems, 2021.
  5. 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.
  6. 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.
  7. 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. Jan Martijn E. M. van der Werf, Andrey Rivkin, Artem Polyvyanyy, Marco Montali. Data and Process Resonance – Identifier Soundness for Models of Information Systems. In Luca Bernardinello and Laure Petrucci, editors, Proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS), Lecture Notes in Computer Science. Springer, 2022.
  2. Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler. Conformance Checking with Uncertainty via SMT. In Claudio Di Ciccio, Remco M. Dijkman, Adela del-Río-Ortega and Stefanie Rinderle-Ma, editors, Proceedings of the 20th International Conference on Business Process Management (BPM), Lecture Notes in Computer Science. Springer, 2022.
  3. Anti Alman, Fabrizio Maria Maggi, Marco Montali, Fabio Patrizi, Andrey Rivkin. Multi-model Monitoring Framework for Hybrid Process Specifications. In Xavier Franch, Geert Poels, Frederik Gailly and Monique Snoeck, editors, Proceedings of the 34th International Conference on Advanced Information Systems Engineering (CAiSE), Lecture Notes in Computer Science. Springer, 2022.
  4. 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. 
  5. 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. 
  6. 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.
  7. 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. 
  8. 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.
  9. 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. 
  10. 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.
  11. 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.
  12. 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.
  13. 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. 
  14. 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.
  15. 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.
  16. 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. Paolo Felli, Alessandro Gianola, Marco Montali, Andrey Rivkin, Sarah Winkler. A Modular SMT-based Approach for Data-aware Conformance Checking. In Luca Geatti, Guido Sciavicco and Alessandro Umbrico, editors, Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis (OVERLAY@AI*IA). CEUR, 2022.
  2. 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. 
  3. 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.
  4. 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. 
  5. 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. Jan Martijn E. M. van der Werf, Andrey Rivkin, Marco Montali, Artem Polyvyanyy. Correctness Notions for Petri Nets with Identifiers. CoRR Technical Report 2212.07363, arXiv.org e-Print archive, 2022.
  2. Luca Geatti, Marco Montali, Andrey Rivkin. Reactive Synthesis for DECLARE via symbolic automata. CoRR Technical Report 2212.10875, arXiv.org e-Print archive, 2022.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.