Följ
Timothy Bourke
Timothy Bourke
Okänd anknytning
Verifierad e-postadress på tbrk.org - Startsida
Titel
Citeras av
Citeras av
År
seL4: from general purpose to a proof of information flow enforcement
T Murray, D Matichuk, M Brassil, P Gammie, T Bourke, S Seefried, ...
2013 IEEE Symposium on Security and Privacy, 415-429, 2013
2852013
Zélus: A synchronous language with ODEs
T Bourke, M Pouzet
Proceedings of the 16th international conference on Hybrid systems …, 2013
1462013
A formally verified compiler for Lustre
T Bourke, L Brun, PÉ Dagand, X Leroy, M Pouzet, L Rieg
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
1082017
Non-standard semantics of hybrid systems modelers
A Benveniste, T Bourke, B Caillaud, M Pouzet
Journal of Computer and System Sciences 78 (3), 877-910, 2012
1062012
Divide and recycle: types and compilation for a hybrid synchronous language
A Benveniste, T Bourke, B Caillaud, M Pouzet
ACM SIGPLAN Notices 46 (5), 61-70, 2011
472011
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code
A Benveniste, T Bourke, B Caillaud, M Pouzet
Proceedings of the ninth ACM international conference on Embedded software …, 2011
422011
Mechanized semantics and verified compilation for a dataflow synchronous language with reset
T Bourke, L Brun, M Pouzet
Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019
372019
Challenges and experiences in managing large-scale proofs
T Bourke, M Daum, G Klein, R Kolanski
Intelligent Computer Mathematics: 11th International Conference, AISC 2012 …, 2012
332012
A type-based analysis of causality loops in hybrid systems modelers
A Benveniste, T Bourke, B Caillaud, B Pagano, M Pouzet
Proceedings of the 17th international conference on Hybrid systems …, 2014
302014
A synchronous-based code generator for explicit hybrid systems languages
T Bourke, JL Colaço, B Pagano, C Pasteur, M Pouzet
Compiler Construction: 24th International Conference, CC 2015, Held as Part …, 2015
252015
Genome–Scale Metabolic Networks Shed Light on the Carotenoid Biosynthesis Pathway in the Brown Algae Saccharina japonica and Cladosiphon okamuranus
D Nègre, M Aite, A Belcour, C Frioux, L Brillet-Guéguen, X Liu, P Bordron, ...
Antioxidants 8 (11), 564, 2019
222019
A synchronous look at the simulink standard library
T Bourke, F Carcenac, JL Colaço, B Pagano, C Pasteur, M Pouzet
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-24, 2017
212017
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
T Bourke, R van Glabbeek, P Höfner
Automated Technology for Verification and Analysis: 12th International …, 2014
212014
Real-time ticks for synchronous programming
R Von Hanxleden, T Bourke, A Girault
2017 Forum on Specification and Design Languages (FDL), 1-8, 2017
182017
Loosely time-triggered architectures: improvements and comparisons
G Baudart, A Benveniste, T Bourke
ACM Transactions on Embedded Computing Systems (TECS) 15 (4), 1-26, 2016
122016
Building a hybrid systems modeler on synchronous languages principles
A Benveniste, T Bourke, B Caillaud, JL Colaço, C Pasteur, M Pouzet
Proceedings of the IEEE 106 (9), 1568-1592, 2018
112018
New results on timed specifications
T Bourke, A David, KG Larsen, A Legay, D Lime, U Nyman, A Wąsowski
Recent Trends in Algebraic Development Techniques: 20th International …, 2012
112012
Showing invariance compositionally for a process algebra for network protocols
T Bourke, RJ van Glabbeek, P Höfner
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as …, 2014
102014
Towards a verified Lustre compiler with modular reset
T Bourke, L Brun, M Pouzet
Proceedings of the 21st International Workshop on Software and Compilers for …, 2018
92018
Mechanizing a process algebra for network protocols
T Bourke, RJ Van Glabbeek, P Höfner
Journal of Automated Reasoning 56 (3), 309-341, 2016
92016
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20