Follow
Alessandro Gianola
Title
Cited by
Cited by
Year
Formal modeling and SMT-based parameterized verification of data-aware BPMN
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Business Process Management, 157-175, 2019
352019
Petri nets with parameterised data
S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Business Process Management, 55-74, 2020
322020
SMT-based verification of data-aware processes: a model-theoretic approach
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Mathematical Structures in Computer Science 30 (3), 271-313, 2020
252020
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
252019
Model completeness, covers and superposition
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Conference on Automated Deduction, 142-160, 2019
232019
Modularity results for interpolation, amalgamation and superamalgamation
S Ghilardi, A Gianola
Annals of Pure and Applied Logic 169 (8), 731-754, 2018
162018
Combined covers and Beth definability
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Joint Conference on Automated Reasoning, 181-200, 2020
132020
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
132018
Interpolation, amalgamation and combination (the non-disjoint signatures case)
S Ghilardi, A Gianola
International Symposium on Frontiers of Combining Systems, 316-332, 2017
132017
Model completeness, uniform interpolants and superposition calculus
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
Journal of Automated Reasoning 65 (7), 941-969, 2021
102021
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
92017
CoCoMoT: Conformance checking of multi-perspective processes via SMT
P Felli, A Gianola, M Montali, A Rivkin, S Winkler
International Conference on Business Process Management, 217-234, 2021
82021
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations⋆
S Ghilardi, A Gianola, D Kapur
82020
Verification of data-aware processes: challenges and opportunities for automated reasoning
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
International Workshop on Automated Reasoning: Challenges, Applications …, 2019
82019
Compactly representing uniform interpolants for EUF using (conditional) DAGS
S Ghilardi, A Gianola, D Kapur
arXiv preprint arXiv:2002.09784, 2020
72020
Quantifier elimination for database driven verification
D Calvanese, S Ghilardi, A Gianola, M Montali, A Rivkin
arXiv preprint arXiv:1806.09686, 2018
72018
Interpolation and Amalgamation for Arrays with MaxDiff.
S Ghilardi, A Gianola, D Kapur
FoSSaCS, 268-288, 2021
62021
A canonical algebra of open transition systems
ED Lavore, A Gianola, M Román, N Sabadini, P Sobociński
International Conference on Formal Aspects of Component Software, 63-81, 2021
52021
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
52020
Uniform Interpolants in EUF: Algorithms using DAG-representations
D Kapur, A Gianola, S Ghilardi
Logical Methods in Computer Science 18, 2022
42022
The system can't perform the operation now. Try again later.
Articles 1–20