default search action
Timothy Bourke
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j12]Timothy Bourke, Basile Pesin, Marc Pouzet:
Verified Compilation of Synchronous Dataflow with State Machines. ACM Trans. Embed. Comput. Syst. 22(5s): 137:1-137:26 (2023) - [c22]Timothy Bourke, Vincent Bregeon, Marc Pouzet:
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints. ECRTS 2023: 1:1-1:22 - 2021
- [j11]Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet:
Verified Lustre Normalization with Node Subsampling. ACM Trans. Embed. Comput. Syst. 20(5s): 98:1-98:25 (2021) - [c21]Timothy Bourke:
Specification and end-to-end proof of a reactive language and its compiler (invited talk). REBLS@SPLASH 2021: 1 - 2020
- [j10]Timothy Bourke, Lélio Brun, Marc Pouzet:
Mechanized semantics and verified compilation for a dataflow synchronous language with reset. Proc. ACM Program. Lang. 4(POPL): 44:1-44:29 (2020)
2010 – 2019
- 2018
- [j9]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet:
Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE 106(9): 1568-1592 (2018) - [c20]Timothy Bourke, Lélio Brun, Marc Pouzet:
Towards a verified Lustre compiler with modular reset. SCOPES 2018: 14-17 - 2017
- [j8]Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet:
A Synchronous Look at the Simulink Standard Library. ACM Trans. Embed. Comput. Syst. 16(5s): 176:1-176:24 (2017) - [c19]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Symbolic simulation of dataflow synchronous programs with timers. FDL 2017: 1-8 - [c18]Reinhard von Hanxleden, Timothy Bourke, Alain Girault:
Real-time ticks for synchronous programming. FDL 2017: 1-8 - [c17]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Symbolic Simulation of Dataflow Synchronous Programs with Timers. FDL (Selected Papers) 2017: 45-70 - [c16]Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg:
A formally verified compiler for Lustre. PLDI 2017: 586-601 - 2016
- [j7]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Mechanizing a Process Algebra for Network Protocols. J. Autom. Reason. 56(3): 309-341 (2016) - [j6]Guillaume Baudart, Albert Benveniste, Timothy Bourke:
Loosely Time-Triggered Architectures: Improvements and Comparisons. ACM Trans. Embed. Comput. Syst. 15(4): 71:1-71:26 (2016) - [c15]Guillaume Baudart, Timothy Bourke, Marc Pouzet:
Soundness of the quasi-synchronous abstraction. FMCAD 2016: 9-16 - [c14]Timothy Bourke, Jun Inoue, Marc Pouzet:
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. ML/OCAML 2016: 101-130 - 2015
- [c13]Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet:
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. CC 2015: 69-88 - [c12]Guillaume Baudart, Albert Benveniste, Timothy Bourke:
Loosely time-triggered architectures: improvements and comparisons. EMSOFT 2015: 85-94 - [i3]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
A mechanized proof of loop freedom of the (untimed) AODV routing protocol. CoRR abs/1505.05646 (2015) - [i2]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Mechanizing a Process Algebra for Network Protocols. CoRR abs/1512.07304 (2015) - 2014
- [j5]Timothy Bourke:
Mechanization of the Algebra for Wireless Networks (AWN). Arch. Formal Proofs 2014 (2014) - [j4]Timothy Bourke, Peter Höfner:
Loop freedom of the (untimed) AODV routing protocol. Arch. Formal Proofs 2014 (2014) - [c11]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA 2014: 47-63 - [c10]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet:
A type-based analysis of causality loops in hybrid systems modelers. HSCC 2014: 71-82 - [c9]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP 2014: 144-159 - [i1]Timothy Bourke, Rob J. van Glabbeek, Peter Höfner:
Showing invariance compositionally for a process algebra for network protocols. CoRR abs/1407.3519 (2014) - 2013
- [j3]Timothy Bourke, Arcot Sowmya:
Analyzing an embedded sensor with timed automata in uppaal. ACM Trans. Embed. Comput. Syst. 13(3): 44:1-44:26 (2013) - [c8]Timothy Bourke, Marc Pouzet:
Zélus: a synchronous language with ODEs. HSCC 2013: 113-118 - [c7]Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein:
seL4: From General Purpose to a Proof of Information Flow Enforcement. IEEE Symposium on Security and Privacy 2013: 415-429 - 2012
- [j2]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. 78(3): 877-910 (2012) - [c6]Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski:
Challenges and Experiences in Managing Large-Scale Proofs. AISC/MKM/Calculemus 2012: 32-48 - 2011
- [c5]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. EMSOFT 2011: 137-148 - [c4]Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet:
Divide and recycle: types and compilation for a hybrid synchronous language. LCTES 2011: 61-70 - 2010
- [c3]Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski:
New Results on Timed Specifications. WADT 2010: 175-192
2000 – 2009
- 2009
- [b1]Timothy Bourke:
Modelling and programming embedded controllers with timed automata and synchronous languages. University of New South Wales, Sydney, Australia, 2009 - 2008
- [c2]Timothy Bourke, Arcot Sowmya:
Automatically transforming and relating Uppaal models of embedded systems. EMSOFT 2008: 59-68 - 2006
- [c1]Timothy Bourke, Arcot Sowmya:
A timing model for synchronous language implementations in simulink. EMSOFT 2006: 93-101 - 2005
- [j1]Timothy Bourke, Arcot Sowmya:
Formal Models in Industry Standard Tools: an Argos Block within Simulink. Int. J. Softw. Eng. Knowl. Eng. 15(2): 389-396 (2005)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 20:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint