Timothy Bourke

Présentation

Ma page web se trouve ailleurs.

My web page is elsewhere.

Publications

Article dans une revue (10)

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-04815075v1
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
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
Building a Hybrid Systems Modeler on Synchronous Languages Principles Albert Benveniste,Timothy Bourke,Benoit Caillaud,Jean-Louis Colaço,Cédric Pasteuret 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-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
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
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
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
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

Communication dans un congrès (24)

Une sémantique de Kahn mécanisée pour les machines à états Timothy Bourke,Paul Jeanmaire,Marc Pouzet JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, France Communication dans un congrès hal-05428043v1
Special Sessions - Predictable Timing Behavior in Distributed Cyber-Physical Systems Jian-Jia Chen,Mario Günzel,Dakshina Dasari,Matthias Becker,Edward A Leeet al. EMSOFT 2025 - ACM International Conference on Embedded Software, Sep 2025, Taipei, Taiwan. pp.23-32, ⟨10.1145/3742874.3757086⟩ Communication dans un congrès hal-05444954v1
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-05107499v1
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
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
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
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-04832995v1
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
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
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
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
Automatic Parallelization from Lustre Models in Avionics Jean Souyris,Keryan Didier,Dumitru Potop-Butucaru,Guillaume Iooss,Timothy Bourkeet 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-01714054v1
A Synchronous Look at the Simulink Standard Library Timothy Bourke,Francois Carcenac,Jean-Louis Colaço,Bruno Pagano,Cédric Pasteuret al. EMSOFT 2017 - 17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. pp.23 Communication dans un congrès hal-01575631v1
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
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
A Formally Verified Compiler for Lustre Timothy Bourke,Lélio Brun,Pierre-Evariste Dagand,Xavier Leroy,Marc Pouzetet al. PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain Communication dans un congrès hal-01512286v1
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
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
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
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
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
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
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

Ouvrages (1)

33èmes journées francophones des langages applicatifs Chantal Keller,Timothy Bourke,Sandrine Blazy,Frédéric Bour,Guillaume Buryet al. Chantal Keller; Timothy Bourke. , pp.1-292, 2022 Ouvrages hal-03689075v1

Autre publication scientifique (4)

Loop freedom of the (untimed) AODV routing protocol Timothy Bourke,Peter Höfner 2014, pp.496 Autre publication scientifique hal-01104033v1
Mechanization of the Algebra for Wireless Networks (AWN) Timothy Bourke 2014, pp.186 Autre publication scientifique hal-01104031v1
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers Albert Benveniste,Timothy Bourke,Benoît Caillaud,Bruno Pagano,Marc Pouzet 2013 Autre publication scientifique hal-00938866v1
Semantics of multi-mode DAE systems Albert Benveniste,Timothy Bourke,Benoît Caillaud,Marc Pouzet 2013 Autre publication scientifique hal-00938891v1

Rapport (2)

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-01175571v2
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-01084069v1