publications:
- 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"