MOMIGLIANO, ALBERTO DAVIDE ADOLFO
MOMIGLIANO, ALBERTO DAVIDE ADOLFO
Dipartimento di Informatica Giovanni Degli Antoni
Property-Based Testing by Elaborating Proof Outlines
2024 D. Miller, A. Momigliano
More Church-Rosser Proofs in BELUGA
2024 A. Momigliano, M. Sassella
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
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
Formalizing Program Equivalences in Dependent Type Theory
2019 G. Marabelli, A. Momigliano
The Blame Game for Property-based Testing
2019 A. Momigliano
Property-Based Testing via Proof Reconstruction
2019 R. Blanco, D. Miller, 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
Property-based testing of the meta-theory of abstract machines: An experience report
2018 F. Komauli, A. Momigliano
From Constructivism to Logic Programming: an Homage to Mario Ornaghi
2018 M. Ferrari, C. Fiorentini, A. Momigliano
Special Issue on the 31Th Italian Conference on Computational Logic: CILC 2016
2018 C. Fiorentini, A. Momigliano, A. Pettorossi
A case study in programming coinductive proofs: Howe's method
2018 A. Momigliano, B. Pientka, D. Thibodeau
LOGI: A didactic tool for a beginners' course in logic (system description)
2017 M. Ornaghi, C. Fiorentini, A. Momigliano
Validating the Meta-Theory of Programming Languages (Short Paper)
2017 G. Fachini, A. Momigliano
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
2017 A. Felty, A. Momigliano, B. Pientka
alphaCheck : A mechanized metatheory model checker
2017 J. Cheney, A. Momigliano
Advances in property-based testing for alpha prolog
2016 J. Cheney, A. Momigliano, M. Pessina