Catia M. Angelo

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Catia M. Angelo, Luc J. M. Claesen, Hugo De Man
Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL. Formal Methods Syst. Des. 5 (1/2) (1994)
Catia M. Angelo, Luc J. M. Claesen, Hugo De Man
Reasoning About a Class of Linear Systems of Equations in HOL. TPHOLs (1994)
Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man
On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification. Formal Methods Syst. Des. 2 (1) (1993)
Catia M. Angelo, Luc J. M. Claesen, Hugo De Man
Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL. HUG (1993)
Catia M. Angelo, Luc J. M. Claesen, Hugo De Man
The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL. TPHOLs (1992)
Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man
Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis. TPHOLs (1991)