publications:
- title: "Symbolic analysis for improving simulation coverage of Simulink/Stateflow models"
  author:
  - name: "Rajeev Alur"
    link: "http://www.cis.upenn.edu/~alur"
  - name: "Aditya Kanade"
    link: "http://www.csa.iisc.ernet.in/~kanade"
  - name: "S. Ramesh"
    link: "http://www.gm.com/experience/technology/research/people/ramesh.jsp"
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1450058.1450071"
  links:
    doi: "http://doi.acm.org/10.1145/1450058.1450071"
  tags:
  - "analysis"
  - "C++"
  - "coverage"
  researchr: "https://researchr.org/publication/AlurKRS08"
  cites: 0
  citedby: 0
  pages: "89-98"
  booktitle: "Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008"
  editor:
  - name: "Luca de Alfaro"
    link: "https://researchr.org/alias/luca-de-alfaro"
  - name: "Jens Palsberg"
    link: "https://researchr.org/alias/jens-palsberg"
  publisher: "ACM"
  isbn: "978-1-60558-468-3"
  kind: "inproceedings"
  key: "AlurKRS08"
- title: "Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models"
  author:
  - name: "Aditya Kanade"
    link: "http://www.csa.iisc.ernet.in/~kanade"
  - name: "Rajeev Alur"
    link: "http://www.cis.upenn.edu/~alur"
  - name: "Franjo Ivančić"
    link: "http://www.nec-labs.com/~ivancic"
  - name: "S. Ramesh"
    link: "http://www.gm.com/experience/technology/research/people/ramesh.jsp"
  - name: "Sriram Sankaranarayanan"
    link: "http://www.cs.colorado.edu/~srirams"
  - name: "K. C. Shashidhar"
    link: "http://sites.google.com/site/kcshashidhar/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_33"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02658-4_33"
  tags:
  - "C++"
  researchr: "https://researchr.org/publication/KanadeAIRSS09"
  cites: 0
  citedby: 0
  pages: "430-445"
  booktitle: "Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings"
  editor:
  - name: "Ahmed Bouajjani"
    link: "https://researchr.org/alias/ahmed-bouajjani"
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  volume: "5643"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02657-7"
  kind: "inproceedings"
  key: "KanadeAIRSS09"