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

BibTeX for 2007

@inproceedings{A+AH4-HCBoneAHJLP2007:WCET,
  author = {Christoph A.~Herrmann and Armelle Bonenfant and Kevin Hammond and Steffen
    Jost and Hans-Wolfgang Loidl and Robert Pointon},
  booktitle = {7th Intl.\ Workshop on Worst-Case Execution Time (WCET) Analysis},
  editor = {Christine Rochange},
  url = {http://drops.dagstuhl.de/opus/volltexte/2007/1186},
  title = {Automatic Amortised Worst-Case Execution Time Analysis},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik
    (IBFI), Schloss Dagstuhl, Germany},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{BoneAChenZHMWW2007:ACM,
  location = {Seoul, Korea},
  pdf = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/papers/sac2007.pdf},
  author = {Armelle Bonenfant and Zezhi Chen and Kevin Hammond and Greg Michaelson and
    Andy Wallace and Iain Wallace},
  keywords = {hume,embounded},
  booktitle = {ACM Symposium on Applied Computing (SAC '07), Seoul, Korea, March 11-15},
  url = {http://www.acm.org/conferences/sac/sac2007/},
  title = {Towards Resource-Certified Software: A Formal Cost Model for Time and its
    Application to an Image-Processing Example},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{BoneAChenZHMWW2007:ACMb,
  author = {Armelle Bonenfant and Zenzhi Chen and Kevin Hammond and Greg Michaelson and
    Andy Wallace and Iain Wallace},
  booktitle = {ACM Symposium on Applied Computing (SAC '07), Seoul, Korea, March 11-15},
  url = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/papers/sac2007.pdf},
  title = {Towards Resource-Certified Software: A Formal Cost Model for Time and its
    Application to an Image-Processing Example},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{BoneAFerdCHH2007:IFL,
  author = {A. Bonenfant and C. Ferdinand and K. Hammond and R. Heckmann},
  booktitle = {{Proc. 2006 Intl. Symp. on Impl. and Appl. of Functional Langs. (IFL 2006)}},
  title = {{Worst-Case Execution Times for a Purely Functional Language}},
  publisher = {Springer-Verlag LNCS 4449},
  year = {2007},
  pages = {235--252},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{C+AH4-HA+AH4-BKSHR2007:WCET,
  booktitle = {7th Intl.\ Workshop on Worst-Case Execution Time (WCET) Analysis},
  title = {Automatic Amortised Worst-Case Execution Time Analysis},
  author = {C.~Herrmann and A.~Bonenfant and K.~Hammond and S.~Jost and H.-W.~Loidl and
    R.~Pointon},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{EdwiMcKiJH2007:TFP,
  booktitle = {Proc. International Symposium on Trends in Functional Programming (TFP
    2007)},
  title = {{Constructing Correct Circuits: Verification of Functional Aspects of
    Hardware Specifications with Dependent Types}},
  author = {{Edwin Brady and James McKinna and Kevin Hammond}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{FerdCHeckRF2007:VVSS,
  author = {Christian Ferdinand and Reinhold Heckmann and B{\"a}rbel Franzen},
  booktitle = {Proceedings of VVSS2007 - 3rd European Symposium on Verification and
    Validation of Software Systems, 23rd of March 2007, Eindhoven},
  editor = {Perry Groot},
  url = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/papers/VVSS07.pdf},
  title = {Static Memory and Timing Analysis of Embedded Systems Code},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{GorrBChenZHWM2007:IRMA,
  volume = {25},
  author = {Benjamin Gorry and Zezhi Chen and Kevin Hammond and Andy Wallace and Greg
    Michaelson},
  booktitle = {IRMA 2007, International Conference on Intelligent Robotics and
    Manufacturing Automation, Venice, Italy, November 23-25, 2007, 2007},
  url = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/papers/IRMA07.pdf},
  title = {Using Mean-Shift Tracking Algorithms for Real-Time Tracking of Moving
    Images on an Autonomous Vehicle Testbed Platform},
  publisher = {World Academy of Science, Engineering and Technology (PWASET)},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@misc{GrovG2007,
  month = {},
  author = {Grov, G.},
  note = {Deliverable D26},
  title = {{Compiler Support Tools}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@incollection{GrovGMichG2007,
  volume = {8},
  author = {Gudmond Grov and Greg Michaelson},
  booktitle = {Trends in Functional Programming},
  editor = {Marco T. Morazan},
  url = {http://www.macs.hw.ac.uk/~greg/publications/gm.TFP07.pdf},
  title = {Towards a Box Calculus for Hierarchical Hume},
  publisher = {Intellect},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{GrovGMichGI2007:IEEE,
  author = {Gudmund Grov and Greg Michaelson and Andrew Ireland},
  booktitle = {3rd IEEE International Workshop on Scheduling and Resource Management for
    Parallel and Distributed Systems},
  url = {http://www.macs.hw.ac.uk/~greg/publications/gmi.srmpds07.pdf},
  title = {Formal Verification of Concurrent Scheduling Strategies using TLA},
  publisher = {IEEE},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@misc{HammK2007,
  month = {},
  author = {Hammond, K..},
  note = {Deliverable D19},
  title = {{Fourth Project Workshop}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{HammKGrovGMI2007:IFL,
  author = {Kevin Hammond and Gudmund Grov and Greg Michaelson and Andrew Ireland},
  keywords = {hume,embounded},
  booktitle = {Proc. Implementation of Functional Languages (IFL 2006)},
  title = {Low-Level Programming in {H}ume: an Exploration of the {HW-Hume} Level},
  publisher = {Springer-Verlag LNCS 4449},
  year = {2007},
  pages = {91--107},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{HerrCBoneAHJLP2007:WCET,
  location = {Pisa, Italy, July 3, 2007},
  pdf = {http://www.irit.fr/wcet2007/wcet07_proceedings.pdf},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/hume/papers/bib.shtml?2007},
  author = {Christoph A. Herrmann and Armelle Bonenfant and Kevin Hammond and Steffen
    Jost and Hans-Wolfgang Loidl and Robert Pointon},
  keywords = {hume, embounded},
  booktitle = {7th Int'l Workshop on Worst-Case Execution Time (WCET) Analysis,
    Proceedings},
  url = {http://www.irit.fr/wcet2007/},
  title = {Automatic Amortised Worst-Case Execution Time Analysis},
  pages = {13--18},
  year = {2007}
}


@misc{JostS2007,
  month = {},
  author = {Jost, S.},
  note = {Deliverable D13},
  title = {{Prototype Implementation of Space Analyses}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@misc{JostS2007b,
  month = {},
  author = {Jost, S.},
  note = {Deliverable D15},
  title = {{Prototype Implementation of Time Analysis}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@misc{JostSHammK2007,
  month = {},
  author = {Jost, S. and Hammond, K.},
  note = {Deliverable D16},
  title = {{Validation of the Prototype Worst-Case Executation Time (WCET) analysis}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@misc{JostSLoidHH2007,
  month = {},
  author = {Jost, S. and Loidl, H-W. and Hammond, K.},
  note = {Deliverable D5},
  title = {{Report on Stack-space Analysis}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@misc{JostSLoidHH2007b,
  month = {},
  author = {Jost, S. and Loidl, H-W. and Hammond, K.},
  note = {Deliverable D11},
  key = {D11},
  title = {{Report on Heap-space Analysis}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@misc{JostSLoidHH2007c,
  month = {},
  author = {Jost, S. and Loidl, H-W. and Hammond, K.},
  note = {Deliverable D14},
  key = {D14},
  title = {{Report on WCET Analysis}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{LiuCMichG2007,
  author = {Chunxu Liu and Greg Michaelson},
  booktitle = {Draft Proceedings of 19th International Symposium on Implementation and
    Application of Functional Languages},
  editor = {O. Chitil},
  url = {http://www.macs.hw.ac.uk/~greg/publications/lm.ifl07.pdf},
  title = {HW-Hume in Isabelle},
  publisher = {Computing Laboratory, University of Kent},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@misc{LoidHGrovG2007,
  month = {},
  author = {Loidl, H-W. and Grov, G.},
  note = {Deliverable D17},
  title = {{Assertion Language}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{SannDHofmMAGSBLMMS2007:TFP,
  author = {D. Sannella and M. Hofmann and D. Aspinall and S. Gilmore and I. Stark and
    L. Beringer and H-W. Loidl and K. MacKenzie and A. Momigliano and O.
    Shkaravska},
  booktitle = {{TFP05: Trends in Functional Programing}},
  url = {http://www.tcs.informatik.uni-muenchen.de/\~{}hwloidl/publications/mrg-sum.pdf},
  title = {{Mobile Resource Guarantees (project evaluation paper)}},
  address = {Tallinn, Estonia},
  publisher = {Intellect},
  year = {2007},
  pages = {211--226},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@inproceedings{SimoHHammKFV2007:TYPES,
  author = {Hugo R. Simoes and Kevin Hammond and M\'{a}rio Florido and Pedro
    Vasconcelos},
  booktitle = {{Proc. 2006 International Conf. on Types (TYPES 2006)}},
  title = {{Intersection Types for Cost-analysis of Functional Programs}},
  publisher = {{Springer-Verlag LNCS}},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


@article{WilhREngbJEHTWBFHMMPPSS2007:ACMTECS,
  author = {Reinhard Wilhelm and Jakob Engblom and Andreas Ermedahl and Niklas Holsti
    and Stephan Thesing and David Whalley and Guillem Bernat and Christian
    Ferdinand and Reinhold Heckmann and Tulika Mitra and Frank Mueller and
    Isabelle Puaut and Peter Puschner and Jan Staschulat and Per
    Stenstr{\"o}m},
  note = {To appear},
  title = {The Worst-Case Execution Time Problem --- Overview of Methods and Survey of
    Tools},
  journal = {ACM Transactions on Embedded Computing Systems},
  year = {2007},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2007}
}


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).