Publications

External bibliographies:

Conferences

  • T. Murray, D. Matichuk, M. Brassil, P. Gammie, T. Bourke, S. Seefried, C. Lewis, X. Gao, and G. Klein.
    seL4: from General Purpose to a Proof of Information Flow Enforcement.
    To appear: In proceedings of the IEEE Symposium on Security and Privacy,
    San Francisco, CA, USA,
    19-22 May, 2013.
  • T. Bourke and M. Pouzet.
    Zélus: A Synchronous Language with ODEs.
    In proceedings of the 16th International Conference on Hybrid Systems: Computation and Control,
    pages 113–118,
    Philadelphia, USA,
    8-11 April, 2013.
  • T. Bourke, M. Daum, G. Klein, and R. Kolanski.
    Challenges and Experiences in Managing Large-Scale Proofs.
    Calculemus 2012: In proceedings of the 11th International Conference on Intelligent Computer Mathematics (CICM): Mathematical Knowledge Management,
    pages 32–48,
    Bremen, Germany,
    9-14 July, 2012.
  • A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet.
    A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code.
    In proceedings of the International Conference on Embedded Software,
    pages 137–147,
    Taipei, Taiwan,
    9-14 October, 2011.
  • 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.
  • 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.
  • 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.
  • 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

  • T. Bourke and A. Sowmya.
    Analyzing an Embedded Sensor with Timed Automata in Uppaal.
    ACM Transactions on Embedded Computing Systems,
    Accepted for publication in 2013.
  • A. Benveniste, T. Bourke, B. Caillaud, and M. Pouzet.
    Non-Standard Semantics of Hybrid Systems Modelers.
    Journal of Computer and System Sciences,
    78
    (3),
    pages 877–910,
    May 2012.

Workshops

Refereed

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

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

Other

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