| Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin arXiv preprint arXiv:1905.12991, 2019 | 15* | 2019 |
| 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 …, 0 | 15* | |
| 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 | 13 | 2019 |
| Model completeness, covers and superposition D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin International Conference on Automated Deduction, 142-160, 2019 | 12 | 2019 |
| Modularity results for interpolation, amalgamation and superamalgamation S Ghilardi, A Gianola Annals of Pure and Applied Logic 169 (8), 731-754, 2018 | 11 | 2018 |
| 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 | 11 | 2018 |
| Interpolation, amalgamation and combination (the non-disjoint signatures case) S Ghilardi, A Gianola International Symposium on Frontiers of Combining Systems, 316-332, 2017 | 10 | 2017 |
| 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 | 8 | 2020 |
| Cospan/Span (Graph): an algebra for open, reconfigurable automata networks A Gianola, S Kasangian, N Sabadini 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017), 2017 | 7 | 2017 |
| Petri Nets with Parameterised Data S Ghilardi, A Gianola, M Montali, A Rivkin International Conference on Business Process Management, 55-74, 2020 | 6 | 2020 |
| Quantifier elimination for database driven verification D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin arXiv preprint arXiv:1806.09686, 2018 | 6 | 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 | 5 | 2020 |
| Combined covers and Beth definability (Extended Version) D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin arXiv preprint arXiv:1911.07774, 2020 | 5* | 2020 |
| Compactly representing uniform interpolants for EUF using (conditional) DAGS S Ghilardi, A Gianola, D Kapur arXiv preprint arXiv:2002.09784, 2020 | 3 | 2020 |
| Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations⋆ S Ghilardi, A Gianola, D Kapur | 3 | 2020 |
| CospanSpan (graph): a compositional description of the heart system A Gianola, S Kasangian, D Manicardi, N Sabadini, F Schiavio, S Tini Fundamenta Informaticae 171 (1-4), 221-237, 2020 | 3 | 2020 |
| 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 | 3 | 2019 |
| Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version) S Ghilardi, A Gianola, D Kapur arXiv preprint arXiv:2010.07082, 2020 | 2 | 2020 |
| Compositional modeling of biological systems in CospanSpan (Graph) A Gianola, S Kasangian, D Manicardi, N Sabadini, S Tini Proc. of ICTCS, 2020 | 2 | 2020 |
| Petri nets with parameterised data: modelling and verification (extended version) S Ghilardi, A Gianola, M Montali, A Rivkin arXiv preprint arXiv:2006.06630, 2020 | 1 | 2020 |
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
