Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (COCV@ETAPS, 2002)

Automatic functional verification of memory oriented global source code transformations. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (HLDVT, 2003)

An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (J. Univers. Comput. Sci., 2003)

Verification of Source Code Transformations by Program Equivalence Checking. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (CC, 2005)

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. - K. C. Shashidhar; Maurice Bruynooghe; Francky Catthoor; Gerda Janssens (DATE, 2005)

Testing Model-Processing Tools for Embedded Systems. - Prahladavaradan Sampath; A. C. Rajeev; S. Ramesh 002; K. C. Shashidhar (IEEE Real-Time and Embedded Technology and Applications Symposium, 2007)

How to Test Program Generators? A Case Study using flex. - Prahladavaradan Sampath; A. C. Rajeev; K. C. Shashidhar; S. Ramesh 002 (SEFM, 2007)

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. - Ambar A. Gadkari; Anand Yeolekar; J. Suresh; S. Ramesh 002; Swarup Mohalik; K. C. Shashidhar (CAV, 2008)

Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. - Rajeev Alur; Aditya Kanade 001; S. Ramesh 002; K. C. Shashidhar (EMSOFT, 2008)

Behaviour Directed Testing of Auto-code Generators. - Prahladavaradan Sampath; A. C. Rajeev; S. Ramesh 002; K. C. Shashidhar (SEFM, 2008)

Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. - Aditya Kanade 001; Rajeev Alur; Franjo Ivancic; S. Ramesh 002; Sriram Sankaranarayanan 001; K. C. Shashidhar (CAV, 2009)

CoGenTe: a tool for code generator testing. - A. C. Rajeev; Prahladavaradan Sampath; K. C. Shashidhar; S. Ramesh 002 (ASE, 2010)

Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities. - Martin Becker 002; Sören Kemmann; K. C. Shashidhar (SPLC Workshops, 2010)

Iterative refinement of specification for component based embedded systems. - Muzammil Shahbaz; K. C. Shashidhar; Robert Eschbach (ISSTA, 2011)

CLSE: Closed-Loop Symbolic Execution. - Rupak Majumdar; Indranil Saha; K. C. Shashidhar; Zilong Wang 004 (NASA Formal Methods, 2012)

Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application. - Muzammil Shahbaz; K. C. Shashidhar; Robert Eschbach (IEEE Softw., 2012)

Automatic test case generation from Simulink/Stateflow models using model checking. - Swarup Mohalik; Ambar A. Gadkari; Anand Yeolekar; K. C. Shashidhar; S. Ramesh 002 (Softw. Test. Verification Reliab., 2014)