Stefan Hendricx

According to our database, Stefan Hendricx authored at least 4 papers between 1997 and 1999.

Collaborative distances:

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

1999

Symbolic Multi-Level Verification of Refinement.

Stefan Hendricx, Luc J. M. Claesen

Proceedings of the 9th Great Lakes Symposium on VLSI (GLS-VLSI '99), 1999

Formally Verified Redundancy Removal.

Stefan Hendricx, Luc J. M. Claesen

Proceedings of the 1999 Design, 1999

Verification of Finite-State-Machine Refinements Using a Symbolic Methodology.

Stefan Hendricx, Luc J. M. Claesen

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1997

A symbolic core approach to the formal verification of integrated mixed-mode applications.

Stefan Hendricx, Luc J. M. Claesen

Proceedings of the European Design and Test Conference, 1997