MOMIGLIANO, ALBERTO DAVIDE ADOLFO
MOMIGLIANO, ALBERTO DAVIDE ADOLFO
Dipartimento di Informatica Giovanni Degli Antoni
The Concurrent Calculi Formalisation Benchmark
2024 M. Carbone, D. Castro-Perez, F. Ferreira, L. Gheri, F. Krogsdal Jacobsen, A. Momigliano, L. Padovani, A. Scalas, D. Tirore, M. Vassor, N. Yoshida, D. Zackon
More Church-Rosser Proofs in BELUGA
2024 A.D.A. Momigliano
Property-Based Testing by Elaborating Proof Outlines
2024 D. Miller, A. Momigliano
A Beluga Formalization of the Harmony Lemma in the pi-Calculus
2024 G. Cecilia, A. Momigliano
More Church-Rosser Proofs in BELUGA
2024 A. Momigliano
Towards Substructural Property-Based Testing
2022 M. Mantovani, A. Momigliano
Two Applications of Logic Programming to Coq
2021 M. Manighetti, D. Miller, A.D.A. Momigliano
MutantChick: Type-Preserving Mutation Analysis for Coq
2020 M. Cavada, A. Colò, A.D.A. Momigliano
Why Proof-Theory Matters in Specification-Based Testing
2020 A.D.A. Momigliano
Property-Based Testing via Proof Reconstruction
2019 R. Blanco, D. Miller, A. Momigliano
The Blame Game for Property-based Testing
2019 A. Momigliano
POPLMark reloaded: Mechanizing proofs by logical relations
2019 A. Abel, G. Allais, A. Hameer, B. Pientka, A. Momigliano, S. Schäfer, K. Stark
Formalizing Program Equivalences in Dependent Type Theory
2019 G. Marabelli, A. Momigliano
A case study in programming coinductive proofs: Howe's method
2018 A. Momigliano, B. Pientka, D. Thibodeau
Property-based testing of the meta-theory of abstract machines: An experience report
2018 F. Komauli, A. Momigliano
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016
2018 C. Fiorentini, A. Momigliano, A. Pettorossi
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
2018 M. Ferrari, C. Fiorentini, A. Momigliano
alphaCheck : A mechanized metatheory model checker
2017 J. Cheney, A. Momigliano
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
2017 A. Felty, A. Momigliano, B. Pientka
LOGI: A didactic tool for a beginners' course in logic (system description)
2017 M. Ornaghi, C. Fiorentini, A. Momigliano