default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: K. C. Shashidhar
@article{DBLP:journals/stvr/MohalikGYSR14,
author = {Swarup Mohalik and
Ambar A. Gadkari and
Anand Yeolekar and
K. C. Shashidhar and
S. Ramesh},
title = {Automatic test case generation from Simulink/Stateflow models using
model checking},
journal = {Softw. Test. Verification Reliab.},
volume = {24},
number = {2},
pages = {155--180},
year = {2014},
url = {https://doi.org/10.1002/stvr.1489},
doi = {10.1002/STVR.1489},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/MohalikGYSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/ShahbazSE12,
author = {Muzammil Shahbaz and
K. C. Shashidhar and
Robert Eschbach},
title = {Specification Inference Using Systematic Reverse-Engineering Methodologies:
An Automotive Industry Application},
journal = {{IEEE} Softw.},
volume = {29},
number = {6},
pages = {62--69},
year = {2012},
url = {https://doi.org/10.1109/MS.2011.159},
doi = {10.1109/MS.2011.159},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/ShahbazSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MajumdarSSW12,
author = {Rupak Majumdar and
Indranil Saha and
K. C. Shashidhar and
Zilong Wang},
editor = {Alwyn Goodloe and
Suzette Person},
title = {{CLSE:} Closed-Loop Symbolic Execution},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {356--370},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_33},
doi = {10.1007/978-3-642-28891-3\_33},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MajumdarSSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ShahbazSE11,
author = {Muzammil Shahbaz and
K. C. Shashidhar and
Robert Eschbach},
editor = {Matthew B. Dwyer and
Frank Tip},
title = {Iterative refinement of specification for component based embedded
systems},
booktitle = {Proceedings of the 20th International Symposium on Software Testing
and Analysis, {ISSTA} 2011, Toronto, ON, Canada, July 17-21, 2011},
pages = {276--286},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2001420.2001454},
doi = {10.1145/2001420.2001454},
timestamp = {Tue, 29 Dec 2020 18:31:45 +0100},
biburl = {https://dblp.org/rec/conf/issta/ShahbazSE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RajeevSSR10,
author = {A. C. Rajeev and
Prahladavaradan Sampath and
K. C. Shashidhar and
S. Ramesh},
editor = {Charles Pecheur and
Jamie Andrews and
Elisabetta Di Nitto},
title = {CoGenTe: a tool for code generator testing},
booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
Software Engineering, Antwerp, Belgium, September 20-24, 2010},
pages = {349--350},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1858996.1859070},
doi = {10.1145/1858996.1859070},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/RajeevSSR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/BeckerKS10,
author = {Martin Becker and
S{\"{o}}ren Kemmann and
K. C. Shashidhar},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {Integrating Software Safety and Product Line Engineering using Formal
Methods: Challenges and Opportunities},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {129--136},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 30 Mar 2016 18:10:17 +0200},
biburl = {https://dblp.org/rec/conf/splc/BeckerKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KanadeAIRSS09,
author = {Aditya Kanade and
Rajeev Alur and
Franjo Ivancic and
S. Ramesh and
Sriram Sankaranarayanan and
K. C. Shashidhar},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {430--445},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_33},
doi = {10.1007/978-3-642-02658-4\_33},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KanadeAIRSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GadkariYSRMS08,
author = {Ambar A. Gadkari and
Anand Yeolekar and
J. Suresh and
S. Ramesh and
Swarup Mohalik and
K. C. Shashidhar},
editor = {Aarti Gupta and
Sharad Malik},
title = {AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control
Systems},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {204--208},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_19},
doi = {10.1007/978-3-540-70545-1\_19},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/GadkariYSRMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AlurKRS08,
author = {Rajeev Alur and
Aditya Kanade and
S. Ramesh and
K. C. Shashidhar},
editor = {Luca de Alfaro and
Jens Palsberg},
title = {Symbolic analysis for improving simulation coverage of Simulink/Stateflow
models},
booktitle = {Proceedings of the 8th {ACM} {\&} {IEEE} International conference
on Embedded software, {EMSOFT} 2008, Atlanta, GA, USA, October 19-24,
2008},
pages = {89--98},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1450058.1450071},
doi = {10.1145/1450058.1450071},
timestamp = {Mon, 03 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AlurKRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SampathRRS08,
author = {Prahladavaradan Sampath and
A. C. Rajeev and
S. Ramesh and
K. C. Shashidhar},
editor = {Antonio Cerone and
Stefan Gruner},
title = {Behaviour Directed Testing of Auto-code Generators},
booktitle = {Sixth {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
2008},
pages = {191--200},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SEFM.2008.13},
doi = {10.1109/SEFM.2008.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SampathRRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/SampathRRS07,
author = {Prahladavaradan Sampath and
A. C. Rajeev and
S. Ramesh and
K. C. Shashidhar},
title = {Testing Model-Processing Tools for Embedded Systems},
booktitle = {Proceedings of the 13th {IEEE} Real-Time and Embedded Technology and
Applications Symposium, {RTAS} 2007, April 3-6, 2007, Bellevue, Washington,
{USA}},
pages = {203--214},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTAS.2007.39},
doi = {10.1109/RTAS.2007.39},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/SampathRRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/SampathRSR07,
author = {Prahladavaradan Sampath and
A. C. Rajeev and
K. C. Shashidhar and
S. Ramesh},
title = {How to Test Program Generators? {A} Case Study using flex},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {80--92},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.24},
doi = {10.1109/SEFM.2007.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/SampathRSR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-4689,
author = {K. C. Shashidhar and
Maurice Bruynooghe and
Francky Catthoor and
Gerda Janssens},
title = {Functional Equivalence Checking for Verification of Algebraic Transformations
on Array-Intensive Source Code},
journal = {CoRR},
volume = {abs/0710.4689},
year = {2007},
url = {http://arxiv.org/abs/0710.4689},
eprinttype = {arXiv},
eprint = {0710.4689},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0710-4689.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/ShashidharBCJ05,
author = {K. C. Shashidhar and
Maurice Bruynooghe and
Francky Catthoor and
Gerda Janssens},
editor = {Rastislav Bod{\'{\i}}k},
title = {Verification of Source Code Transformations by Program Equivalence
Checking},
booktitle = {Compiler Construction, 14th International Conference, {CC} 2005, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3443},
pages = {221--236},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31985-6\_15},
doi = {10.1007/978-3-540-31985-6\_15},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/ShashidharBCJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ShashidharBCJ05,
author = {K. C. Shashidhar and
Maurice Bruynooghe and
Francky Catthoor and
Gerda Janssens},
title = {Functional Equivalence Checking for Verification of Algebraic Transformations
on Array-Intensive Source Code},
booktitle = {2005 Design, Automation and Test in Europe Conference and Exposition
{(DATE} 2005), 7-11 March 2005, Munich, Germany},
pages = {1310--1315},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DATE.2005.163},
doi = {10.1109/DATE.2005.163},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ShashidharBCJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/ShashidharBCJ03,
author = {K. C. Shashidhar and
Maurice Bruynooghe and
Francky Catthoor and
Gerda Janssens},
title = {An Automatic Verification Technique for Loop and Data Reuse Transformations
based on Geometric Modeling of Programs},
journal = {J. Univers. Comput. Sci.},
volume = {9},
number = {3},
pages = {248--269},
year = {2003},
url = {https://doi.org/10.3217/jucs-009-03-0248},
doi = {10.3217/JUCS-009-03-0248},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/ShashidharBCJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/ShashidharBCJ03,
author = {K. C. Shashidhar and
Maurice Bruynooghe and
Francky Catthoor and
Gerda Janssens},
title = {Automatic functional verification of memory oriented global source
code transformations},
booktitle = {Eighth {IEEE} International High-Level Design Validation and Test
Workshop 2003, San Francisco, CA, USA, November 12-14, 2003},
pages = {31--36},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/HLDVT.2003.1252471},
doi = {10.1109/HLDVT.2003.1252471},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/ShashidharBCJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ShashidharBCJ02,
author = {K. C. Shashidhar and
Maurice Bruynooghe and
Francky Catthoor and
Gerda Janssens},
editor = {Jens Knoop and
Wolf Zimmermann},
title = {Geometric Model Checking: An Automatic Verification Technique for
Loop and Data Reuse Transformations},
booktitle = {Compiler Optimization Meets Compiler Verification, {COCV} 2002, Satellite
Event of {ETAPS} 2002, Grenoble, France, April 13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {65},
number = {2},
pages = {67--82},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80397-9},
doi = {10.1016/S1571-0661(04)80397-9},
timestamp = {Tue, 13 Dec 2022 10:38:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ShashidharBCJ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
