Browsing by Author "Claesen, Luc"
- Results Per Page
- Sort Options
Publication A formal verification technique for embedded software
Publication A microsensor array for biochemical sensing
Publication A parallel method for functional verification of medium and high throughput DSP synthesis
Proceedings paper1994, IEEE International Conference on Computer Design : VLSI in Computers and Processors - ICCD, 10/10/1994, p.460-463Publication A proof of the nonrestoring division algorithm and its implementation on an ALU
Journal article1994, Formal Methods in System Design, (4) 1, p.5-31Publication A symbolic core approach to the formal verification of integrated mixed-mode applications
Publication An evaluation of different handwriting observation techniques from a signature verification point of view
Publication Degrees of formality in shallow embedding hardware description languages in HOL
Proceedings paper1994, Higher Order Logic Theorem Proving and its Applications. 6th International Workshop Proceedings; 11-13 August1993; Vancouver, BC, p.89-100Publication Dynamic programming optimisation for on-line signature verification
Publication ED and TC 1995: Simulation versus Formal Verification
Claesen, LucJournal article1995, IEEE Design and Test of Computers, 12, p.82Publication Formalizing a behavioral specification language for correct transformational design
Publication Formally verified redundancy removal
Publication Incorporating local consistency information into the online signature verification process
Publication Low power applications at system level
Publication Modeling multi-rate DSP specification semantics for formal transformational design in HOL
Journal article1994, Formal Methods in System Design, 5, p.61-94Publication On-line signature verification : Discrimination emphasized
Publication On-line signature verification by dynamic time-warping
Publication Optimised feature extraction for on-line signature verification
Publication Reasoning about linear systems of Equations on HOL
Proceedings paper1994, Higher Order Logic Theorem Proving and its Applications. 7th International Workshop Proceedings; 19-22 September 1994; Valletta,, p.33-48Publication Sensor array for multi-analyte biochemical sensing
Publication Symbolic multi-level verification of refinement