Timothy Bourke
38
Documents
Presentation
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
|
Lustre, Fast First and FreshIEEE Embedded Systems Letters, 2024, pp.1-1. ⟨10.1109/LES.2024.3498932⟩
Journal articles
hal-04815075v1
|
|
Verified Lustre Normalization with Node SubsamplingACM Transactions on Embedded Computing Systems (TECS), 2021, 20 (5s), pp.1-25. ⟨10.1145/3477041⟩
Journal articles
hal-03370264v1
|
|
Mechanized semantics and verified compilation for a dataflow synchronous language with resetProceedings of the ACM on Programming Languages, 2020, 4 (POPL), pp.1-29. ⟨10.1145/3371112⟩
Journal articles
hal-02426573v1
|
|
Building a Hybrid Systems Modeler on Synchronous Languages PrinciplesProceedings of the IEEE, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. ⟨10.1109/JPROC.2018.2858016⟩
Journal articles
hal-01879026v1
|
Sundials/ML: Connecting OCaml to the Sundials Numeric SolversElectronic 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⟩
Journal articles
hal-01967659v1
|
|
|
A Type-based Analysis of Causality Loops in Hybrid Systems ModelersNonlinear Analysis: Hybrid Systems, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩
Journal articles
hal-01549183v2
|
|
Loosely Time-Triggered ArchitecturesACM Transactions on Embedded Computing Systems (TECS), 2016, 15, pp.Article 71. ⟨10.1145/2932189⟩
Journal articles
hal-01408224v1
|
|
Mechanizing a Process Algebra for Network ProtocolsJournal of Automated Reasoning, 2016, 56, pp.309-341. ⟨10.1007/s10817-015-9358-9⟩
Journal articles
hal-01408217v1
|
|
Analyzing an Embedded Sensor with Timed Automata in UppaalACM Transactions on Embedded Computing Systems (TECS), 2013, 13 (3), pp.44-1--44-26. ⟨10.1145/2539036.2539040⟩
Journal articles
hal-00909062v1
|
Non-standard semantics of hybrid systems modelersJournal of Computer and System Sciences, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩
Journal articles
hal-00766726v1
|
|
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienna, Austria. pp.1:1--1:22, ⟨10.4230/LIPIcs.ECRTS.2023.1⟩
Conference papers
hal-04149828v1
|
|
Verified Compilation of Synchronous Dataflow with State MachinesEMSOFT 2023: 23rd International Conference on Embedded Software, Sep 2023, Hamburg, Germany. pp.137:1-137:26, ⟨10.1145/3608102⟩
Conference papers
hal-04201401v1
|
|
Analyse de dépendance vérifiée pour un langage synchrone à flot de donnéesJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.101-120
Conference papers
hal-03936656v1
|
|
Towards a denotational semantics of streams for a verified Lustre compilerTYPES 2022: 28th International Conference on Types for Proofs and Programs, Delia Kesner; Pierre-Marie Pédrot, Jun 2022, Nantes, France
Conference papers
hal-04832995v1
|
|
Normalisation vérifiée du langage LustreJFLA 2021 - 32ème Journées Francophones des Langages Applicatifs, Yann Régis-Gianas et Chantal Keller, Apr 2021, En ligne, France. pp.117-133
Conference papers
hal-03287572v1
|
|
Arguments cadencés dans un compilateur Lustre vérifiéJFLA 2019 - Les Trentièmes Journées Francophones des Langages Applicatifs, Jan 2019, Les Rousses, France. pp.16
Conference papers
hal-02005639v1
|
|
Towards a verified Lustre compiler with modular reset21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), May 2018, Sankt Goar, Germany. pp.4, ⟨10.1145/3207719.3207732⟩
Conference papers
hal-01817949v1
|
|
Automatic Parallelization from Lustre Models in AvionicsERTS2 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
Conference papers
hal-01714054v1
|
|
Real-Time Ticks for Synchronous ProgrammingFDL 2017 - 12th Forum on Specification and Design Languages, Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy
Conference papers
hal-01575629v1
|
|
A Synchronous Look at the Simulink Standard LibraryEMSOFT 2017 - 17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. pp.23
Conference papers
hal-01575631v1
|
|
Symbolic Simulation of Dataflow Synchronous Programs with Timers12th 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⟩
Conference papers
hal-01575621v4
|
|
Vérification de la génération modulaire du code impératif pour LustreJFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Conference papers
hal-01403830v1
|
|
A Formally Verified Compiler for LustrePLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain
Conference papers
hal-01512286v1
|
|
Soundness of the Quasi-Synchronous AbstractionFormal Methods in Computer-Aided Design (FMCAD), Oct 2016, Mountain View, CA, United States. pp.9-16
Conference papers
hal-01408208v1
|
A Synchronous-based Code Generator For Explicit Hybrid Systems LanguagesInternational Conference on Compiler Construction (CC), Jul 2015, London, United Kingdom
Conference papers
hal-01242732v1
|
|
|
Loosely Time-Triggered Architectures: Improvements and ComparisonsProceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318263⟩
Conference papers
hal-01243005v1
|
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing ProtocolATVA 2014: Automated Technology for Verification and Analysis, Nov 2014, Sydney, Australia. pp.17, ⟨10.1007/978-3-319-11936-6_5⟩
Conference papers
hal-01092360v1
|
|
Showing Invariance Compositionally for a Process Algebra for Network ProtocolsITP 2014: Interactive Theorem Proving, Jul 2014, Vienna, Austria. pp.16, ⟨10.1007/978-3-319-08970-6_10⟩
Conference papers
hal-01092348v1
|
|
|
Zélus: A Synchronous Language with ODEsHSCC - 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⟩
Conference papers
hal-00909029v1
|
Divide and recycle: types and compilation for a hybrid synchronous languageProceedings 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⟩
Conference papers
hal-00654112v1
|
|
|
A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous codeEMSOFT 2011 - Embedded Software, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩
Conference papers
hal-00654113v1
|
|
Loop freedom of the (untimed) AODV routing protocol2014, pp.496
Other publications
hal-01104033v1
|
|
Mechanization of the Algebra for Wireless Networks (AWN)2014, pp.186
Other publications
hal-01104031v1
|
|
A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers2013
Other publications
hal-00938866v1
|
|
Semantics of multi-mode DAE systems2013
Other publications
hal-00938891v1
|
|
Soundness of the Quasi-Synchronous Abstraction[Research Report] RR-8755, INRIA Paris-Rocquencourt; INRIA. 2015, pp.19
Reports
hal-01175571v2
|
|
On the index of multi-mode DAE Systems (also called Hybrid DAE Systems)[Research Report] RR-8630, Inria. 2014, pp.30
Reports
hal-01084069v1
|