| 2025 | EMSOFT | Special Session - Predictable Timing Behavior in Distributed Cyber-Physical Systems. | Jian-Jia Chen, Mario Gnzel, Dakshina Dasari, Matthias Becker, Edward A. Lee, Timothy Bourke |
| 2025 | LICS | Functional Stream Semantics for a Synchronous Block-Diagram Compiler. | Timothy Bourke, Paul Jeanmaire, Marc Pouzet |
| 2023 | ECRTS | Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints. | Timothy Bourke, Vincent Bregeon, Marc Pouzet |
| 2021 | OOPSLA | Specification and end-to-end proof of a reactive language and its compiler (invited talk). | Timothy Bourke |
| 2018 | SCOPES | Towards a verified Lustre compiler with modular reset. | Timothy Bourke, Llio Brun, Marc Pouzet |
| 2017 | FDL | Symbolic simulation of dataflow synchronous programs with timers. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2017 | FDL | Symbolic Simulation of Dataflow Synchronous Programs with Timers. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2017 | FDL | Real-time ticks for synchronous programming. | Reinhard von Hanxleden, Timothy Bourke, Alain Girault |
| 2017 | PLDI | A formally verified compiler for Lustre. | Timothy Bourke, Llio Brun, Pierre-variste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg |
| 2016 | FMCAD | Soundness of the quasi-synchronous abstraction. | Guillaume Baudart, Timothy Bourke, Marc Pouzet |
| 2015 | CC | A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. | Timothy Bourke, Jean-Louis Colao, Bruno Pagano, Cdric Pasteur, Marc Pouzet |
| 2015 | EMSOFT | Loosely time-triggered architectures: improvements and comparisons. | Guillaume Baudart, Albert Benveniste, Timothy Bourke |
| 2014 | ATVA | A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. | Timothy Bourke, Rob J. van Glabbeek, Peter Hfner |
| 2014 | ITP | Showing Invariance Compositionally for a Process Algebra for Network Protocols. | Timothy Bourke, Rob J. van Glabbeek, Peter Hfner |
| 2013 | SP | seL4: From General Purpose to a Proof of Information Flow Enforcement. | Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein |
| 2012 | AISC | Challenges and Experiences in Managing Large-Scale Proofs. | Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski |
| 2011 | EMSOFT | A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. | Albert Benveniste, Timothy Bourke, Benot Caillaud, Marc Pouzet |
| 2008 | EMSOFT | Automatically transforming and relating Uppaal models of embedded systems. | Timothy Bourke, Arcot Sowmya |
| 2006 | EMSOFT | A timing model for synchronous language implementations in simulink. | Timothy Bourke, Arcot Sowmya |