Publications

External bibliographies:

• ACM Digital Library
• DBLP

Conferences

• EMSOFT2023
  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.
• ECRTS2023
  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.
• EMSOFT2021
  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.
• POPL2020
  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.
• FDL2019
  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.
• EMSOFT2017
  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.
• FDL2017
  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.
• FDL2017b
  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.
• PLDI2017
  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.
• FMCAD2016
  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.
• EMSOFT2015
  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.
• CC2015
  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.
• ATVA2014
  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.
• ITP2014
  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.
• HSCC2014
  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.
• SP2013
  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.
• HSCC2013
  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.
• CICM2012
  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.
• EMSOFT2011
  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.
• 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, IL, 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, GA, 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

• EPTCS2018
  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.
• IEEE2018
  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.
• NAHS2017
  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.
• TECS2016
  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.
• JAR2016
  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.
• TECS2013
  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.
• JCSS2012
  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

• TCRS24
  T. Bourke and M. Pouzet.
  Lustre, Fast First and Fresh
  .
  Time-Centric Reactive Software,
  Raleigh, NC, USA,
  3 October 2024.
• JFLA23
  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.
• TYPES22
  T. Bourke, P. Jeanmaire, and M. Pouzet.
  Toward a denotational semantics of streams for a verified Lustre compiler
  .
  Types for Proofs and Programs,
  Nantes, France,
  20—23 June 2022.
• JFLA21
  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.
• JFLA19
  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.
• JFLA17
  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.
• ML16
  T. Bourke, J. Inoue, and M. Pouzet.
  Sundials/ML: interfacing with numerical solvers
  .
  ACM Workshop on ML,
  Nara, Japan,
  22 September 2016.
• 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

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

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

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