Publications

External bibliographies:

Conferences

  • EMSOFT2011
    A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet.
    A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code.
    To appear: In proceedings of the International Conference on Embedded Software,
    Taipei, Taiwan,
    9-14 October, 2011.
  • LCTES2011
    A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet.
    Divide and Recycle: Types and Compilation for a Hybrid Synchronous Language.
    In proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems,
    pages 61–70,
    Chicago, Illinois, USA,
    12-14 April, 2011.
  • EMSOFT2008
    T. Bourke and A. Sowmya.
    Automatically transforming and relating Uppaal models of embedded systems.
    In proceedings of the 8th ACM & IEEE International Conference on Embedded Software,
    pages 59–68,
    Atlanta, Georgia, USA,
    19–24 October, 2008.
  • EMSOFT2006
    T. Bourke and A. Sowmya.
    A Timing Model for Synchronous Language Implementations in Simulink.
    In proceedings of the 6th ACM & IEEE International Conference on Embedded Software,
    pages 93–101,
    Seoul, Korea,
    22–25 October, 2006.
  • IEHSC2005
    T. Bourke and A. Sowmya.
    Formal Models in Industry Standard Tools: An Argos Block within Simulink.
    International Journal of Software Engineering and Knowledge Engineering: Selected Papers from the 2005 International Conference on Embedded and Hybrid Systems,
    volume 15(2),
    pages 389–395,
    Singapore,
    April, 2005.

Journals

  • JCSS2011
    A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet.
    Non-Standard Semantics of Hybrid Systems Modelers.
    Journal of Computer and System Sciences,
    special issue in honour of Amir Pnueli.
    Accepted for publication in 2011.

Workshops

Refereed

  • WADT10
    T. Bourke, A. David, K. G. Larsen, A. Legay, D. Lime, U. Nyman, and A. Wąsowski
    New Results on Timed Specifications,
    LNCS 7137: Recent Trends in Algebraic Development Techniques, Revised Selected Papers of WADT 2010,
    Schloss Etelsen, Germany,
    1–4 July, 2010.
  • HOTDEP07
    L. Ryzhyk, T. Bourke, and I. Kuz.
    Reliable device drivers require well-defined protocols.
    In proceedings of the 3rd workshop on Hot Topics in System Dependability,
    Edinburgh, Scotland, UK,
    26 June, 2007.

Unrefereed

  • SYNCHRON09
    T. Bourke and A. Sowmya.
    Delays in Esterel.
    In Dagstuhl Seminar Proceedings 09481: SYNCHRON 2009,
    Dagstuhl, Germany,
    22–27 November, 2009.

Other

  • PhD
    T. Bourke.
    Modelling and Programming Embedded Controllers with Timed Automata and Synchronous Languages
    University of NSW, Sydney,
    2009.