Timothy Bourke

According to our database, Timothy Bourke authored at least 33 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verified Compilation of Synchronous Dataflow with State Machines.

Timothy Bourke, Basile Pesin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., October, 2023

Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints.

Timothy Bourke, Vincent Bregeon, Marc Pouzet

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2021

Verified Lustre Normalization with Node Subsampling.

Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2021

Specification and end-to-end proof of a reactive language and its compiler (invited talk).

Timothy Bourke

Proceedings of the REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2021

2020

Mechanized semantics and verified compilation for a dataflow synchronous language with reset.

Timothy Bourke, Lélio Brun, Marc Pouzet

Proc. ACM Program. Lang., 2020

2018

Building a Hybrid Systems Modeler on Synchronous Languages Principles.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet

Proc. IEEE, 2018

Towards a verified Lustre compiler with modular reset.

Timothy Bourke, Lélio Brun, Marc Pouzet

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

2017

A Synchronous Look at the Simulink Standard Library.

Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2017

A formally verified compiler for Lustre.

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Real-time ticks for synchronous programming.

Reinhard von Hanxleden, Timothy Bourke, Alain Girault

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

Symbolic simulation of dataflow synchronous programs with timers.

Guillaume Baudart, Timothy Bourke, Marc Pouzet

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

2016

Loosely Time-Triggered Architectures: Improvements and Comparisons.

Guillaume Baudart, Albert Benveniste, Timothy Bourke

ACM Trans. Embed. Comput. Syst., 2016

Mechanizing a Process Algebra for Network Protocols.

Timothy Bourke, Rob J. van Glabbeek, Peter Höfner

J. Autom. Reason., 2016

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers.

Timothy Bourke, Jun Inoue, Marc Pouzet

Proceedings of the Proceedings ML Family Workshop / OCaml Users and Developers workshops, 2016

Soundness of the quasi-synchronous abstraction.

Guillaume Baudart, Timothy Bourke, Marc Pouzet

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages.

Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

Loop freedom of the (untimed) AODV routing protocol.

Timothy Bourke, Peter Höfner

Arch. Formal Proofs, 2014

Mechanization of the Algebra for Wireless Networks (AWN).

Timothy Bourke

Arch. Formal Proofs, 2014

Showing Invariance Compositionally for a Process Algebra for Network Protocols.

Timothy Bourke, Rob J. van Glabbeek, Peter Höfner

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

A type-based analysis of causality loops in hybrid systems modelers.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol.

Timothy Bourke, Rob J. van Glabbeek, Peter Höfner

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Analyzing an embedded sensor with timed automata in uppaal.

Timothy Bourke, Arcot Sowmya

ACM Trans. Embed. Comput. Syst., 2013

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

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

Zélus: a synchronous language with ODEs.

Timothy Bourke, Marc Pouzet

Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013

2012

Non-standard semantics of hybrid systems modelers.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

J. Comput. Syst. Sci., 2012

Challenges and Experiences in Managing Large-Scale Proofs.

Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Divide and recycle: types and compilation for a hybrid synchronous language.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, 2011

A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code.

Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

New Results on Timed Specifications.

Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

2009

Modelling and programming embedded controllers with timed automata and synchronous languages.

Timothy Bourke

PhD thesis, 2009

2008

Automatically transforming and relating Uppaal models of embedded systems.

Timothy Bourke, Arcot Sowmya

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2006

A timing model for synchronous language implementations in simulink.

Timothy Bourke, Arcot Sowmya

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Formal Models in Industry Standard Tools: an Argos Block within Simulink.

Timothy Bourke, Arcot Sowmya

Int. J. Softw. Eng. Knowl. Eng., 2005