K. C. Shashidhar
K. C. Shashidhar
GRAIL Inc.
Verified email at grailbio.com - Homepage
Title
Cited by
Cited by
Year
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
R Alur, A Kanade, S Ramesh, KC Shashidhar
Proceedings of the 8th ACM international conference on Embedded software, 89-98, 2008
1092008
Generating and analyzing symbolic traces of Simulink/Stateflow models
A Kanade, R Alur, F Ivančić, S Ramesh, S Sankaranarayanan, ...
Computer Aided Verification, 430-445, 2009
612009
AutoMOTGen: Automatic model oriented test generator for embedded control systems
A Gadkari, A Yeolekar, J Suresh, S Ramesh, S Mohalik, KC Shashidhar
Computer Aided Verification, 204-208, 2008
442008
Sensitive and specific multi-cancer detection and localization using methylation signatures in cell-free DNA
MC Liu, GR Oxnard, EA Klein, C Swanton, MV Seiden, CCGA-Consortium
Annals of Oncology, 2020
422020
Automatic test case generation from Simulink/Stateflow models using model checking
S Mohalik, AA Gadkari, A Yeolekar, KC Shashidhar, S Ramesh
Software Testing, Verification and Reliability 24 (2), 155-180, 2014
412014
Verification of source code transformations by program equivalence checking
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
Compiler Construction, 137-137, 2005
392005
Functional equivalence checking for verification of algebraic transformations on array-intensive source code
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
Design, Automation and Test in Europe, 1310-1315, 2005
372005
Automatic generation of test-cases using model checking for sl/sf models
AA Gadkari, S Mohalik, K Shashidhar, A Yeolekar, J Suresh, S Ramesh
Proceedings of the 4th model-driven engineering, verification and validation …, 2007
242007
Iterative refinement of specification for component based embedded systems
M Shahbaz, KC Shashidhar, R Eschbach
Proceedings of the 2011 International Symposium on Software Testing and …, 2011
212011
CLSE: Closed-loop symbolic execution
R Majumdar, I Saha, KC Shashidhar, Z Wang
NASA Formal Methods Symposium, 356-370, 2012
202012
Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
Electronic Notes in Theoretical Computer Science 65 (2), 67-82, 2002
202002
Testing model-processing tools for embedded systems
P Sampath, AC Rajeev, S Ramesh, KC Shashidhar
13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS …, 2007
182007
Efficient automatic verification of loop and data-flow transformations by functional equivalence checking
KC Shashidhar
PhD thesis, Katholieke Universiteit Leuven, 2008
142008
An automatic verification technique for loop and data reuse transformations based on geometric modeling of programs
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
J. UCS 9 (3), 248-269, 2003
132003
CoGenTe: A tool for code generator testing
AC Rajeev, P Sampath, KC Shashidhar, S Ramesh
Proceedings of the IEEE/ACM international conference on Automated software …, 2010
112010
Automatic functional verification of memory oriented global source code transformations
KC Shashidhar, M Bruynooghe, F Catthoor, G Janssens
High-Level Design Validation and Test Workshop, 2003. Eighth IEEE …, 2003
112003
Behaviour directed testing of auto-code generators
P Sampath, AC Rajeev, S Ramesh, KC Shashidhar
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
92008
Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities
M Becker, S Kemmann, KC Shashidhar
1st International Workshop on Formal Methods in Software Product Line …, 2010
82010
Low power design of turbo decoder module with exploration of energy-performance trade-offs
KC Shashidhar, A Vandecappelle, F Catthoor
2nd Workshop on Compilers and Operating Systems for Low Power (COLP) in …, 2001
62001
Specification inference using systematic reverse-engineering methodologies: An automotive industry application
M Shahbaz, KC Shashidhar, R Eschbach
IEEE software 29 (6), 62-69, 2011
52011
The system can't perform the operation now. Try again later.
Articles 1–20