Number of documents

27

Timothy Bourke


Ma page web se trouve ailleurs.

My web page is elsewhere.


Journal articles7 documents

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⟩
  • 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⟩
  • 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⟩
  • 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, 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. 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. 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⟩
  • 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⟩

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⟩