Catia M. Angelo

According to our database, Catia M. Angelo authored at least 6 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1994

Modeling Multi-rate DSP Specification Semantics for Formal Transformational Design in HOL.

Catia M. Angelo, Luc J. M. Claesen, Hugo De Man

Formal Methods Syst. Des., 1994

Reasoning About a Class of Linear Systems of Equations in HOL.

Catia M. Angelo, Luc J. M. Claesen, Hugo De Man

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

On the Comparison of HOL and Boyer-Moore for Formal Hardware Verification.

Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man

Formal Methods Syst. Des., 1993

Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL.

Catia M. Angelo, Luc J. M. Claesen, Hugo De Man

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

1992

The Formal Semantics Definition of a Multi-Rate DSP Specification Language in HOL.

Catia M. Angelo, Luc J. M. Claesen, Hugo De Man

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

1991

Formal Hardware Verification in HOL and in Boyer-Moore: A Comparative Analysis.

Catia M. Angelo, Diederik Verkest, Luc J. M. Claesen, Hugo De Man

Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, 1991