Timothy Bourke

42 papers A* 3B 6C 3Misc 6Journal 16Unranked 7

Year	Rank	Type	Title / Venue / Authors
2025	Misc	`ed.`	Dependable Software Engineering. Theories, Tools, and Applications - 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings SETTA Timothy Bourke, Liqian Chen, Amir Kafshdar Goharshady
2025	A*	`conf`	Functional Stream Semantics for a Synchronous Block-Diagram Compiler. LICS Timothy Bourke, Paul Jeanmaire, Marc Pouzet
2025	J	`jnl`	Lustre, Fast First, and Fresh. IEEE Embed. Syst. Lett. Timothy Bourke, Marc Pouzet
2025	Misc	`conf`	Special Session - Predictable Timing Behavior in Distributed Cyber-Physical Systems. EMSOFT Jian-Jia Chen, Mario Günzel, Dakshina Dasari, Matthias Becker, Edward A. Lee, Timothy Bourke
2023	B	`conf`	Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints. ECRTS Timothy Bourke, Vincent Bregeon, Marc Pouzet
2023	J	`jnl`	Verified Compilation of Synchronous Dataflow with State Machines. ACM Trans. Embed. Comput. Syst. Timothy Bourke, Basile Pesin, Marc Pouzet
2021	—	`conf`	Specification and end-to-end proof of a reactive language and its compiler (invited talk). REBLS@SPLASH Timothy Bourke
2021	J	`jnl`	Verified Lustre Normalization with Node Subsampling. ACM Trans. Embed. Comput. Syst. Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet
2020	J	`jnl`	Mechanized semantics and verified compilation for a dataflow synchronous language with reset. Proc. ACM Program. Lang. Timothy Bourke, Lélio Brun, Marc Pouzet
2018	J	`jnl`	Building a Hybrid Systems Modeler on Synchronous Languages Principles. Proc. IEEE Albert Benveniste, Timothy Bourke, Benoît Caillaud, Jean-Louis Colaço, Cédric Pasteur, Marc Pouzet
2018	C	`conf`	Towards a verified Lustre compiler with modular reset. SCOPES Timothy Bourke, Lélio Brun, Marc Pouzet
2017	J	`jnl`	A Synchronous Look at the Simulink Standard Library. ACM Trans. Embed. Comput. Syst. Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2017	A*	`conf`	A formally verified compiler for Lustre. PLDI Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg
2017	C	`conf`	Real-time ticks for synchronous programming. FDL Reinhard von Hanxleden, Timothy Bourke, Alain Girault
2017	—	`conf`	Symbolic Simulation of Dataflow Synchronous Programs with Timers. FDL (Selected Papers) Guillaume Baudart, Timothy Bourke, Marc Pouzet
2017	C	`conf`	Symbolic simulation of dataflow synchronous programs with timers. FDL Guillaume Baudart, Timothy Bourke, Marc Pouzet
2016	J	`jnl`	Loosely Time-Triggered Architectures: Improvements and Comparisons. ACM Trans. Embed. Comput. Syst. Guillaume Baudart, Albert Benveniste, Timothy Bourke
2016	J	`jnl`	Mechanizing a Process Algebra for Network Protocols. J. Autom. Reason. Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2016	B	`conf`	Soundness of the quasi-synchronous abstraction. FMCAD Guillaume Baudart, Timothy Bourke, Marc Pouzet
2016	—	`conf`	Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers. ML/OCAML Timothy Bourke, Jun Inoue, Marc Pouzet
2015	B	`conf`	A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages. CC Timothy Bourke, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, Marc Pouzet
2015	J	`jnl`	A mechanized proof of loop freedom of the (untimed) AODV routing protocol. CoRR Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2015	Misc	`conf`	Loosely time-triggered architectures: improvements and comparisons. EMSOFT Guillaume Baudart, Albert Benveniste, Timothy Bourke
2015	J	`jnl`	Mechanizing a Process Algebra for Network Protocols. CoRR Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2014	B	`conf`	A Mechanized Proof of Loop Freedom of the (Untimed) AODV Routing Protocol. ATVA Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2014	—	`conf`	A type-based analysis of causality loops in hybrid systems modelers. HSCC Albert Benveniste, Timothy Bourke, Benoît Caillaud, Bruno Pagano, Marc Pouzet
2014	J	`jnl`	Loop freedom of the (untimed) AODV routing protocol. Arch. Formal Proofs Timothy Bourke, Peter Höfner
2014	J	`jnl`	Mechanization of the Algebra for Wireless Networks (AWN). Arch. Formal Proofs Timothy Bourke
2014	B	`conf`	Showing Invariance Compositionally for a Process Algebra for Network Protocols. ITP Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2014	J	`jnl`	Showing invariance compositionally for a process algebra for network protocols. CoRR Timothy Bourke, Rob J. van Glabbeek, Peter Höfner
2013	J	`jnl`	Analyzing an embedded sensor with timed automata in uppaal. ACM Trans. Embed. Comput. Syst. Timothy Bourke, Arcot Sowmya
2013	—	`conf`	Zélus: a synchronous language with ODEs. HSCC Timothy Bourke, Marc Pouzet
2013	A*	`conf`	seL4: From General Purpose to a Proof of Information Flow Enforcement. IEEE Symposium on Security and Privacy Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
2012	—	`conf`	Challenges and Experiences in Managing Large-Scale Proofs. AISC/MKM/Calculemus Timothy Bourke, Matthias Daum, Gerwin Klein, Rafal Kolanski
2012	J	`jnl`	Non-standard semantics of hybrid systems modelers. J. Comput. Syst. Sci. Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2011	Misc	`conf`	A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. EMSOFT Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2011	B	`conf`	Divide and recycle: types and compilation for a hybrid synchronous language. LCTES Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet
2010	—	`conf`	New Results on Timed Specifications. WADT Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski
2009	—	`—`	Modelling and programming embedded controllers with timed automata and synchronous languages. Timothy Bourke
2008	Misc	`conf`	Automatically transforming and relating Uppaal models of embedded systems. EMSOFT Timothy Bourke, Arcot Sowmya
2006	Misc	`conf`	A timing model for synchronous language implementations in simulink. EMSOFT Timothy Bourke, Arcot Sowmya
2005	J	`jnl`	Formal Models in Industry Standard Tools: an Argos Block within Simulink. Int. J. Softw. Eng. Knowl. Eng. Timothy Bourke, Arcot Sowmya