K. C. Shashidhar - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 11 from 11

2009

Generating and Analyzing Symbolic Traces of Simulink/Stateflow ModelsAditya Kanade, Rajeev Alur, Franjo Ivančić, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar. cav 2009: 430-445 [doi]

2008

Symbolic analysis for improving simulation coverage of Simulink/Stateflow modelsRajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar. emsoft 2008: 89-98 [doi]

AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control SystemsAmbar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar. cav 2008: 204-208 [doi]

Behaviour Directed Testing of Auto-code GeneratorsPrahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar. SEFM 2008: 191-200 [doi]

Efficient Automatic Verification of Loop and Data-flow Transformations by Functional Equivalence CheckingK. C. Shashidhar. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, Belgium, May 2008.

2007

How to Test Program Generators? A Case Study using flexPrahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh. SEFM 2007: 80-92 [doi]

Testing Model-Processing Tools for Embedded SystemsPrahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar. rtas 2007: 203-214 [doi]

2005

Verification of Source Code Transformations by Program Equivalence CheckingK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. CC 2005: 221-236 [doi]

Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source CodeK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. date 2005: 1310-1315 [doi]

2003

An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of ProgramsK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. jucs, 9(3):248-269, 2003. [doi]

2002

Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse TransformationsK. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens. ENTCS, 65(2):67-82, 2002. [doi]

Sign in or sign up to see more results.

runs on WebDSL