@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},
  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 = {http://researchr.org/publication/ShashidharBCJ02},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {65},
  number = {2},
}

@inproceedings{SampathRSR07,
  title = {How to Test Program Generators? A Case Study using flex},
  author = {Prahladavaradan Sampath and A. C. Rajeev and K. C. Shashidhar and S. Ramesh},
  year = {2007},
  doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.24},
  tags = {case study, testing, C++},
  researchr = {http://researchr.org/publication/SampathRSR07},
  cites = {0},
  citedby = {0},
  pages = {80-92},
  booktitle = {sefm},
}

@inproceedings{GadkariYSRMS08,
  title = {AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems},
  author = {Ambar A. Gadkari and Anand Yeolekar and J. Suresh and S. Ramesh and Swarup Mohalik and K. C. Shashidhar},
  year = {2008},
  doi = {http://dx.doi.org/10.1007/978-3-540-70545-1_19},
  tags = {control systems, testing, C++},
  researchr = {http://researchr.org/publication/GadkariYSRMS08},
  cites = {0},
  citedby = {0},
  pages = {204-208},
  booktitle = {cav},
}

@inproceedings{AlurKRS08,
  title = {Symbolic analysis for improving simulation coverage of Simulink/Stateflow models},
  author = {Rajeev Alur and Aditya Kanade and S. Ramesh and K. C. Shashidhar},
  year = {2008},
  doi = {http://doi.acm.org/10.1145/1450058.1450071},
  tags = {analysis, C++, coverage},
  researchr = {http://researchr.org/publication/AlurKRS08},
  cites = {0},
  citedby = {0},
  pages = {89-98},
  booktitle = {emsoft},
}

@phdthesis{KCShashidharPhD,
  title = {Efficient Automatic Verification of Loop and Data-flow Transformations by Functional Equivalence Checking},
  author = {K. C. Shashidhar},
  year = {2008},
  month = {May},
  note = {ISBN 978-90-5682-677-2, 231 Pages.},
  tags = {control systems, power consumption, model-to-model transformation, optimization, object-oriented programming, rule-based, meta programming, model checking, program verification, meta-model, testing model transformations, architecture, functional programming, testing, constraints, data-flow programming, data-flow, source-to-source, C++, object-role modeling, debugging, transformation system, compiler, model transformation, programming, subject-oriented programming, program optimization, Meta-Environment, process modeling, feature-oriented programming, transformation, program transformation},
  researchr = {http://researchr.org/publication/KCShashidharPhD},
  cites = {0},
  citedby = {0},
  school = {Department of Computer Science},
  address = {Katholieke Universiteit Leuven, Belgium},
  advisor = {Maurice Bruynooghe and Francky Catthoor},
}

@inproceedings{SampathRRS07,
  title = {Testing Model-Processing Tools for Embedded Systems},
  author = {Prahladavaradan Sampath and A. C. Rajeev and S. Ramesh and K. C. Shashidhar},
  year = {2007},
  doi = {http://doi.ieeecomputersociety.org/10.1109/RTAS.2007.39},
  tags = {testing, C++, process modeling},
  researchr = {http://researchr.org/publication/SampathRRS07},
  cites = {0},
  citedby = {0},
  pages = {203-214},
  booktitle = {rtas},
}

@inproceedings{KanadeAIRSS09,
  title = {Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models},
  author = {Aditya Kanade and Rajeev Alur and Franjo Ivančić and S. Ramesh and Sriram Sankaranarayanan and K. C. Shashidhar},
  year = {2009},
  doi = {http://dx.doi.org/10.1007/978-3-642-02658-4_33},
  tags = {C++},
  researchr = {http://researchr.org/publication/KanadeAIRSS09},
  cites = {0},
  citedby = {0},
  pages = {430-445},
  booktitle = {cav},
}

@inproceedings{SampathRRS08,
  title = {Behaviour Directed Testing of Auto-code Generators},
  author = {Prahladavaradan Sampath and A. C. Rajeev and S. Ramesh and K. C. Shashidhar},
  year = {2008},
  doi = {http://dx.doi.org/10.1109/SEFM.2008.13},
  tags = {testing, C++},
  researchr = {http://researchr.org/publication/SampathRRS08},
  cites = {0},
  citedby = {0},
  pages = {191-200},
  booktitle = {sefm},
}

@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},
  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 = {http://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},
  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 = {http://researchr.org/publication/ShashidharBCJ05},
  cites = {0},
  citedby = {0},
  pages = {221-236},
  booktitle = {CC},
}

@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 = {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 = {http://researchr.org/publication/ShashidharBCJ05%3A0},
  cites = {0},
  citedby = {0},
  pages = {1310-1315},
  booktitle = {date},
}