BibTeX records: Ram Prasad Venkatesan

• > Home > Persons > Ram Prasad Venkatesan

@inproceedings{DBLP:conf/amast/DenneyV04,
  author       = {Ewen Denney and
                  Ram Prasad Venkatesan},
  editor       = {Charles Rattray and
                  Savi Maharaj and
                  Carron Shankland},
  title        = {A Generic Software Safety Document Generator},
  booktitle    = {Algebraic Methodology and Software Technology, 10th International
                  Conference, {AMAST} 2004, Stirling, Scotland, UK, July 12-16, 2004,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3116},
  pages        = {102--116},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27815-3\_12},
  doi          = {10.1007/978-3-540-27815-3\_12},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/DenneyV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/RosuVWL03,
  author       = {Grigore Rosu and
                  Ram Prasad Venkatesan and
                  Jon Whittle and
                  Laurentiu Leustean},
  editor       = {Warren A. Hunt Jr. and
                  Fabio Somenzi},
  title        = {Certifying Optimality of State Estimation Programs},
  booktitle    = {Computer Aided Verification, 15th International Conference, {CAV}
                  2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2725},
  pages        = {301--314},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45069-6\_30},
  doi          = {10.1007/978-3-540-45069-6\_30},
  timestamp    = {Tue, 24 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/RosuVWL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/ChenRV03,
  author       = {Feng Chen and
                  Grigore Rosu and
                  Ram Prasad Venkatesan},
  editor       = {Robert Nieuwenhuis},
  title        = {Rule-Based Analysis of Dimensional Safety},
  booktitle    = {Rewriting Techniques and Applications, 14th International Conference,
                  {RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2706},
  pages        = {197--207},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44881-0\_15},
  doi          = {10.1007/3-540-44881-0\_15},
  timestamp    = {Sun, 02 Oct 2022 16:14:20 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/ChenRV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}