Timothy Bourke

Institut national de recherche en sciences et technologies du numérique — France

Computer Science · Physical Sciences

13h-index728citations64works0.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Embedded Systems Design Techniques(31), Formal Methods in Verification(24), Real-Time Systems Scheduling(23), Simulation Techniques and Applications(9), Logic, programming, and type systems(8)

Publications64 total

Une sémantique de Kahn mécanisée pour les machines à états
SPIRE - Sciences Po Institutional REpository·2026Open Access
Functional Stream Semantics for a Synchronous Block-Diagram Compiler
2025
Lustre, Fast First, and Fresh
IEEE Embedded Systems Letters·2024· 1 citedOpen Access
Verified Compilation of Synchronous Dataflow with State Machines
ACM Transactions on Embedded Computing Systems·2023· 3 citedOpen Access
Analyse de dépendance vérifiée pour un langage synchrone à flot de données
HAL (Le Centre pour la Communication Scientifique Directe)·2023Open Access
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs
HAL (Le Centre pour la Communication Scientifique Directe)·2023Open Access
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
SPIRE - Sciences Po Institutional REpository·2023· 1 citedOpen Access
33èmes journées francophones des langages applicatifs
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
Towards a denotational semantics of streams for a verified Lustre compiler
SPIRE - Sciences Po Institutional REpository·2022Open Access
Specification and end-to-end proof of a reactive language and its compiler (invited talk)
2021
Verified Lustre Normalization with Node Subsampling
ACM Transactions on Embedded Computing Systems·2021· 6 citedOpen Access
Normalisation vérifiée du langage Lustre
HAL (Le Centre pour la Communication Scientifique Directe)·2021· 1 citedOpen Access
Mechanized semantics and verified compilation for a dataflow synchronous language with reset
Proceedings of the ACM on Programming Languages·2019· 20 citedOpen Access
Models, Algorithms, and Proofs for "Mechanized Semantics and Verified Compilation for a Dataflow Synchronous Language with Reset"
Artifact Digital Object Group·2019· 1 cited
Arguments cadencés dans un compilateur Lustre vérifié
HAL (Le Centre pour la Communication Scientifique Directe)·2019Open Access
Sundials/ML: Connecting OCaml to the Sundials Numeric Solvers
arXiv (Cornell University)·2018Open Access
Symbolic Simulation of Dataflow Synchronous Programs with Timers
Lecture notes in electrical engineering·2018Open Access
Building a Hybrid Systems Modeler on Synchronous Languages Principles
Proceedings of the IEEE·2018· 8 cited
Towards a verified Lustre compiler with modular reset
2018· 2 citedOpen Access
Automatic Parallelization from Lustre Models in Avionics
HAL (Le Centre pour la Communication Scientifique Directe)·2018· 2 citedOpen Access
page 1 of 4Next →

Frequent Co-authors

Marc Pouzet(31), Albert Benveniste(11), Benoı̂t Caillaud(10), Lélio Brun(6), Arcot Sowmya(5), Lionel Rieg(4), Basile Pesin(4), Pierre-Évariste Dagand(3), Xavier Leroy(3), Jean-Louis Colaço(3), Bruno Pagano(3), Cédric Pasteur(3), Peter Höfner(3), Guillaume Baudart(3), Paul Jeanmaire(3), Gerwin Klein(2), Robert J. van Glabbeek(2), Toby Murray(1), Daniel Matichuk(1), Matthew Brassil(1)