Browsing by author "Claesen, Luc"
Now showing items 1-20 of 22
-
A formal verification technique for embedded software
Thiry, Olivier; Claesen, Luc (1996) -
A microsensor array for biochemical sensing
Van Steenkiste, Filip; Grünkorn, Holger; Claesen, Luc; Baert, Kris; De Bruyker, Dirk; Spiering, Vincent; van der Schoot, Bart; Arquint, Philippe; Born, R. (1996) -
A parallel method for functional verification of medium and high throughput DSP synthesis
Genoe, Mark; Claesen, Luc; De Man, Hugo (1994) -
A proof of the nonrestoring division algorithm and its implementation on an ALU
Verkest, Diederik; Claesen, Luc; De Man, Hugo (1994) -
A symbolic core approach to the formal verification of integrated mixed-mode applications
Hendricx, Stefan; Claesen, Luc (1997) -
An evaluation of different handwriting observation techniques from a signature verification point of view
Martens, Ronny; Claesen, Luc (1997) -
Degrees of formality in shallow embedding hardware description languages in HOL
Angelo, Catia Marcondes; Claesen, Luc; De Man, Hugo (1994) -
Dynamic programming optimisation for on-line signature verification
Martens, Ronny; Claesen, Luc (1997) -
ED and TC 1995: Simulation versus Formal Verification
Claesen, Luc (1995) -
Formalizing a behavioral specification language for correct transformational design
Angelo, Catia Marcondes; Claesen, Luc (1996) -
Formally verified redundancy removal
Hendricx, Stefan; Claesen, Luc (1999) -
Incorporating local consistency information into the online signature verification process
Martens, Ronny; Claesen, Luc (1998) -
Low power applications at system level
Claesen, Luc; De Kuyper, Hans; Tits, Ronny (1997) -
Modeling multi-rate DSP specification semantics for formal transformational design in HOL
Angelo, Catia Marcondes; Claesen, Luc; De Man, Hugo (1994) -
On-line signature verification : Discrimination emphasized
Martens, Ronny; Claesen, Luc (1997) -
On-line signature verification by dynamic time-warping
Martens, Ronny; Claesen, Luc (1996) -
Optimised feature extraction for on-line signature verification
Martens, Ronny; Claesen, Luc (1997) -
Reasoning about linear systems of Equations on HOL
Angelo, Catia Marcondes; Claesen, Luc; De Man, Hugo (1994) -
Sensor array for multi-analyte biochemical sensing
Van Steenkiste, Filip; Baert, Kris; Claesen, Luc; De Bruyker, Dirk; Decooman, Michel; Spiering, V.; van der Schoot, B.; Arquint, P.; Born, R.; Schumann, K. (1996) -
Symbolic multi-level verification of refinement
Hendricx, Stefan; Claesen, Luc (1999)