Momigliano Alberto

RICERCATORE CONFERMATO
SSD
INF/01 - INFORMATICA
Settore concorsuale
01/B1 - INFORMATICA

Contatti

Sede di lavoro

Via Celoria, 18

Numero di telefono dell'ufficio
02503 16277
E-mail di ateneo
Sito web
Ricevimento
Venerdì, 16:30 --18
Luogo di ricevimento
4009, Celoria 18
Ricerca

Pubblicazioni

Pubblicazioni
  • Why Proof-Theory Matters in Specification-Based Testing / A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2020 : 21st Italian Conference on Theoretical Computer Science / [a cura di] G. Cordasco, L. Gargano, A.A. Rescigno. - [s.l] : CEUR-WS.org, 2020. - pp. 95-100 (( Intervento presentato al 21. convegno Italian Conference on Theoretical Computer Science tenutosi a Ischia nel 2020.
  • MutantChick: Type-Preserving Mutation Analysis for Coq / M. Cavada, A. Colò, A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: CILC 2020 : Proceedings of CILC 2020 / [a cura di] F. Calimeri, S. Perri, E. Zumpano. - [s.l] : CEUR-WS.org, 2020. - pp. 105-112 (( Intervento presentato al 35. convegno Italian Conference on Computational Logic tenutosi a Rende nel 2020.
  • POPLMark reloaded: Mechanizing proofs by logical relations / A. Abel, G. Allais, A. Hameer, B. Pientka, A. Momigliano, S. Schäfer, K. Stark. - In: JOURNAL OF FUNCTIONAL PROGRAMMING. - ISSN 0956-7968. - 29(2019 Dec 10).
  • 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 Nov 28. - pp. 204-209 (( Intervento presentato al 20. convegno Italian Conference on Theoretical Computer Science tenutosi a Como nel 2019.
  • 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.