Luc J. M. Claesen

Publication Activity (10 Years)

Years Active: 1985-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)
Ronny Martens, Luc J. M. Claesen
Incorporating local consistency information into the online signature verification process. Int. J. Document Anal. Recognit. 1 (2) (1998)
Ronny Martens, Luc J. M. Claesen
On-line Signature Verification: Discrimination Emphasised. ICDAR (1997)
Ronny Martens, Luc J. M. Claesen
Dynamic Programming Optimisation for On-line Signature Verificatio. ICDAR (1997)
Ronny Martens, Luc J. M. Claesen
An Evaluation of Different Handwriting Observation Techniques from a Signature Verification Point of View. BSDIA (1997)
Stefan Hendricx, Luc J. M. Claesen
A symbolic core approach to the formal verification of integrated mixed-mode applications. ED&TC (1997)
Ronny Martens, Luc J. M. Claesen
On-line signature verification by dynamic time-warping. ICPR (1996)
Olivier Thiry, Luc J. M. Claesen
A formal verification technique for embedded software. ICCD (1996)
Luc J. M. Claesen
ED&TC 1995: Simulation versus formal verification. IEEE Des. Test Comput. 12 (2) (1995)
Diederik Verkest, Luc J. M. Claesen, Hugo De Man
A Proof of the Nonrestoring Division Algorithm and its Implementation on an ALU. Formal Methods Syst. Des. 4 (1) (1994)
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)
Mark Genoe, Luc J. M. Claesen, Hugo De Man
A Parallel Method for Functional Verification of Medium and High Throughput DSP Synthesis. ICCD (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)
Luc J. M. Claesen, Joan Daemen, Mark Genoe, G. Peeters
Subterranean: A 600 Mbit/Sec Cryptographic VLSI Chip. ICCD (1993)
Peter De Vijt, Luc J. M. Claesen, Hugo De Man
An Architecture for Ray - Bezier Patch Intersection. Workshop on Graphics Hardware (1993)
Catia M. Angelo, Luc J. M. Claesen, Hugo De Man
Degrees of Formality in Shallow Embedding Hardware Description Languages in HOL. HUG (1993)
Peter De Vijt, Luc J. M. Claesen, Hugo De Man
ASICs for a High Performance IVIulti Processor Systemfor Photo-realistic Image Synthesis. Eurographics Workshop on Graphics Hardware (1992)
Diederik Verkest, Luc J. M. Claesen, Hugo De Man
A Proof of the Non-Restoring Division Algorithm and its Implementation on the Cathedral-II ALU. Designing Correct Circuits (1992)
P. Johannes, Luc J. M. Claesen, Hugo De Man
On the use of hierarchy in timing verification with statically sensitizable paths. Great Lakes Symposium on VLSI (1992)
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)
P. Johannes, Luc J. M. Claesen, Hugo De Man
Performance Through Hierarchy in Static Timing Verification. IFIP Congress (1) (1992)
Diederik Verkest, J. Vandenbergh, Luc J. M. Claesen, Hugo De Man
A Description Methodology for Parameterized Modules in the Boyer-Moore Logic. TPCD (1992)
W. Ploegaerts, Luc J. M. Claesen, Hugo De Man
Defining Recursive Functions in HOL. TPHOLs (1991)
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)
Mark Genoe, Luc J. M. Claesen, Eric Verlind, Frank Proesmans, Hugo De Man
Illustration of the SFG-Tracing Multi-Level Behavioral Verification Methodology, by the Correctness Proof of a High to Low Level Synthesis Application in CATHEDRAL-II. ICCD (1991)
Patrick Odent, Luc J. M. Claesen, Hugo De Man
Acceleration of relaxation-based circuit simulation using a multiprocessor system. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 (10) (1990)
J. P. Schupp, Johan Cockx, Luc J. M. Claesen, Hugo De Man
SPI: an open interface integrating highly interactive electronic CAD tools. EURO-DAC (1990)
Patrick Odent, Luc J. M. Claesen, Hugo De Man
A combined waveform relaxation: waveform relaxation newton algorithm for efficient parallel circuit simulation. EURO-DAC (1990)
Diederik Verkest, Luc J. M. Claesen, Hugo De Man
Correctness proofs of parameterized hardware modules in the CATHEDRAL-II synthesis environment. EURO-DAC (1990)
W. De Rammelaere, Ivo Bolsens, Luc J. M. Claesen, Hugo De Man
Derivation of signal flow direction in MOS VLSI: an alternative. ICCD (1990)
P. Johannes, P. Das, Luc J. M. Claesen, Hugo De Man
SLOCOP-II: a versatile timing verification system for MOSVLSI. EURO-DAC (1990)
Jacques Benkoski, E. Vanden Meersch, Luc J. M. Claesen, Hugo De Man
Timing verification using statically sensitizable paths. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 9 (10) (1990)
S. Perremans, Luc J. M. Claesen, Hugo De Man
Static Timing Analysis of Dynamically Sensitizable Paths. DAC (1989)
P. Lammens, Luc J. M. Claesen, Hugo De Man
Correctness verification of VLSI modules supported by a very efficient Boolean prover. ICCD (1989)
Ivo Bolsens, W. De Rammelaere, Luc J. M. Claesen, Hugo De Man
Electrical Debugging of Synchronous MOS VLSI Circuits Exploiting Analysis of the Intended Logic Behaviour. DAC (1989)
Patrick Odent, Luc J. M. Claesen, Hugo De Man
Feedback Loops and Large Subcircuits in the Multiprocessor Implementation of a Relaxation Based Circuit Simulator. DAC (1989)
Luc J. M. Claesen, J. P. Schupp, P. Das, P. Johannes, S. Perremans, Hugo De Man
Efficient false path elimination algorithms for timing verification by event graph preprocessing. Integr. 8 (2) (1989)
Paul Six, Luc J. M. Claesen, Jan M. Rabaey, Hugo De Man
An intelligent module generator environment. DAC (1986)
Hugo De Man, Jan M. Rabaey, Paul Six, Luc J. M. Claesen
Cathedral-II: A Silicon Compiler for Digital Signal Processing. IEEE Des. Test 3 (6) (1986)
Rajeev Jain, Gert Goossens, Luc J. M. Claesen, Joos Vandewalle, Hugo De Man, L. Gazsi, Alfred Fettweis
CAD Tools for the optimized design of custom VLSI wave digital filters. ICASSP (1985)