MOMIGLIANO, ALBERTO DAVIDE ADOLFO
MOMIGLIANO, ALBERTO DAVIDE ADOLFO
Dipartimento di Informatica Giovanni Degli Antoni
A case study in programming coinductive proofs: Howe's method
2018 A. Momigliano, B. Pientka, D. Thibodeau
A constraint satisfaction approach to operative management of aircraft routing
1990 F. Torquati, M. Paltrinieri, A. Momigliano
A constructive approach to testing model transformations
2010 C. Fiorentini, A. Momigliano, M. Ornaghi, I. Poernomo
A constructive object oriented modeling language for information systems
2006 M. Ornaghi, M. Benini, M. Ferrari, C. Fiorentini, A. Momigliano
A definitional approach to primitive recursion over higher order abstract syntax
2003 S.J. Ambler, R.L. Crole, A. Momigliano
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
2003 A. Momigliano, J. Polakow
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity
2002 A. Momigliano, S. Ambler, R.L. Crole
A program logic for resource verification
2004 D. Aspinall, L. Beringer, M. Hofmann, H. Loidl, A. Momigliano
A program logic for resources
2007 D. Aspinall, L. Beringer, M. Hofmann, H. -W. Loidl, A. Momigliano
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
2015 A. Avellone, C. Fiorentini, A. Momigliano
A supposedly fun thing i may have to do again : a HOAS encoding of Howe's method
2012 A. Momigliano
Advances in property-based testing for alpha prolog
2016 J. Cheney, A. Momigliano, M. Pessina
alphaCheck : A mechanized metatheory model checker
2017 J. Cheney, A. Momigliano
An Open Challenge Problem Repository for Systems Supporting Binders
2015 A. Felty, A. Momigliano, B. Pientka
Applying ASP to UML model validation
2009 M. Ornaghi, C. Fiorentini, A. Momigliano, F. Pagano
Automatic Certification of Heap Consumption
2005 L. Beringer, M. Hofmann, A. Momigliano, O. Shkaravska
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
2017 A. Felty, A. Momigliano, B. Pientka
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction
2002 S.J. Ambler, R.L. Crole, A. Momigliano
Constraint-based aircraft routing
1995 M. Paltrinieri, A. Momigliano, F. Torquati
Constructive specifications for compositional units
2005 K.-K. Lau, A. Momigliano, M. Ornaghi