Timothy Bourke

39
Documents

Présentation

Ma page web se trouve ailleurs.

My web page is elsewhere.

Publications

Publications

Image document

Lustre, Fast First and Fresh

Timothy Bourke , Marc Pouzet
IEEE Embedded Systems Letters, 2024, pp.1-1. ⟨10.1109/LES.2024.3498932⟩
Article dans une revue hal-04815075 v1
Image document

Verified Lustre Normalization with Node Subsampling

Timothy Bourke , Paul Jeanmaire , Basile Pesin , Marc Pouzet
ACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (5s), pp.1-25. ⟨10.1145/3477041⟩
Article dans une revue hal-03370264 v1
Image document

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

Timothy Bourke , Lélio Brun , Marc Pouzet
Proceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-29. ⟨10.1145/3371112⟩
Article dans une revue hal-02426573 v1

Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers

Timothy Bourke , Jun Inoue , Marc Pouzet
Electronic Proceedings in Theoretical Computer Science, 2018, ML Family Workshop / OCaml Users and Developers workshops (MLOCAML 2016), 285, pp.101-130. ⟨10.4204/EPTCS.285.4⟩
Article dans une revue hal-01967659 v1
Image document

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Albert Benveniste , Timothy Bourke , Benoit Caillaud , Jean-Louis Colaço , Cédric Pasteur et al.
Proceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. ⟨10.1109/JPROC.2018.2858016⟩
Article dans une revue hal-01879026 v1
Image document

A Type-based Analysis of Causality Loops in Hybrid Systems Modelers

Albert Benveniste , Timothy Bourke , Benoît Caillaud , Bruno Pagano , Marc Pouzet
Nonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
Article dans une revue hal-01549183 v2
Image document

Mechanizing a Process Algebra for Network Protocols

Timothy Bourke , Robert J van Glabbeek , Peter Höfner
Journal of Automated Reasoning, 2016, 56, pp.309-341. ⟨10.1007/s10817-015-9358-9⟩
Article dans une revue hal-01408217 v1
Image document

Loosely Time-Triggered Architectures

Guillaume Baudart , Albert Benveniste , Timothy Bourke
ACM Transactions on Embedded Computing Systems (TECS), 2016, 15, pp.Article 71. ⟨10.1145/2932189⟩
Article dans une revue hal-01408224 v1
Image document

Analyzing an Embedded Sensor with Timed Automata in Uppaal

Timothy Bourke , Arcot Sowmya
ACM Transactions on Embedded Computing Systems (TECS), 2013, 13 (3), pp.44-1--44-26. ⟨10.1145/2539036.2539040⟩
Article dans une revue hal-00909062 v1

Non-standard semantics of hybrid systems modelers

Albert Benveniste , Timothy Bourke , Benoît Caillaud , Marc Pouzet
Journal of Computer and System Sciences, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩
Article dans une revue hal-00766726 v1
Image document

Functional Stream Semantics for a Synchronous Block-Diagram Compiler

Timothy Bourke , Paul Jeanmaire , Marc Pouzet
LICS 2025 - 40th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2025, Singapour, Singapore
Communication dans un congrès hal-05107499 v1
Image document

Verified Compilation of Synchronous Dataflow with State Machines

Timothy Bourke , Basile Pesin , Marc Pouzet
EMSOFT 2023: 23rd International Conference on Embedded Software, Sep 2023, Hamburg, Germany. pp.137:1-137:26, ⟨10.1145/3608102⟩
Communication dans un congrès hal-04201401 v1
Image document

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

Timothy Bourke , Vincent Bregeon , Marc Pouzet
35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienna, Austria. pp.1:1--1:22, ⟨10.4230/LIPIcs.ECRTS.2023.1⟩
Communication dans un congrès hal-04149828 v1
Image document

Analyse de dépendance vérifiée pour un langage synchrone à flot de données

Timothy Bourke , Basile Pesin , Marc Pouzet
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.101-120
Communication dans un congrès hal-03936656 v1
Image document

Towards a denotational semantics of streams for a verified Lustre compiler

Timothy Bourke , Paul Jeanmaire , Marc Pouzet
TYPES 2022: 28th International Conference on Types for Proofs and Programs, Delia Kesner; Pierre-Marie Pédrot, Jun 2022, Nantes, France
Communication dans un congrès hal-04832995 v1
Image document

Normalisation vérifiée du langage Lustre

Timothy Bourke , Paul Jeanmaire , Basile Pesin , Marc Pouzet
JFLA 2021 - 32ème Journées Francophones des Langages Applicatifs, Yann Régis-Gianas et Chantal Keller, Apr 2021, En ligne, France. pp.117-133
Communication dans un congrès hal-03287572 v1
Image document

Symbolic Simulation of Dataflow Synchronous Programs with Timers

Guillaume Baudart , Timothy Bourke , Marc Pouzet
12th Forum on Specification and Design Languages (FDL 2017), Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy. pp.25, ⟨10.1007/978-3-030-02215-0_3⟩
Communication dans un congrès hal-01575621 v4
Image document

Arguments cadencés dans un compilateur Lustre vérifié

Timothy Bourke , Marc Pouzet
JFLA 2019 - Les Trentièmes Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France. pp.16
Communication dans un congrès hal-02005639 v1
Image document

Automatic Parallelization from Lustre Models in Avionics

Jean Souyris , Keryan Didier , Dumitru Potop-Butucaru , Guillaume Iooss , Timothy Bourke et al.
ERTS2 2018 - 9th European Congress Embedded Real-Time Software and Systems, 3AF - Association Aéronautique Astronautique de France; SEE - Société de l'électricité, de l'électronique et des technologies de l'information et de la communication; SIA - Société de Ingénieurs de l'Automobile, Jan 2018, Toulouse, France. pp.1-4
Communication dans un congrès hal-01714054 v1
Image document

Towards a verified Lustre compiler with modular reset

Timothy Bourke , Lélio Brun , Marc Pouzet
21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), May 2018, Sankt Goar, Germany. pp.4, ⟨10.1145/3207719.3207732⟩
Communication dans un congrès hal-01817949 v1
Image document

A Formally Verified Compiler for Lustre

Timothy Bourke , Lélio Brun , Pierre-Evariste Dagand , Xavier Leroy , Marc Pouzet et al.
PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
Communication dans un congrès hal-01512286 v1
Image document

A Synchronous Look at the Simulink Standard Library

Timothy Bourke , Francois Carcenac , Jean-Louis Colaço , Bruno Pagano , Cédric Pasteur et al.
EMSOFT 2017 - 17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. pp.23
Communication dans un congrès hal-01575631 v1
Image document

Real-Time Ticks for Synchronous Programming

Reinhard von Hanxleden , Timothy Bourke , Alain Girault
FDL 2017 - 12th Forum on Specification and Design Languages, Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy
Communication dans un congrès hal-01575629 v1
Image document

Vérification de la génération modulaire du code impératif pour Lustre

Timothy Bourke , Pierre-Evariste Dagand , Marc Pouzet , Lionel Rieg
JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès hal-01403830 v1
Image document

Soundness of the Quasi-Synchronous Abstraction

Guillaume Baudart , Timothy Bourke , Marc Pouzet
Formal Methods in Computer-Aided Design (FMCAD), Oct 2016, Mountain View, CA, United States. pp.9-16
Communication dans un congrès hal-01408208 v1
Image document

Loosely Time-Triggered Architectures: Improvements and Comparisons

Guillaume Baudart , Timothy Bourke , Albert Benveniste
Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318263⟩
Communication dans un congrès hal-01243005 v1

A Synchronous-based Code Generator For Explicit Hybrid Systems Languages

Timothy Bourke , Jean-Louis Colaço , Bruno Pagano , Cédric Pasteur , Marc Pouzet
International Conference on Compiler Construction (CC), Jul 2015, London, United Kingdom
Communication dans un congrès hal-01242732 v1

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

Timothy Bourke , Robert J. van Glabbeek , Peter Höfner
ATVA 2014: Automated Technology for Verification and Analysis, Nov 2014, Sydney, Australia. pp.17, ⟨10.1007/978-3-319-11936-6_5⟩
Communication dans un congrès hal-01092360 v1

Showing Invariance Compositionally for a Process Algebra for Network Protocols

Timothy Bourke , Robert J. van Glabbeek , Peter Höfner
ITP 2014: Interactive Theorem Proving, Jul 2014, Vienna, Austria. pp.16, ⟨10.1007/978-3-319-08970-6_10⟩
Communication dans un congrès hal-01092348 v1
Image document

Zélus: A Synchronous Language with ODEs

Timothy Bourke , Marc Pouzet
HSCC - 16th International Conference on Hybrid systems: computation and control, Calin Belta and Franjo Ivančić, Apr 2013, Philadelphia, United States. pp.113-118, ⟨10.1145/2461328.2461348⟩
Communication dans un congrès hal-00909029 v1
Image document

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

Albert Benveniste , Timothy Bourke , Benoit Caillaud , Marc Pouzet
EMSOFT 2011 - Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩
Communication dans un congrès hal-00654113 v1

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

Albert Benveniste , Timothy Bourke , Benoit Caillaud , Marc Pouzet
Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Apr 2011, Chicago, IL, United States. ⟨10.1145/1967677.1967687⟩
Communication dans un congrès hal-00654112 v1
Image document

Soundness of the Quasi-Synchronous Abstraction

Guillaume Baudart , Timothy Bourke , Marc Pouzet
[Research Report] RR-8755, INRIA Paris-Rocquencourt; INRIA. 2015, pp.19
Rapport (rapport de recherche) hal-01175571 v2
Image document

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

Albert Benveniste , Timothy Bourke , Benoît Caillaud , Marc Pouzet
[Research Report] RR-8630, Inria. 2014, pp.30
Rapport (rapport de recherche) hal-01084069 v1