Fingerprint
Dive into the research topics where Timothy Bourke is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Functional Stream Semantics for a Synchronous Block-Diagram Compiler
Bourke, T., Jeanmaire, P. & Pouzet, M., 1 Jan 2025, Proceedings - 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025. Institute of Electrical and Electronics Engineers Inc., p. 609-621 13 p. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Lustre, Fast First, and Fresh
Bourke, T. & Pouzet, M., 1 Jan 2025, In: IEEE Embedded Systems Letters. 17, 2, p. 119-122 4 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Lustre, Fast First, and Fresh
Bourke, T. & Pouzet, M., 1 Jan 2025, In: IEEE Embedded Systems Letters. 17, 2, p. 119-122 4 p.Research output: Contribution to journal › Article › peer-review
-
Preface
Bourke, T., Chen, L. & Goharshady, A., 1 Jan 2025, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 15469 LNCS, p. v-viResearch output: Contribution to journal › Editorial
-
Special Sessions-Predictable Timing Behavior in Distributed Cyber-Physical Systems
Chen, J. J., Günzel, M., Dasari, D., Becker, M., Lee, E. A. & Bourke, T., 5 Dec 2025, Proceedings - 2025 International Conference on Embedded Software, EMSOFT 2025. Association for Computing Machinery, Inc, p. 23-32 10 p. (Proceedings - 2025 International Conference on Embedded Software, EMSOFT 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Scheduling and Compiling Rate-Synchronous Programs with End-To-End Latency Constraints
Bourke, T., Bregeon, V. & Pouzet, M., 1 Jul 2023, 35th Euromicro Conference on Real-Time Systems, ECRTS 2023. Papadopoulos, A. V. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 262).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Verified Compilation of Synchronous Dataflow with State Machines
Bourke, T., Pesin, B. & Pouzet, M., 9 Sept 2023, In: ACM Transactions on Embedded Computing Systems. 22, 5 s, 137.Research output: Contribution to journal › Article › peer-review
Open Access -
Normalisation vérifiée du langage Lustre
Translated title of the contribution :Luster language verified standardization Research output: Contribution to conference › Paper › peer-review
-
Verified Lustre Normalization with Node Subsampling
Bourke, T., Jeanmaire, P., Pesin, B. & Pouzet, M., 1 Oct 2021, In: ACM Transactions on Embedded Computing Systems. 20, 5s, 98.Research output: Contribution to journal › Article › peer-review
Open Access -
Mechanized semantics and verified compilation for a dataflow synchronous language with reset
Bourke, T., Brun, L. & Pouzet, M., 1 Jan 2020, In: Proceedings of the ACM on Programming Languages. 4, POPL, 44.Research output: Contribution to journal › Article › peer-review
Open Access