Momigliano Alberto

Research Fellow
SSD
INF/01 - INFORMATICS
Competition sector
01/B1 - INFORMATICS

Contacts

Workplace

Via Celoria, 18

Office phone number
02503 16277
University email address
Web site

Education

Research

Publications
  • Property-Based Testing via Proof Reconstruction / R. Blanco, D. Miller, A. Momigliano - In: PPDP '19 : Proceedings[s.l] : ACM, 2019 Sep 30. - ISBN 9781450372497. - pp. 1-13
  • The Blame Game for Property-based Testing / A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: Italian Conference on Computational Logic / [a cura di] A. Casagrande, E.G. Omodeo. - [s.l] : CEUR-WS.org, 2019 Jul. - pp. 4-13 (( Intervento presentato al 34. convegno Italian Conference on Computational Logic tenutosi a Trieste nel 2019.
  • Formalizing Program Equivalences in Dependent Type Theory / G. Marabelli, A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2019, 20th Italian Conference on Theoretical Computer Science / [a cura di] A. Cherubini, N. Sabadini, S. Tini. - [s.l] : CEUR-WS, 2019. - pp. 204-209 (( Intervento presentato al 20. convegno Italian Conference on Theoretical Computer Science tenutosi a Como nel 2019.
  • A case study in programming coinductive proofs: Howe's method / A. Momigliano, B. Pientka, D. Thibodeau. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - (2018 Oct 31), pp. 1-35. [Epub ahead of print]
  • Property-based testing of the meta-theory of abstract machines: An experience report / F. Komauli, A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: Italian Conference on Computational Logic CILC 2018 / [a cura di] P. Felli, M. Montali. - [s.l] : CEUR, 2018 Oct. - pp. 22-39 (( Intervento presentato al 33. convegno Italian Conference on Computational Logic tenutosi a Bolzano nel 2018.