Alessandro Gianola
TitoloCitata daAnno
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
62019
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
62018
Model completeness, covers and superposition
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Automated Deduction, 142-160, 2019
52019
Interpolation, amalgamation and combination (the non-disjoint signatures case)
S Ghilardi, A Gianola
International Symposium on Frontiers of Combining Systems, 316-332, 2017
52017
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version)
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1906.07811, 2019
4*2019
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
42019
Modularity results for interpolation, amalgamation and superamalgamation
S Ghilardi, A Gianola
Annals of Pure and Applied Logic 169 (8), 731-754, 2018
42018
Quantifier elimination for database driven verification
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1806.09686, 2018
42018
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
42017
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
4*
Verification of data-aware processes: Challenges and opportunities for automated reasoning
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Proc. of ARCADE. EPTCS, 2019
12019
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
2020
Combined Covers and Beth Definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1911.07774, 2019
2019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–13