Publications

External bibliographies:

Conferences

  • T. Bourke, B. Pesin, and M. Pouzet.
    Verified Compilation of Synchronous Dataflow with State Machines
    .
    ACM Transactions on Embedded Computing Systems (TECS), special issue for EMSOFT 2023,
    article 137,
    Hamburg, Germany
    ,
    18–20 September 2023.
  • T. Bourke, V. Bregeon, and M. Pouzet.
    Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
    .
    Proceedings of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023),
    1:1–1:22,
    Vienna, Austria
    ,
    11–14 July 2023.
  • T. Bourke, P. Jeanmaire, B. Pesin, and M. Pouzet.
    Verified Lustre Normalization with Node Subsampling
    .
    ACM Transactions on Embedded Computing Systems (TECS), special issue for EMSOFT 2021,
    article 98,
    Online
    ,
    8–15 October 2021.
  • T. Bourke, L. Brun, and M. Pouzet.
    Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset
    .
    Proceedings of the 47th ACM SIGPLAN Symposium on Principles of Programming Languages,
    article 44,
    New Orleans, LA, USA
    ,
    19–25 January 2020.
  • G. Baudart, T. Bourke, and M. Pouzet.
    Symbolic Simulation of Dataflow Synchronous Programs with Timers
    .
    Lecture Notes in Electrical Engineering,
    pages 45–70,
    vol. 530
    ,
    January 2019.
  • T. Bourke, F. Carcenac, B. Pagano, C. Pasteur, and M. Pouzet.
    A Synchronous Look at the Simulink Standard Library
    .
    Proceedings of the 17th ACM SIGPLAN Conference on Embedded Software,
    Article 176,
    Seoul, South Korea,
    15–20 October 2017.
  • G. Baudart, T. Bourke, and M. Pouzet.
    Symbolic Simulation of Dataflow Synchronous Programs with Timers
    .
    Proceedings of the 12th Forum on Specification and Design Languages,
    Verona, Italy,
    18–20 September 2017.
  • R. von Hanxleden, T. Bourke, and A. Girault.
    Real-Time Ticks for Synchronous Programming
    .
    Proceedings of the 12th Forum on Specification and Design Languages,
    Verona, Italy,
    18–20 September 2017.
  • 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,
    586–601,
    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

  • T. Bourke, J. Inoue, and M. Pouzet.
    Sundials/ML: connecting OCaml to the Sundials numeric solvers
    .
    Electronic Proceedings in Theoretical Computer Science,
    pages 101–130,
    vol. 285
    ,
    December 2018.
  • A. Benveniste, T. Bourke, B. Caillaud, J.-L. Colaço, C. Pasteur, and M. Pouzet.
    Building a Hybrid Systems Modeler on Synchronous Languages Principles
    .
    Proceedings of the IEEE,
    pages 1568–1592,
    vol. 106
    ,
    9
    ,
    2018.
  • A. Benveniste, T. Bourke, B. Caillaud, B. Pagano, and M. Pouzet.
    A type-based analysis of causality loops in hybrid systems modelers
    .
    Nonlinear Analysis: Hybrid Systems,
    pages 168–189,
    vol. 26
    ,
    November 2017.
  • 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, B. Pesin, and M. Pouzet.
    Analyse de dépendance vérifiée pour un langage synchrone à flot de données
    .
    Journées Francophones des Langages Applicatifs,
    pages 101–120,
    Praz-sur-Arly,
    31 janvier–3 février 2023.
  • T. Bourke, P. Jeanmaire, B. Pesin, and M. Pouzet.
    Normalisation vérifiée du langage Lustre
    .
    Journées Francophones des Langages Applicatifs,
    pages 117–133,
    Online,
    7–9 April 2021.
  • T. Bourke and M. Pouzet.
    Arguments cadencés dans un compilateur Lustre vérifié
    .
    Journées Francophones des Langages Applicatifs,
    pages 109–124,
    Les Rousses (Haut-Jura), France,
    30 January–2 February 2019.
  • 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, L. Brun, and M. Pouzet.
    Towards a verified Lustre compiler with modular reset
    .
    A research presentation at SCOPES 2018,
    pages 4–7,
    St. Goar, Germany,
    28–30 May 2018.
  • 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.