Publications

External bibliographies:

Conferences

  • T. Bourke, L. Brun, P.-É. Dagand, X. Leroy, M. Pouzet, and L. Rieg.
    A Verified Compiler for Lustre
    Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,
    to appear,
    Barcelona, Spain,
    18–23 June 2017.
  • G. Baudart, T. Bourke, and M. Pouzet.
    Soundness of the Quasi-Synchronous Abstraction.
    Proceedings of the 16th International Conference on Formal Methods in Computer-Aided Design,
    pages 9–16,
    Mountain View, CA, USA,
    3–6 October 2016.
  • G. Baudart, A. Benveniste, and T. Bourke.
    Loosely Time-Triggered Architectures: Improvements and Comparisons.
    Proceedings of the 15th International Conference on Embedded Software,
    pages 85—94,
    Amsterdam, The Netherlands,
    4–9 October 2015.
  • T. Bourke, J.-L. Colaço, B. Pagano, C. Pasteur, and M.Pouzet.
    A Synchronous-based Code Generator For Explicit Hybrid Systems Languages.
    Proceedings of the 24th International Conference on Compiler Construction,
    pages 69–88,
    London, UK,
    11–18 April 2015.
  • T. Bourke, R. J. van Glabbeek, and P. Höfner.
    A mechanized proof of loop freedom of the (untimed) AODV routing protocol.
    LNCS 8837: Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis,
    pages 47–63,
    Sydney, Australia,
    3–7 November 2014.
  • T. Bourke, R. J. van Glabbeek, and P. Höfner.
    Showing invariance compositionally for a process algebra for network protocols.
    LNCS 8558: Proceedings of the 5th International Conference on Interactive Theorem Proving,
    pages 144–159,
    Vienna, Austria,
    14–17 July 2014.
  • A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, and M. Pouzet.
    A Type-based Analysis of Causality Loops in Hybrid Systems Modelers.
    In proceedings of the 17th International Conference on Hybrid Systems: Computation and Control,
    pages 71–82,
    Berlin, Germany,
    15–17 April 2014.
  • 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.
    In proceedings of the IEEE Symposium on Security and Privacy,
    pages 415–429,
    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, IL, 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, GA, 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

  • G. Baudart, A. Benveniste, and T. Bourke.
    Loosely Time-Triggered Architectures: Improvements and Comparisons.
    ACM Transactions on Embedded Computing Systems,
    15
    4
    ,
    Article No. 71,
    August 2016.
  • T. Bourke, R.J. van Glabbeek, and P. Höfner.
    Mechanizing a Process Algebra for Network Protocols.
    Journal of Automated Reasoning,
    56
    3
    ,
    309-341,
    March 2016.
  • T. Bourke and A. Sowmya.
    Analyzing an Embedded Sensor with Timed Automata in Uppaal.
    ACM Transactions on Embedded Computing Systems,
    13
    3
    ,
    Article No. 44,
    December 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, P.-É. Dagand, M. Pouzet, and L. Rieg.
    Vérification de la génération modulaire du code impératif pour Lustre.
    Journées Francophones des Langages Applicatifs,
    pages 165—179,
    Gourette (Pyrénées), France,
    4–7 January 2017.
  • T. Bourke, J. Inoue, and M. Pouzet.
    Sundials/ML: interfacing with numerical solvers.
    ACM Workshop on ML,
    Nara, Japan,
    22 September 2016.
  • 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 M. Pouzet.
    A slow afternoon chez PARKAS and a very fast fly (a fun talk).
    In Dagstuhl Seminar Proceedings 13471: SYNCHRON 2013,
    Dagstuhl, Germany,
    18–22 November 2013.
  • 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.