Timothy Bourke

ORCID

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 16

Top Venues

ACM Trans. Embed. Comput. Syst.

CoRR

HSCC

FDL

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Timothy Bourke, Vincent Bregeon, Marc Pouzet
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints. ECRTS (2023)
Timothy Bourke, Basile Pesin, Marc Pouzet
Verified Compilation of Synchronous Dataflow with State Machines. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Timothy Bourke
Specification and end-to-end proof of a reactive language and its compiler (invited talk). REBLS@SPLASH (2021)
Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet
Verified Lustre Normalization with Node Subsampling. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Timothy Bourke, Lélio Brun, Marc Pouzet
Mechanized semantics and verified compilation for a dataflow synchronous language with reset. Proc. ACM Program. Lang. 4 (POPL) (2020)
Timothy Bourke, Lélio Brun, Marc Pouzet
Towards a verified Lustre compiler with modular reset. SCOPES (2018)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE 106 (9) (2018)
Guillaume Baudart, Timothy Bourke, Marc Pouzet
Symbolic simulation of dataflow synchronous programs with timers. FDL (2017)
Reinhard von Hanxleden, Timothy Bourke, Alain Girault
Real-time ticks for synchronous programming. FDL (2017)
Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
A Synchronous Look at the Simulink Standard Library. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg
A formally verified compiler for Lustre. PLDI (2017)
Guillaume Baudart, Timothy Bourke, Marc Pouzet
Symbolic Simulation of Dataflow Synchronous Programs with Timers. FDL (Selected Papers) (2017)
Guillaume Baudart, Timothy Bourke, Marc Pouzet
Soundness of the quasi-synchronous abstraction. FMCAD (2016)
Guillaume Baudart, Albert Benveniste, Timothy Bourke
Loosely Time-Triggered Architectures: Improvements and Comparisons. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Timothy Bourke, Jun Inoue, Marc Pouzet
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. ML/OCAML (2016)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Mechanizing a Process Algebra for Network Protocols. J. Autom. Reason. 56 (3) (2016)
Guillaume Baudart, Albert Benveniste, Timothy Bourke
Loosely time-triggered architectures: improvements and comparisons. EMSOFT (2015)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Mechanizing a Process Algebra for Network Protocols. CoRR (2015)
Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. CC (2015)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. CoRR (2015)
Timothy Bourke
Mechanization of the Algebra for Wireless Networks (AWN). Arch. Formal Proofs 2014 (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Showing invariance compositionally for a process algebra for network protocols. CoRR (2014)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
A type-based analysis of causality loops in hybrid systems modelers. HSCC (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA (2014)
Timothy Bourke, Peter Höfner
Loop freedom of the (untimed) AODV routing protocol. Arch. Formal Proofs 2014 (2014)
Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP (2014)
Timothy Bourke, Marc Pouzet
Zélus: a synchronous language with ODEs. HSCC (2013)
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
seL4: From General Purpose to a Proof of Information Flow Enforcement. IEEE Symposium on Security and Privacy (2013)
Timothy Bourke, Arcot Sowmya
Analyzing an embedded sensor with timed automata in uppaal. ACM Trans. Embed. Comput. Syst. 13 (3) (2013)
Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
Challenges and Experiences in Managing Large-Scale Proofs. AISC/MKM/Calculemus (2012)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78 (3) (2012)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. EMSOFT (2011)
Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
Divide and recycle: types and compilation for a hybrid synchronous language. LCTES (2011)
Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
New Results on Timed Specifications. WADT (2010)
Timothy Bourke, Arcot Sowmya
Automatically transforming and relating Uppaal models of embedded systems. EMSOFT (2008)
Timothy Bourke, Arcot Sowmya
A timing model for synchronous language implementations in simulink. EMSOFT (2006)
Timothy Bourke, Arcot Sowmya
Formal Models in Industry Standard Tools: an Argos Block within Simulink. Int. J. Softw. Eng. Knowl. Eng. 15 (2) (2005)

Timothy Bourke.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Timothy Bourke