Timothy Bourke

发表

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Timothy Bourke, Marc Pouzet, Albert Benveniste, 2018, Proceedings of the IEEE.

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

Timothy Bourke, Arcot Sowmya, A. Sowmya, 2005, Int. J. Softw. Eng. Knowl. Eng..

seL4: From General Purpose to a Proof of Information Flow Enforcement

Timothy Bourke, Xin Gao, Gerwin Klein, 2013, 2013 IEEE Symposium on Security and Privacy.

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

Timothy Bourke, Marc Pouzet, Jun Inoue, 2018, ML/OCAML.

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

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

Mechanizing a Process Algebra for Network Protocols

Timothy Bourke, Rob J. van Glabbeek, Peter Höfner, 2015, Journal of Automated Reasoning.

Real-time ticks for synchronous programming

Timothy Bourke, Reinhard von Hanxleden, Alain Girault, 2017, 2017 Forum on Specification and Design Languages (FDL).

Symbolic simulation of dataflow synchronous programs with timers

Timothy Bourke, Marc Pouzet, Guillaume Baudart, 2017, 2017 Forum on Specification and Design Languages (FDL).

Loosely time-triggered architectures: improvements and comparisons

Timothy Bourke, Albert Benveniste, Guillaume Baudart, 2015, EMSOFT 2015.

Analyzing an embedded sensor with timed automata in uppaal

Timothy Bourke, Arcot Sowmya, A. Sowmya, 2013, TECS.

A formally verified compiler for Lustre

Timothy Bourke, Marc Pouzet, Xavier Leroy, 2017, PLDI.

Modelling and programming embedded controllers with timed automata and synchronous languages

Timothy Bourke, T. Bourke, 2009 .

New Results - Fidelity in Real-Time Programming

Timothy Bourke, Guillaume Baudart, 2015 .

Automatically transforming and relating Uppaal models of embedded systems

Timothy Bourke, Arcot Sowmya, 2008, EMSOFT '08.

New Results on Timed Specifications

Kim G. Larsen, Timothy Bourke, Axel Legay, 2010, WADT.

Challenges and Experiences in Managing Large-Scale Proofs

Timothy Bourke, Rafal Kolanski, Gerwin Klein, 2012, AISC/MKM/Calculemus.

Showing Invariance Compositionally for a Process Algebra for Network Protocols pdf

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

A Synchronous Look at the Simulink Standard Library

Timothy Bourke, Marc Pouzet, Jean-Louis Colaço, 2017, ACM Trans. Embed. Comput. Syst..

Non-standard semantics of hybrid systems modelers

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2012, J. Comput. Syst. Sci..

Symbolic Simulation of Dataflow Synchronous Programs with Timers

Timothy Bourke, Marc Pouzet, Guillaume Baudart, 2017, FDL.

Reliable device drivers require well-defined protocols

Timothy Bourke, Leonid Ryzhyk, Ihor Kuz, 2007 .

A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages

Timothy Bourke, Marc Pouzet, Jean-Louis Colaço, 2015, CC.

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

Timothy Bourke, Marc Pouzet, Lélio Brun, 2019, Proc. ACM Program. Lang..

New Results - Heterogeneous Systems

Timothy Bourke, Benoît Caillaud, Eric Badouel, 2011 .

Loosely Time-Triggered Architectures

Timothy Bourke, Albert Benveniste, Guillaume Baudart, 2016, ACM Trans. Embed. Comput. Syst..

An introduction of ethnotechnology for naval architects: sea kayak design of yesterday and tomorrow

Timothy Bourke, David Williams, Peter Noble, 1994 .

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

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2014, HSCC.

Mechanization of the Algebra for Wireless Networks (AWN)

Timothy Bourke, 2014, Arch. Formal Proofs.

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

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2011, LCTES '11.

A timing model for synchronous language implementations in simulink

Timothy Bourke, Arcot Sowmya, A. Sowmya, 2006, EMSOFT '06.

Soundness of the quasi-synchronous abstraction

Timothy Bourke, Marc Pouzet, Guillaume Baudart, 2016, FMCAD.

RTCSA 2006 Work in Progress Session

Timothy Bourke, Stefan M. Petters, Liu Xiang, 2006 .

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

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

Loop freedom of the (untimed) AODV routing protocol

Timothy Bourke, Peter Höfner, 2014, Arch. Formal Proofs.

New Results - Verified compilation of Lustre

Timothy Bourke, Marc Pouzet, Marc Pouzet, 2015 .

Towards a verified Lustre compiler with modular reset

Timothy Bourke, Marc Pouzet, Lélio Brun, 2018, SCOPES.

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

Timothy Bourke, 2021, REBLS@SPLASH.

Verified Lustre Normalization with Node Subsampling

Timothy Bourke, Marc Pouzet, Basile Pesin, 2021, ACM Trans. Embed. Comput. Syst..

Hybrid Systems Modeling Challenges Caused by Cyber-Physical Systems ?

Timothy Bourke, Marc Pouzet, Albert Benveniste, 2013 .

On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)

Timothy Bourke, Marc Pouzet, Benoît Caillaud, 2014 .

Zélus: a synchronous language with ODEs

Timothy Bourke, Marc Pouzet, T. Bourke, 2013, HSCC '13.