MOMIGLIANO, ALBERTO DAVIDE ADOLFO
MOMIGLIANO, ALBERTO DAVIDE ADOLFO
Dipartimento di Informatica Giovanni Degli Antoni
Split Decisions: Explicit Contexts for Substructural Languages
2025 D. Zackon, C. Sano, A. Momigliano, B. Pientka
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming
2024 A. Bruni, A. Momigliano
Property-Based Testing by Elaborating Proof Outlines
2024 D. Miller, A. Momigliano
Property-Based Testing by Elaborating Proof Outlines
2024 D. Miller, A. Momigliano
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
A Beluga Formalization of the Harmony Lemma in the π-Calculus
2024 A. Momigliano
More Church-Rosser Proofs in BELUGA
2024 A. Momigliano, M. Sassella
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
Why Proof-Theory Matters in Specification-Based Testing
2020 A.D.A. Momigliano
MutantChick: Type-Preserving Mutation Analysis for Coq
2020 M. Cavada, A. Colò, A.D.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
The Blame Game for Property-based Testing
2019 A. Momigliano
Property-Based Testing via Proof Reconstruction
2019 R. Blanco, D. Miller, 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
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
alphaCheck : A mechanized metatheory model checker
2017 J. Cheney, A. Momigliano