E-LIB Suche - Ergebnisse für: Bourke, Timothy

1

Verified Compilation of Synchronous Dataflow with State Mac..:

Bourke, Timothy ; Pesin, Basile ; Pouzet, Marc
ACM Transactions on Embedded Computing Systems. 22 (2023) 5s - p. 1-26 , 2023

Link: https://doi.org/10.1145/..

2

Specification and end-to-end proof of a reactive language a..:

, In: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,

Bourke, Timothy - p. 1 ff. , 2021

Link: https://dl.acm.org/doi/1..

3

Verified Lustre Normalization with Node Subsampling:

Bourke, Timothy ; Jeanmaire, Paul ; Pesin, Basile.
ACM Transactions on Embedded Computing Systems. 20 (2021) 5s - p. 1-25 , 2021

Link: https://doi.org/10.1145/..

4

Verified Lustre Normalization with Node Subsampling:

Bourke, Timothy ; Jeanmaire, Paul ; Pesin, Basile.
ACM Transactions on Embedded Computing Systems (TECS). 20 (2021) 5s - p. 1-25 , 2021

Link: https://dl.acm.org/doi/1..

5

Mechanized semantics and verified compilation for a dataflo..:

Bourke, Timothy ; Brun, Lélio ; Pouzet, Marc
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019

Link: https://doi.org/10.1145/..

6

Mechanized semantics and verified compilation for a dataflo..:

Bourke, Timothy ; Brun, Lélio ; Pouzet, Marc
Proceedings of the ACM on Programming Languages. 4 (2019) POPL - p. 1-29 , 2019

Link: https://dl.acm.org/doi/1..

7

Towards a verified Lustre compiler with modular reset:

, In: Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems,

Bourke, Timothy ; Brun, Lélio ; Pouzet, Marc - p. 14-17 , 2018

Link: https://dl.acm.org/doi/1..

8

Symbolic Simulation of Dataflow Synchronous Programs with T..:

, In: Lecture Notes in Electrical Engineering; Languages, Design Methods, and Tools for Electronic System Design,

Baudart, Guillaume ; Bourke, Timothy ; Pouzet, Marc - p. 45-70 , 2018

Link: https://doi.org/10.1007/..

9

Building a Hybrid Systems Modeler on Synchronous Languages ..:

Benveniste, Albert ; Bourke, Timothy ; Caillaud, Benoit...
Proceedings of the IEEE. 106 (2018) 9 - p. 1568-1592 , 2018

Link: https://doi.org/10.1109/..

10

A Synchronous Look at the Simulink Standard Library:

Bourke, Timothy ; Carcenac, Francois ; Colaço, Jean-Louis...
ACM Transactions on Embedded Computing Systems. 16 (2017) 5s - p. 1-24 , 2017

Link: https://doi.org/10.1145/..

11

A formally verified compiler for Lustre:

, In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Bourke, Timothy ; Brun, Lélio ; Dagand, Pierre-Évariste... - p. 586-601 , 2017

Link: https://dl.acm.org/doi/1..

12

A type-based analysis of causality loops in hybrid systems ..:

Benveniste, Albert ; Bourke, Timothy ; Caillaud, Benoit..
Nonlinear Analysis: Hybrid Systems. 26 (2017) - p. 168-189 , 2017

Link: https://doi.org/10.1016/..

13

A Synchronous Look at the Simulink Standard Library:

Bourke, Timothy ; Carcenac, Francois ; Colaço, Jean-Louis...
ACM Transactions on Embedded Computing Systems (TECS). 16 (2017) 5s - p. 1-24 , 2017

Link: https://dl.acm.org/doi/1..

14

A formally verified compiler for Lustre:

Bourke, Timothy ; Brun, Lélio ; Dagand, Pierre-Évariste...
ACM SIGPLAN Notices. 52 (2017) 6 - p. 586-601 , 2017

Link: https://doi.org/10.1145/..

15

Loosely Time-Triggered Architectures : Improvements and ..:

Baudart, Guillaume ; Benveniste, Albert ; Bourke, Timothy
ACM Transactions on Embedded Computing Systems (TECS). 15 (2016) 4 - p. 1-26 , 2016

Link: https://dl.acm.org/doi/1..