Accéder directement au contenu

Timothy Bourke

36
Documents

Présentation

Ma page web se trouve [ailleurs](http://www.tbrk.org). My web page is [elsewhere](http://www.tbrk.org).
Ma page web se trouve [ailleurs](http://www.tbrk.org). My web page is [elsewhere](http://www.tbrk.org).

Publications

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-03370264v1
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-02426573v1
Image document

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Albert Benveniste , Timothy Bourke , Benoit Caillaud , Jean-Louis Colaço , Cédric Pasteur
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-01879026v1

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-01967659v1
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-01549183v2
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-01408224v1
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-01408217v1
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-00909062v1

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-00766726v1
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-03936656v1
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-04201401v1
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-04149828v1
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-03287572v1
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-02005639v1
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-01817949v1
Image document

Automatic Parallelization from Lustre Models in Avionics

Jean Souyris , Keryan Didier , Dumitru Potop-Butucaru , Guillaume Iooss , Timothy Bourke
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-01714054v1
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-01575629v1
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-01403830v1
Image document

A Formally Verified Compiler for Lustre

Timothy Bourke , Lélio Brun , Pierre-Evariste Dagand , Xavier Leroy , Marc Pouzet
PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
Communication dans un congrès hal-01512286v1
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-01575621v4
Image document

A Synchronous Look at the Simulink Standard Library

Timothy Bourke , Francois Carcenac , Jean-Louis Colaço , Bruno Pagano , Cédric Pasteur
EMSOFT 2017 - 17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. pp.23
Communication dans un congrès hal-01575631v1
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-01408208v1

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-01242732v1
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-01243005v1

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-01092348v1

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-01092360v1
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-00909029v1

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-00654112v1
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-00654113v1