Nombre de documents

22

Timothy Bourke


Ma page web se trouve ailleurs.

My web page is elsewhere.


Article dans une revue5 documents

  • 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〉
  • 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, 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〉
  • 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〉

Communication dans un congrès13 documents

  • 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. ACM Press, pp.23, 〈http://esweek.org/emsoft/〉. 〈hal-01575631〉
  • Reinhard Von Hanxleden, Timothy Bourke, Alain Girault. Real-Time Ticks for Synchronous Programming. FDL 2017 - 12th Forum on Specification and Design Languages, Sep 2017, Vérone, Italy. 2017, 〈http://ecsi.org/fdl/fdl-2017-advance-program〉. 〈hal-01575629〉
  • Guillaume Baudart, Timothy Bourke, Marc Pouzet. Symbolic Simulation of Dataflow Synchronous Programs with Timers. 12th Forum on Specification and Design Languages (FDL 2017), Sep 2017, Vérone, Italy. 2017, 〈http://ecsi.org/fdl/fdl-2017-advance-program〉. 〈hal-01575621v2〉
  • 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. 〈http://jfla.inria.fr/2017/index.html〉. 〈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, Jun 2017, Barcelone, Spain. Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017, 〈http://pldi17.sigplan.og〉. 〈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, 2016, Proceedings of the 16th International Conference on Formal Methods in Computer-Aided Design. 〈http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD16/index.html〉. 〈hal-01408208〉
  • 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. 2015, LNCS. 〈hal-01242732〉
  • 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. Proceedings of the 12th International Conference on Embedded Software (EMSOFT '15), 2015, 〈10.1109/EMSOFT.2015.7318263〉. 〈hal-01243005〉
  • 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. Springer, Proceedings of the 5th International Conference on Interactive Theorem Proving (ITP 2014), 8558, pp.16, 2014, Lecture Notes in Computer Science. 〈http://www.cs.uwyo.edu/~ruben/itp-2014/〉. 〈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. Springer, Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, 8837, pp.17, 2014, Lecture Notes in Computer Science. 〈http://atva-conferences.org/〉. 〈10.1007/978-3-319-11936-6_5〉. 〈hal-01092360〉
  • Timothy Bourke, Marc Pouzet. Zélus: A Synchronous Language with ODEs. Calin Belta and Franjo Ivančić. HSCC - 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphia, United States. ACM, pp.113-118, 2013, Proceedings of the 16th International Conference on Hybrid systems: computation and control. 〈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. 2011, 〈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. 2011, 〈10.1145/1967677.1967687〉. 〈hal-00654112〉

Autre publication2 documents

  • Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet. Semantics of multi-mode DAE systems. Deliverable D.4.1.1 of the ITEA2 Modrio collaborative project. 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. Deliverable D3.1_1 v 1.0 of the Sys2soft collaborative project "Physics Aware Software". 2013. 〈hal-00938866〉

Rapport2 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〉