Ghilardi Silvio

Full professor
SSD
MAT/01 - MATHEMATICAL LOGIC
Competition sector
01/A1 - MATHEMATICAL LOGIC, MATHEMATICS EDUCATION AND HISTORY OF MATHEMATICS

Contacts

Workplace

Via Saldini, 50
20133 MILANO (MI)

Office phone number
02503 16142
University email address
Web site
Research

Publications

Publications
  • AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif / J. Castellanos Joo, S. Ghilardi, A. Gianola, D. Kapur (CEUR WORKSHOP PROCEEDINGS). - In: Satisfiability Modulo Theories 2021 / [a cura di] A. Nadel, A. Niemetz. - [s.l] : CEUR-WS.org, 2021. - pp. 40-52 (( convegno 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification(CAV 2021) tenutosi a Los Angeles nel 2021.
  • Interpolation and Amalgamation for Arrays with MaxDiff / S. Ghilardi, A. Gianola, D. Kapur (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Foundations of Software Science and Computation Structures / [a cura di] S. Kiefer, C. Tasson. - [s.l] : Springer, 2021. - ISBN 9783030719944. - pp. 268-288 (( convegno 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 tenutosi a Luxembourg City nel 2021.
  • Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN / S. Ghilardi, A. Gianola, M. Montali, A. Rivkin (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE). - In: Business Process Management / [a cura di] A. Polyvyanyy, M. Thandar Wynn, A. Van Looy, M. Reichert. - [s.l] : Springer, 2021. - ISBN 978-3-030-85468-3. - pp. 179-196 (( Intervento presentato al 19. convegno International Conference, BPM 2021 tenutosi a Roma nel 2021 [10.1007/978-3-030-85469-0_13].
  • SMT-based verification of data-aware processes: a model-theoretic approach / D. Calvanese, S. Ghilardi, A. Gianola, M. Montali, A. Rivkin. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - 30:3(2020 Mar), pp. 271-313.
  • Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems / S. Ghilardi, E. Pagani. - In: JOURNAL OF AUTOMATED REASONING. - ISSN 0168-7433. - 2020(2020). [Epub ahead of print]