| 2011 | ISSTA | Iterative refinement of specification for component based embedded systems. | Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach |
| 2010 | SPLC | Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities. | Martin Becker, Sren Kemmann, K. C. Shashidhar |
| 2009 | CAV | Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. | Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar |
| 2008 | CAV | AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. | Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar |
| 2008 | EMSOFT | Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. | Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar |
| 2008 | SEFM | Behaviour Directed Testing of Auto-code Generators. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar |
| 2007 | RTAS | Testing Model-Processing Tools for Embedded Systems. | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar |
| 2007 | SEFM | How to Test Program Generators? A Case Study using flex. | Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh |
| 2005 | CC | Verification of Source Code Transformations by Program Equivalence Checking. | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |
| 2005 | DATE | Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. | K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens |