Francky Catthoor - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

2005

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source CodeK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. date 2005: 1310-1315 [doi]

Verification of Source Code Transformations by Program Equivalence CheckingK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. CC 2005: 221-236 [doi]

2003

An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of ProgramsK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. jucs, 9(3):248-269, 2003. [doi]

2002

Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse TransformationsK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. ENTCS, 65(2):67-82, 2002. [doi]

Sign in or sign up to see more results.

runs on WebDSL