Alessandro Gianola
Titolo
Citata da
Citata da
Anno
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
122018
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
11*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
11*2019
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
112019
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
11*
Model completeness, covers and superposition
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Automated Deduction, 142-160, 2019
92019
Modularity results for interpolation, amalgamation and superamalgamation
S Ghilardi, A Gianola
Annals of Pure and Applied Logic 169 (8), 731-754, 2018
92018
Interpolation, amalgamation and combination (the non-disjoint signatures case)
S Ghilardi, A Gianola
International Symposium on Frontiers of Combining Systems, 316-332, 2017
82017
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
72020
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
72017
Quantifier elimination for database driven verification
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1806.09686, 2018
62018
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
42019
Combined covers and Beth definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Joint Conference on Automated Reasoning, 181-200, 2020
32020
Compactly representing uniform interpolants for EUF using (conditional) DAGS
S Ghilardi, A Gianola, D Kapur
arXiv preprint arXiv:2002.09784, 2020
32020
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
32020
Compositional modeling of biological systems in CospanSpan (Graph)
A Gianola, S Kasangian, D Manicardi, N Sabadini, S Tini
Proc. of ICTCS, 2020
22020
Combined covers and Beth definability (extended version)
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1911.07774, 0
2
Petri Nets with Parameterised Data
S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Business Process Management, 55-74, 2020
12020
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version)
S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:2006.06630, 2020
12020
A canonical algebra of open transition systems
E Di Lavore, A Gianola, M Román, N Sabadini, P Sobociński
arXiv preprint arXiv:2010.10069, 2020
2020
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20