[an error occurred while processing this directive] [an error occurred while processing this directive] BibTeX for 2009 [an error occurred while processing this directive]

BibTeX for 2009

@inproceedings{BhatSBradEHM2009:NGNA,
  author = {Saleem Bhatti and Edwin Brady and Kevin Hammond and James McKinna},
  note = {to appear},
  booktitle = {Proc. International Workshop on Next Generation Network Architecture (NGNA
    2009), Montreal, Canada},
  title = {{Domain Specific Languages (DSLs) for Network Protocols}},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@article{BradEHammK2009:FI,
  author = {Edwin Brady and Kevin Hammond},
  note = {to appear},
  title = {{Correct-by-Construction Concurrency: using Dependent Types to Verify
    Implementations of Effectful Resource Usage Protocols}},
  journal = {{Fundamenta Informatica}},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@phdthesis{GrovG2009,
  school = {School of Mathematics and Computer Science, Heriot-Watt University},
  title = {{Reasoning about Correctness Properties of a Coordination Language}},
  author = {Gudmund Grov},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@inproceedings{GudmMichGHLJH2009:SETP,
  booktitle = {{Proc. 2009 International Conference on Software Engineering Theory and
    Practice (SETP 2009)}},
  title = {{Hume Cost Analyses for Imperative Programs}},
  author = {{Gudmund Grov and Greg Michaelson and Christoph Herrmann and Hans-Wolfgang
    Loidl and Steffen Jost and Kevin Hammond}},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@misc{HammKMichG2009,
  author = {K. Hammond and G. Michaelson},
  note = {Version 0.3},
  title = {{The Hume Report}},
  ps = {http://www-fp.dcs.st-and.ac.uk/hume/report/hume-report.ps},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@misc{JostSHammK2009,
  month = {},
  author = {Jost, S. and Hammond, K.},
  note = {Deliverable D43},
  key = {D43},
  title = {{Analysis Robustification}},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@inproceedings{LoidHBeriL2009,
  author = {H-W. Loidl and L. Beringer},
  note = {Submitted},
  booktitle = {{FM09 --- 16th International Symposium on Formal Methods}},
  title = {{A Resource Logic for Hume}},
  address = {Eindhoven, The Netherlands, November 2--6},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@misc{RothR2009,
  author = {Robert Rothenberg},
  key = {EBw},
  url = {http://www.embounded.org},
  title = {Web site of the EmBounded Project ({IST}-510255)},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@misc{ScaiNLoidHMS2009,
  month = {},
  author = {Scaife, N. and Loidl, H-W. and Michaelson, G. and S\'{e}rot, J.},
  note = {Deliverable D44},
  key = {D44},
  title = {{Costing-by-construction Exemplar}},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


@phdthesis{Sim+AH4-H2009,
  month = {??},
  author = {Hugo Sim{\~{o}}es},
  title = {Lazy Amortised Analysis?},
  school = {School of Computer Science, University of St Andrews},
  year = {2009},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2009}
}


This page was last modified on Friday 8 May 2009 17:04:38. This site is maintained by Robert Rothenberg (rr@cs.st-andrews.ac.uk).