Maurice Bruynooghe - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 5 from 5

2018

Predicate logic as a modeling language: the IDP systemBroes de Cat, Bart Bogaerts 0001, Maurice Bruynooghe, Gerda Janssens, Marc Denecker. In Michael Kifer, Yanhong Annie Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. pages 279-323, ACM / Morgan & Claypool, 2018. [doi]

2005

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

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]

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