Skip to Main content
Number of documents

28

Timothy Bourke


Ma page web se trouve ailleurs.

My web page is elsewhere.


Journal articles8 documents

  • Timothy Bourke, Lélio Brun, Marc Pouzet. Mechanized semantics and verified compilation for a dataflow synchronous language with reset. Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), pp.1-29. ⟨10.1145/3371112⟩. ⟨hal-02426573⟩
  • Albert Benveniste, Timothy Bourke, Benoit Caillaud, Jean-Louis Colaço, Cédric Pasteur, et al.. Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 2018, Design Automation for Cyber-Physical Systems, 106 (9), pp.1568 - 1592. ⟨10.1109/JPROC.2018.2858016⟩. ⟨hal-01879026⟩
  • Timothy Bourke, Jun Inoue, Marc Pouzet. Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018, ML Family Workshop / OCaml Users and Developers workshops (MLOCAML 2016), 285, pp.101-130. ⟨10.4204/EPTCS.285.4⟩. ⟨hal-01967659⟩
  • Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet. A Type-based Analysis of Causality Loops in Hybrid Systems Modelers. Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 26, pp.168-189. ⟨10.1016/j.nahs.2017.04.004⟩. ⟨hal-01549183v2⟩
  • Timothy Bourke, Robert van Glabbeek, Peter Höfner. Mechanizing a Process Algebra for Network Protocols. Journal of Automated Reasoning, Springer Verlag, 2016, 56, pp.309-341. ⟨10.1007/s10817-015-9358-9⟩. ⟨hal-01408217⟩
  • Guillaume Baudart, Albert Benveniste, Timothy Bourke. Loosely Time-Triggered Architectures. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, 15, pp.Article 71. ⟨10.1145/2932189⟩. ⟨hal-01408224⟩
  • Timothy Bourke, Arcot Sowmya. Analyzing an Embedded Sensor with Timed Automata in Uppaal. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 13 (3), pp.44-1--44-26. ⟨10.1145/2539036.2539040⟩. ⟨hal-00909062⟩
  • Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Non-standard semantics of hybrid systems modelers. Journal of Computer and System Sciences, Elsevier, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩. ⟨hal-00766726⟩

Conference papers16 documents

  • Timothy Bourke, Marc Pouzet. 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. ⟨hal-02005639⟩
  • Jean Souyris, Keryan Didier, Dumitru Potop-Butucaru, Guillaume Iooss, Timothy Bourke, et al.. Automatic Parallelization from Lustre Models in Avionics. 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. ⟨hal-01714054⟩
  • Timothy Bourke, Lélio Brun, Marc Pouzet. Towards a verified Lustre compiler with modular reset. 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018), May 2018, Sankt Goar, Germany. pp.4, ⟨10.1145/3207719.3207732⟩. ⟨hal-01817949⟩
  • Timothy Bourke, Pierre-Evariste Dagand, Marc Pouzet, Lionel Rieg. Vérification de la génération modulaire du code impératif pour Lustre. JFLA 2017 - Vingt-huitième Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. ⟨hal-01403830⟩
  • Timothy Bourke, Lélio Brun, Pierre-Evariste Dagand, Xavier Leroy, Marc Pouzet, et al.. A Formally Verified Compiler for Lustre. PLDI 2017 - 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM, Jun 2017, Barcelone, Spain. ⟨hal-01512286⟩
  • Guillaume Baudart, Timothy Bourke, Marc Pouzet. Symbolic Simulation of Dataflow Synchronous Programs with Timers. 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⟩. ⟨hal-01575621v4⟩
  • Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, et al.. A Synchronous Look at the Simulink Standard Library. EMSOFT 2017 - 17th International Conference on Embedded Software, Oct 2017, Seoul, South Korea. pp.23. ⟨hal-01575631⟩
  • Reinhard von Hanxleden, Timothy Bourke, Alain Girault. Real-Time Ticks for Synchronous Programming. FDL 2017 - 12th Forum on Specification and Design Languages, Electronic Chips & System Design Initiative (ECSI), Sep 2017, Vérone, Italy. ⟨hal-01575629⟩
  • Guillaume Baudart, Timothy Bourke, Marc Pouzet. Soundness of the Quasi-Synchronous Abstraction. Formal Methods in Computer-Aided Design (FMCAD), Oct 2016, Mountain View, CA, United States. pp.9-16. ⟨hal-01408208⟩
  • Guillaume Baudart, Timothy Bourke, Albert Benveniste. Loosely Time-Triggered Architectures: Improvements and Comparisons. Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), Oct 2015, Amsterdam, Netherlands. ⟨10.1109/EMSOFT.2015.7318263⟩. ⟨hal-01243005⟩
  • Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet. A Synchronous-based Code Generator For Explicit Hybrid Systems Languages. International Conference on Compiler Construction (CC), Jul 2015, London, United Kingdom. ⟨hal-01242732⟩
  • Timothy Bourke, Robert J. van Glabbeek, Peter Höfner. Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP 2014: Interactive Theorem Proving, Jul 2014, Vienna, Austria. pp.16, ⟨10.1007/978-3-319-08970-6_10⟩. ⟨hal-01092348⟩
  • Timothy Bourke, Robert J. van Glabbeek, Peter Höfner. A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA 2014: Automated Technology for Verification and Analysis, Nov 2014, Sydney, Australia. pp.17, ⟨10.1007/978-3-319-11936-6_5⟩. ⟨hal-01092360⟩
  • Timothy Bourke, Marc Pouzet. Zélus: A Synchronous Language with ODEs. 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⟩. ⟨hal-00909029⟩
  • Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet. A hybrid synchronous language with hierarchical automata: Static typing and translation to synchronous code. Embedded Software (EMSOFT), 2011, Oct 2011, Taipei, Taiwan. ⟨10.1145/2038642.2038664⟩. ⟨hal-00654113⟩
  • Albert Benveniste, Timothy Bourke, Benoit Caillaud, Marc Pouzet. Divide and recycle: types and compilation for a hybrid synchronous language. 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⟩. ⟨hal-00654112⟩

Other publications2 documents

  • Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Semantics of multi-mode DAE systems. 2013. ⟨hal-00938891⟩
  • Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet. A Type-Based Analysis of Causality Loops In Hybrid Systems Modelers. 2013. ⟨hal-00938866⟩

Reports2 documents

  • Guillaume Baudart, Timothy Bourke, Marc Pouzet. Soundness of the Quasi-Synchronous Abstraction. [Research Report] RR-8755, INRIA Paris-Rocquencourt; INRIA. 2015, pp.19. ⟨hal-01175571v2⟩
  • Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. On the index of multi-mode DAE Systems (also called Hybrid DAE Systems). [Research Report] RR-8630, Inria. 2014, pp.30. ⟨hal-01084069⟩