Stefan Hendricx

Publication Activity (10 Years)

Years Active: 1997-1999
Publications (10 Years): 0

Publications

Stefan Hendricx, Luc J. M. Claesen
Formally Verified Redundancy Removal. DATE (1999)
Stefan Hendricx, Luc J. M. Claesen
Verification of Finite-State-Machine Refinements Using a Symbolic Methodology. CHARME (1999)
Stefan Hendricx, Luc J. M. Claesen
Symbolic Multi-Level Verification of Refinement. Great Lakes Symposium on VLSI (1999)
Stefan Hendricx, Luc J. M. Claesen
A symbolic core approach to the formal verification of integrated mixed-mode applications. ED&TC (1997)