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

BibTeX for 2006

@inproceedings{BentNKennAHB2006:ASIAN,
  booktitle = {{Proc. Fourth ASIAN Symposium on Programming Languages and Systems (APLAS
    2006), Sydney, Australia}},
  title = {{Reading, Writing and Relations}},
  author = {N. Benton and A. Kennedy and M. Hofmann and L. Beringer},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{BeriLHofmM2006:ASIAN,
  booktitle = {{Proc. Fourth ASIAN Symposium on Programming Languages and Systems (APLAS
    2006), Sydney, Australia}},
  title = {{A Bytecode Logic for JML and Types}},
  author = {L. Beringer and M. Hofmann},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{BradEHammK2006:IFL,
  volume = {4015},
  pdf = {http://www.cs.st-andrews.ac.uk/~eb/writings/dtsize.pdf},
  author = {Edwin Brady and Kevin Hammond},
  series = {Lecture Notes in Computer Science},
  booktitle = {Implementation of Functional Languages (IFL) 2005},
  title = {A Dependently Typed Framework for Static Analysis of Program Execution
    Costs},
  abstract = {This paper considers the use of dependent types to capture information
    about dynamic resource usage in a static type system. Dependent types
    allow us to give remph(explicit) proofs of properties with a program;
    we present a dependently typed core language source, and define a
    framework within this language for representing size metrics and their
    properties. We give several examples of size bounded programs within
    this framework and show that we can construct proofs of their size
    bounds within source. We further show how the framework handles
    recursive higher order functions and sum types, and contrast our system
    with previous work based on sized types.},
  address = {Berlin/Heidelberg},
  publisher = {Springer},
  pages = {74-90},
  year = {2006},
  doi = {10.1007/11964681_5},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{BradEHammK2006:GPCE,
  pdf = {http://www-old.cs.st-andrews.ac.uk/~eb/writings/verified_staged.pdf},
  author = {Edwin Brady and Kevin Hammond},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proc. Conf. Generative Programming and Component Engineering (GPCE '06),
    Portland, Oregon},
  title = {A Verified Staged Interpreter is a Verified Compiler: Multi-stage
    Programming with Dependent Types},
  publisher = {Springer},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{DaxCHofmML2006,
  booktitle = {{Proc. Conf. on Foundations of Software Technology and Theoretical Computer
    Science, Kolkata, India}},
  title = {{A Proof System for the Linear Time $\mu$-Calculus}},
  author = {C. Dax and M. Hofmann and M. Lange},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@article{EmBoT2006:THM,
  month = {November},
  pdf = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/Advertorial.pdf},
  issn = {0309-0426},
  author = {The {EmBounded Project}},
  note = {Advertisement.},
  title = {EmBounded: Formally Embedded Systems},
  publisher = {Dods Parliamentary Communications, Ltd.},
  year = {2006},
  journal = {The House Magazine},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{FerdCHeckR2006,
  booktitle = {{Proc. Embedded World 2006 Conference,N\"{u}rnberg, Germany}},
  title = {{Improved Worst-Case Execution Time Prediction via Execution Contexts}},
  author = {Christian Ferdinand and Reinhold Heckmann},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{FerdCHeckR2006:ERTS,
  booktitle = {{Proc. Embedded Real Time Software Congress (ERTS 2006), Toulouse, France}},
  title = {{Verifying Timing Properties of Safety-Critical Embedded Software by
    Abstract Interpretation}},
  author = {Christian Ferdinand and Reinhold Heckmann},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@unpublished{HammK2006,
  title = {An Abstract Machine Implementation for Hume},
  author = {K. Hammond},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HammK2006:CEFP,
  issn = {0302-9743},
  author = {Kevin Hammond},
  series = {Lecture Notes in Computer Science},
  keywords = {hume,embounded},
  editor = {Zolt\'an Horv\'ath},
  isbn = {978-3-540-46843-1},
  publisher = {Springer-Verlag},
  doi = {10.1007/11894100_4},
  volume = {4164},
  pdf = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/hume/cefp2005.pdf},
  booktitle = {First Central European Summer School, CEFP 2005, Budapest, Hungary, July
    4-15, 2005, Revised Selected Lectures},
  title = {Exploiting Purely Functional Programming to Obtain Bounded Resource
    Behaviour: the {Hume} Approach},
  year = {2006},
  pages = {100-134},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HammKDyckRFHHJLMSW2006:TFP,
  volume = {6},
  pdf = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/hume/embounded-tfp05.pdf},
  author = {Kevin Hammond and Roy Dyckhoff and Christian Ferdinand and Reinhold
    Heckmann and Martin Hofmann and Steffen Jost and Hans-Wolfgang Loidl
    and Greg Michaelson and Jocelyn S\'erot and Andy Wallace},
  series = {Trends in Functional Programming},
  keywords = {hume,embounded},
  booktitle = {Proc. 6th Symposium on Trends in Functional Programming (TFP 2005),
    Tallinn, Estonia, 23-24 September 2005},
  title = {The EmBounded project (project paper)},
  publisher = {Intellect},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HammKDyckRFHHLMSW2006,
  booktitle = {Trends in Functional Programming, Volume 6},
  title = {{The EmBounded Project: Automatic Prediction of Resource Bounds for
    Embedded Systems}},
  author = {Kevin Hammond and Roy Dyckhoff and Christian Ferdinand and Reinhold
    Heckmann and Martin Hofmann and Hans-Wolfgang Loidl and Greg Michaelson
    and Jocelyn S\'{e}rot and Andy Wallace},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HammKFerdCHDHJLMPSSW2006,
  pdf = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/hume/itces06.pdf},
  author = {Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy
    Dyckhoff and Martin Hoffmann and Steffen Jost and Hans-Wolfgang Loidl
    and Greg Michaelson and Robert Pointon and Norman Scaife and Jocelyn
    S\'erot and Andy Wallace},
  keywords = {hume,embounded},
  booktitle = {Proc. Workshop on Innovative Techniques for Certification of Embedded
    Systems},
  title = {Towards Formally Verifiable Resource Bounds for Real-Time Embedded Systems},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HammKFerdCHDHJLMPSSW2006:WCET,
  author = {Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy
    Dyckhoff and Martin Hofman and Steffen Jost and Hans-Wolfgang Loidl and
    Greg Michaelson and Robert Pointon and Norman Scaife and Jocelyn
    S{\'e}rot and Andy Wallace},
  series = {Dagstuhl Seminar Proceedings},
  keywords = {worst-case execution time, functional programming, hume, cost model,
    asynchronous, finite state machine, embounded},
  editor = {Frank Mueller},
  url = {http://drops.dagstuhl.de/opus/volltexte/2006/677},
  address = {Dagstuhl, Germany},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI),
    Schloss Dagstuhl, Germany},
  pdf = {http://drops.dagstuhl.de/opus/volltexte/2006/677/pdf/WCET_Hammond.677.pdf},
  booktitle = {6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis},
  urn = {urn:nbn:de:0030-drops-6773},
  abstract = {This paper describes ongoing work aimed at the construction of formal cost
    models and analyses to yield verifiable guarantees of resource usage in
    the context of real-time embedded systems. Our work is conducted in
    terms of the domain-specific language Hume, a language that combines
    functional programming for computations with finitestate automata for
    specifying reactive systems. We outline an approach in which high-level
    information derived from source-code analysis can be combined with
    worst-case execution time information obtained from high quality
    abstract interpretation of low-level binary code.},
  title = {Towards Formally Verifiable {WCET} Analysis for a Functional Programming
    Language},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@article{HammKMichGV2006:ACMTSEM,
  pdf = {http://www-fp.cs.st-andrews.ac.uk/embounded/pubs/papers/tosem.pdf},
  author = {Kevin Hammond and Greg Michaelson and Pedro Vasconcelos},
  note = {Submitted},
  keywords = {hume},
  title = {Bounded Space Programming using Finite State Machines and Recursive
    Functions: the Hume Approach},
  journal = {ACM Transactions on Software Engineering Methodology},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HeckRFerdC2006:SAE,
  booktitle = {{Proc. SAE World Congress, Michigan, USA}},
  title = {{Static Memory and Execution Time Analysis of Embedded Code}},
  author = {Reinhold Heckmann and Christian Ferdinand},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HofmMJostS2006:ESOP,
  volume = {3924},
  author = {Hofmann, Martin and Jost, Steffen},
  series = {Lecture Notes in Computer Science (LNCS)},
  key = {HJ_ESOP06},
  booktitle = {Proceedings of the 15th European Symposium on Programming (ESOP)},
  editor = {Peter Sestoft},
  url = {http://www.dcs.st-andrews.ac.uk/\~jost/research/},
  title = {Type-based Amortised Heap-Space Analysis (for an Object-Oriented Language)},
  publisher = {Springer-Verlag},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HofmMJostS2006:ESOPb,
  volume = {3924},
  author = {Hofmann, Martin and Jost, Steffen},
  series = {Lecture Notes in Computer Science (LNCS)},
  key = {HJ_ESOP06},
  booktitle = {Proceedings of the 15th European Symposium on Programming (ESOP)},
  editor = {Peter Sestoft},
  url = {http://www.dcs.st-andrews.ac.uk/\~jost/research/},
  title = {Type-based Amortised Heap-Space Analysis (for an Object-Oriented Language)},
  publisher = {Springer-Verlag},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{HofmMJostS2006:ESOPc,
  volume = {3924},
  issn = {0302-9743},
  author = {Martin Hofmann and Steffen Jost},
  series = {Lecture Notes in Computer Science},
  booktitle = {Programming Languages and Systems : 15th European Symposium on Programming,
    ESOP 2006, Held as Part of the Joint European Conferences on Theory and
    Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006},
  editor = {Peter Sestoft},
  title = {Type-Based Amortised Heap-Space Analysis.},
  isbn = {978-3-540-33095-0},
  publisher = {Springer-Verlag},
  pages = {22-37},
  year = {2006},
  doi = {10.1007/11693024_3},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@article{HofmMvan JT2006:AML,
  number = {7},
  volume = {45},
  author = {M. Hofmann and J. {van Oosten} and T.	Streicher},
  title = {{Well-foundedness in Realizability}},
  pages = {795--805},
  journal = {Archive for Mathematical Logic},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{JiMWangJLQ2006:AST,
  author = {Meng-Luo Ji and Ji Wang and Shuhao Li and Zhi-Chang Qi},
  booktitle = {AST'06},
  title = {Automated {WCET} Analysis based on Program Modes},
  publisher = {ACM Press},
  year = {2006},
  pages = {36-42},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@misc{JostS2006,
  month = {},
  author = {Jost, S.},
  note = {Deliverable D12},
  title = {{Formal Hume Semantics}},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@misc{LoidHHammK2006,
  month = {},
  author = {Loidl, H-W. and Hammond, K.},
  note = {Deliverable D4},
  title = {{Cost Model}},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{MichGPoinR2006:TFP,
  author = {Greg Michaelson and Robert Pointon},
  booktitle = {Trends in Functional Programming (TFP'06)},
  title = {Recursion, Iteration and Hume Scheduling},
  address = {Nottingham UK},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{MichGWallAHWBC2006:SEAS,
  location = {Edinburgh},
  pdf = {http://www.seasdtc.com/downloads/pdf/conf_material_06/sensor_exploitation/sen002.pdf},
  author = {Greg Michaelson and Andy Wallace and Kevin Hammond and Iain Wallace and
    Armelle Bonenfant and Zezhi Chen},
  keywords = {hume,embounded},
  booktitle = {Systems Engineering for Autonomous Systems Defence Technology Centre (SEAS
    DTC), Annual Technical Conference, July 2006, Edinburgh, Conference
    Proceedings},
  url = {http://www.seasdtc.com/events/2006_annual_conf_materials.htm},
  title = {Toward Resource Certified Image Processing Software},
  publisher = {UK MoD},
  year = {2006},
  pages = {A15},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@inproceedings{PoinR2006:IFL,
  author = {Robert F. Pointon},
  booktitle = {Implementation of Functional Languages (IFL'06)},
  title = {Compiling vs Costing - Experiences With Hume},
  address = {Budapest Hungary},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@misc{SeroJScaiN2006,
  month = {},
  author = {Jocelyn Serot and Norman Scaife},
  note = {Laboratoire LASMEA, Blaise Pascal University},
  title = {Real-time Testbed Applications},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


@misc{SeroJScaiN2006b,
  month = {},
  author = {Jocelyn Serot and Norman Scaife},
  note = {Deliverable D7},
  title = {Real-time Testbed Applications},
  year = {2006},
  bibsource = {http://www-fp.cs.st-andrews.ac.uk/embounded//pubs/list/bib.shtml?2006}
}


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