The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "K. C. Shashidhar" ( http://dblp.L3S.de/Authors/K._C._Shashidhar )

  Author page on DBLP  Author page in RDF  Community of K. C. Shashidhar in ASPL-2

Publication years (Num. hits)
2002-2011 (15) 2012-2014 (3)
Publication types (Num. hits)
article(5) inproceedings(13)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5 occurrences of 5 keywords

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Swarup Mohalik, Ambar A. Gadkari, Anand Yeolekar, K. C. Shashidhar, S. Ramesh Automatic test case generation from Simulink/Stateflow models using model checking. Search on Bibsonomy Softw. Test., Verif. Reliab. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application. Search on Bibsonomy IEEE Software The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rupak Majumdar, Indranil Saha, K. C. Shashidhar, Zilong Wang CLSE: Closed-Loop Symbolic Execution. Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach Iterative refinement of specification for component based embedded systems. Search on Bibsonomy ISSTA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1A. C. Rajeev, Prahladavaradan Sampath, K. C. Shashidhar, S. Ramesh CoGenTe: a tool for code generator testing. Search on Bibsonomy ASE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Becker 0002, Sören Kemmann, K. C. Shashidhar Integrating Software Safety and Product Line Engineering using Formal Methods: Challenges and Opportunities. Search on Bibsonomy SPLC Workshops The full citation details ... 2010 DBLP  BibTeX  RDF
1Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ambar A. Gadkari, Anand Yeolekar, J. Suresh, S. Ramesh, Swarup Mohalik, K. C. Shashidhar AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar Behaviour Directed Testing of Auto-code Generators. Search on Bibsonomy SEFM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulations, coverage, hybrid systems, Simulink, Stateflow
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh How to Test Program Generators? A Case Study using flex. Search on Bibsonomy SEFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh, K. C. Shashidhar Testing Model-Processing Tools for Embedded Systems. Search on Bibsonomy IEEE Real-Time and Embedded Technology and Applications Symposium The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Functional Equivalence Checking for Verification of Algebraic Transformations on Array-Intensive Source Code. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Verification of Source Code Transformations by Program Equivalence Checking. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens An Automatic Verification Technique for Loop and Data Reuse Transformations based on Geometric Modeling of Programs. Search on Bibsonomy J. UCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Automatic functional verification of memory oriented global source code transformations. Search on Bibsonomy HLDVT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1K. C. Shashidhar, Maurice Bruynooghe, Francky Catthoor, Gerda Janssens Geometric Model Checking: An Automatic Verification Technique for Loop and Data Reuse Transformations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license