| emsoft | participants

Timothy Bourke

Program Committees:
2015, 2016, 2017, 2018, 2019 (cochair), 2020 (chair), 2022, 2023, and 2024
.

EMSOFT 2023: 23rd International Conference on Embedded Software

Verified Compilation of Synchronous Dataflow with State Machines

Timothy Bourke, Basile Pesin, and Marc Pouzet

EMSOFT 2021: 21st International Conference on Embedded Software

Verified Lustre Normalization with Node Subsampling

Timothy Bourke, Paul Jeanmaire, Basile Pesin, and Marc Pouzet

EMSOFT 2017: 17th International Conference on Embedded Software

A Synchronous Look at the Simulink Standard Library

Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, and Marc Pouzet

EMSOFT 2015: 15th International Conference on Embedded Software

Loosely Time-Triggered Architectures: Improvements and Comparisons

Guillaume Baudart, Albert Benveniste, and Timothy Bourke

EMSOFT 2011: 11th International Conference on Embedded Software

A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code

Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet

EMSOFT 2008: 8th ACM & IEEE International Conference on Embedded Software

Automatically Transforming and Relating Uppaal Models of Embedded Systems

Timothy Bourke and Arcot Sowmya

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

A Timing Model for Synchronous Language Implementations in Simulink

Timothy Bourke and Arcot Sowmya