kalyan.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc kalyan.cite -ob kalyan.bib -c 'author : "Krishnamani"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@article{cavada07fmcad,
  author = {Roberto Cavada and Alessandro Cimatti and Anders Franzen and
Krishnamani Kalyanasundaram and Marco Roveri and R.K. Shyamasundar},
  title = {Computing Predicate Abstractions by Integrating BDDs and SMT Solvers},
  journal = {Formal Methods in Computer Aided Design},
  year = 2007,
  isbn = {0-7695-3023-0},
  pages = {69-76},
  doi = {http://doi.ieeecomputersociety.org/10.1109/FAMCAD.2007.35},
  publisher = {IEEE Computer Society},
  address = {Los Alamitos, CA, USA}
}

@inproceedings{cimatti10date,
  author = {Alessandro Cimatti and Anders Franzen and Alberto Griggio and
      Krishnamani Kalyanasundaram and Marco Roveri},
  title = {Tighter Integration of {BDDs} and {SMT} for Predicate
      Abstraction},
  hal = {http://hal.inria.fr/inria-00535785},
  x-equipes = {demons PROVAL EXT},
  x-support = {actes},
  x-type = {article},
  x-cle-support = {DATE},
  topics = {team},
  crossref = {date10}
}

@inproceedings{filliatre11jfla,
  author = {Filli\^atre, Jean-Christophe and Kalyanasundaram, Krishnamani},
  title = {Une biblioth\`eque de calcul distribu\'e pour {Objective Caml}},
  topics = {team},
  type_publi = {colcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA},
  crossref = {jfla11},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/jfla-2011.pdf}
}

@inproceedings{filliatre11tfp,
  author = {Jean-Christophe Filli\^atre and Krishnamani Kalyanasundaram},
  title = {Functory: A Distributed Computing Library for {Objective Caml}},
  booktitle = {Trends in Functional Programming},
  year = 2011,
  series = {Lecture Notes in Computer Science},
  volume = {7193},
  pages = {65--81},
  topics = {team},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {TFP},
  x-equipes = {demons PROVAL},
  address = {Madrid, Spain},
  month = {May},
  abstract = {We present Functory, a distributed computing library for
  Objective Caml. The main features of this library
  include (1) a polymorphic API, (2) several implementations to
  adapt to different deployment scenarios such as sequential,
  multi-core or network, and (3) a reliable fault-tolerance mechanism.
  This paper describes the motivation behind this work, as well as
  the design and implementation of the library. It also demonstrates
  the potential of the library using realistic experiments.},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/tfp11.pdf}
}

@techreport{kalyan11rr,
  title = {Automated Generation of Loop Invariants using Predicate Abstraction},
  author = {Kalyanasundaram, Krishnamani and March{\'e}, Claude},
  type = {Research Report},
  institution = {INRIA},
  number = 7714,
  year = 2011,
  month = aug,
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  hal = {http://hal.inria.fr/inria-00615623/en/},
  note = {\url{http://hal.inria.fr/inria-00615623/en/}}
}

@proceedings{date10,
  title = {Design, Automation \& Test in {E}urope},
  year = 2010,
  booktitle = {Design, Automation \& Test in {E}urope},
  address = {Dresden. Germany},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  month = mar,
  publisher = {IEEE}
}

@proceedings{jfla11,
  title = {Journ\'ees Francophones des Langages Applicatifs},
  editor = {Sylvain Conchon},
  year = 2011,
  booktitle = {Vingt-deuxi\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {La Bresse, France},
  publisher = {INRIA},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes}
}