Maurice Bruynooghe - researchr profile

researchr

You are not signed in
Sign in
Sign up

-

:

Katholieke Universiteit Leuven, Belgium

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]

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]

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]

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]

Meta-Environment

data-flow programming

meta programming

model transformation

model-to-model transformation

program transformation

program verification

source-to-source

runs on WebDSL