publications:
- title: "Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code"
  author:
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  - name: "Maurice Bruynooghe"
    link: "http://www.cs.kuleuven.ac.be/~maurice/"
  - name: "Francky Catthoor"
    link: "http://www.kuleuven.be/cv/u0014055e.htm"
  - name: "Gerda Janssens"
    link: "http://www.cs.kuleuven.be/~gerda"
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/DATE.2005.163"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/DATE.2005.163"
  tags:
  - "model-to-model transformation"
  - "model checking"
  - "meta-model"
  - "source-to-source"
  - "C++"
  - "model transformation"
  - " algebra"
  - "Meta-Environment"
  - "open-source"
  - "transformation"
  researchr: "https://researchr.org/publication/ShashidharBCJ05%3A0"
  cites: 0
  citedby: 0
  pages: "1310-1315"
  booktitle: "date"
  kind: "inproceedings"
  key: "ShashidharBCJ05:0"
- title: "An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs"
  author:
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  - name: "Maurice Bruynooghe"
    link: "http://www.cs.kuleuven.ac.be/~maurice/"
  - name: "Francky Catthoor"
    link: "http://www.kuleuven.be/cv/u0014055e.htm"
  - name: "Gerda Janssens"
    link: "http://www.cs.kuleuven.be/~gerda"
  year: "2003"
  doi: "http://www.jucs.org/jucs_9_3/an_automatic_verification_technique"
  links:
    doi: "http://www.jucs.org/jucs_9_3/an_automatic_verification_technique"
  tags:
  - "model-to-model transformation"
  - "meta programming"
  - "program verification"
  - "meta-model"
  - "modeling"
  - "reuse"
  - "data-flow programming"
  - "data-flow"
  - "source-to-source"
  - "C++"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/ShashidharBCJ03"
  cites: 0
  citedby: 0
  journal: "jucs"
  volume: "9"
  number: "3"
  pages: "248-269"
  kind: "article"
  key: "ShashidharBCJ03"
- title: "Verification of Source Code Transformations by Program Equivalence Checking"
  author:
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  - name: "Maurice Bruynooghe"
    link: "http://www.cs.kuleuven.ac.be/~maurice/"
  - name: "Francky Catthoor"
    link: "http://www.kuleuven.be/cv/u0014055e.htm"
  - name: "Gerda Janssens"
    link: "http://www.cs.kuleuven.be/~gerda"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=221"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3443&spage=221"
  tags:
  - "model-to-model transformation"
  - "meta programming"
  - "model checking"
  - "program verification"
  - "meta-model"
  - "source-to-source"
  - "C++"
  - "model transformation"
  - "Meta-Environment"
  - "open-source"
  - "transformation"
  - "program transformation"
  researchr: "https://researchr.org/publication/ShashidharBCJ05"
  cites: 0
  citedby: 0
  pages: "221-236"
  booktitle: "CC"
  kind: "inproceedings"
  key: "ShashidharBCJ05"
- title: "Predicate logic as a modeling language: the IDP system"
  author:
  - name: "Broes de Cat"
    link: "https://researchr.org/alias/broes-de-cat"
  - name: "Bart Bogaerts 0001"
    link: "https://researchr.org/alias/bart-bogaerts-0001"
  - name: "Maurice Bruynooghe"
    link: "http://www.cs.kuleuven.ac.be/~maurice/"
  - name: "Gerda Janssens"
    link: "http://www.cs.kuleuven.be/~gerda"
  - name: "Marc Denecker"
    link: "https://researchr.org/alias/marc-denecker"
  year: "2018"
  doi: "https://doi.org/10.1145/3191315.3191321"
  links:
    doi: "https://doi.org/10.1145/3191315.3191321"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/mc/18/Cat0BJD18"
  researchr: "https://researchr.org/publication/Cat0BJD18"
  cites: 0
  citedby: 0
  pages: "279-323"
  booktitle: "Declarative Logic Programming: Theory, Systems, and Applications"
  editor:
  - name: "Michael Kifer"
    link: "https://researchr.org/alias/michael-kifer"
  - name: "Yanhong Annie Liu"
    link: "https://researchr.org/alias/yanhong-annie-liu"
  publisher: "ACM / Morgan & Claypool"
  isbn: "978-1-97000-199-0"
  kind: "incollection"
  key: "Cat0BJD18"
- title: "Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations"
  author:
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  - name: "Maurice Bruynooghe"
    link: "http://www.cs.kuleuven.ac.be/~maurice/"
  - name: "Francky Catthoor"
    link: "http://www.kuleuven.be/cv/u0014055e.htm"
  - name: "Gerda Janssens"
    link: "http://www.cs.kuleuven.be/~gerda"
  year: "2002"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/117/25/show/Products/notes/index.htt#006"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/117/25/show/Products/notes/index.htt#006"
  tags:
  - "model-to-model transformation"
  - "model checking"
  - "meta-model"
  - "reuse"
  - "data-flow"
  - "source-to-source"
  - "C++"
  - "model transformation"
  - "Meta-Environment"
  - "transformation"
  researchr: "https://researchr.org/publication/ShashidharBCJ02"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "65"
  number: "2"
  pages: "67-82"
  kind: "article"
  key: "ShashidharBCJ02"