@inproceedings{ShashidharBCJ05:0,
  title = {Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code},
  author = {K. C. Shashidhar and Maurice Bruynooghe and Francky Catthoor and Gerda Janssens},
  year = {2005},
  doi = {10.1109/DATE.2005.163},
  url = {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},
}

@article{ShashidharBCJ03,
  title = {An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs},
  author = {K. C. Shashidhar and Maurice Bruynooghe and Francky Catthoor and Gerda Janssens},
  year = {2003},
  url = {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},
}

@inproceedings{ShashidharBCJ05,
  title = {Verification of Source Code Transformations by Program Equivalence Checking},
  author = {K. C. Shashidhar and Maurice Bruynooghe and Francky Catthoor and Gerda Janssens},
  year = {2005},
  url = {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},
}

@incollection{Cat0BJD18,
  title = {Predicate logic as a modeling language: the IDP system},
  author = {Broes de Cat and Bart Bogaerts 0001 and Maurice Bruynooghe and Gerda Janssens and Marc Denecker},
  year = {2018},
  doi = {10.1145/3191315.3191321},
  url = {https://doi.org/10.1145/3191315.3191321},
  researchr = {https://researchr.org/publication/Cat0BJD18},
  cites = {0},
  citedby = {0},
  pages = {279-323},
  booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
  editor = {Michael Kifer and Yanhong Annie Liu},
  publisher = {ACM / Morgan & Claypool},
  isbn = {978-1-97000-199-0},
}

@article{ShashidharBCJ02,
  title = {Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations},
  author = {K. C. Shashidhar and Maurice Bruynooghe and Francky Catthoor and Gerda Janssens},
  year = {2002},
  url = {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},
}