Skip to content
Publications
Journal Papers
- S. Ghilardi and A. Gianola, Modularity Results for Interpolation, Amalgamation and Superamalgamation. Annals of Pure and Applied Logic, Volume 169, n. 8, 2018. (https://www.sciencedirect.com/science/article/pii/S016800721830037X)
- A. Gianola, S. Kasangian, D. Manicardi, N. Sabadini, F. Schiavio, S. Tini. CospanSpan(Graph): a compositional description of the heart system. Fundamenta Informaticae, volume 171 (1-4), 2020. (https://content.iospress.com/articles/fundamenta-informaticae/fi1880)
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin. SMT-based Verification of Data-Aware Processes: a Model-Theoretic Approach. Mathematical Structures in Computer Science. 2020. To appear.
Conference Papers
- S. Ghilardi and A. Gianola, Interpolation, Amalgamation and Combination (the non-disjoint signatures case). Proceedings of FroCoS, pages 316–332, LNAI, Springer, 2017. (https://link.springer.com/chapter/10.1007/978-3-319-66167-4_18)
- A. Gianola, S. Kasangian and N. Sabadini. Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. Proceedings of CALCO, Schloss Dagstuhl: LIPIcs, 2017. (http://drops.dagstuhl.de/opus/volltexte/2017/8053/)
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. Model Completeness, Covers and Superposition. Proceedings of CADE, LNAI, Springer, 2019. (https://link.springer.com/chapter/10.1007/978-3-030-29436-6_9)
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. Formal Modeling and SMT-based Parameterized Verification of Data-Aware BPMN. Proceedings of BPM, LNCS, Springer, 2019. (https://link.springer.com/chapter/10.1007/978-3-030-26619-6_12)
Book Chapters
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. From Model Completeness to Verification of Data Aware Processes. In C. Lutz, U. Sattler, C. Tinelli, A.-Y. Turhan, and F. Wolter, editors, Description Logic, Theory Combination, and All That, pages 212–239, Springer, 2019. (https://link.springer.com/chapter/10.1007/978-3-030-22102-7_10)
Workshop Papers
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. Verification of Data-Aware Processes: Challenges and Opportunities for Automated Reasoning. Proceedings of ARCADE 2019, 2nd International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements. EPTCS, volume 311, pp. 53–58. 2019. (http://eptcs.web.cse.unsw.edu.au/paper.cgi?ARCADE2019.9)
Preprints
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. Verification of Data-Aware Processes via Array-Based Systems (Extended Version). Technical Report arXiv:1806.11459, arXiv.org, 2018. (http://gianola.people.unibz.it/wp-content/uploads/2019/07/Verification.pdf)
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. Quantifier Elimination for Database Driven Verification. Technical Report arXiv:1806.09686, arXiv.org, 2018. (http://gianola.people.unibz.it/wp-content/uploads/2019/07/QE.pdf)
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. Formal Modeling and SMT-based Parameterized Verification of Data-Aware BPMN (Extended Version). Technical Report arXiv:1906.07811, arXiv.org, 2019. (http://gianola.people.unibz.it/wp-content/uploads/2019/07/BPM-long.pdf)
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. Formal Modeling and SMT-based Parameterized Verification of Multi-Case Data-Aware BPMN. Technical Report arXiv:1905.12991, arXiv.org, 2019. (http://gianola.people.unibz.it/wp-content/uploads/2019/07/BPM-long-techrep.pdf)
- D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, and A. Rivkin. Combined Covers and Beth Definability. Technical Report arXiv:1911.07774, arXiv.org, 2019. (http://gianola.people.unibz.it/wp-content/uploads/2019/11/CombinedCovers.pdf)