Follow
Timothy Bourke
Title
Cited by
Cited by
Year
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
4321987
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
2532013
Zélus: A synchronous language with ODEs
T Bourke, M Pouzet
Proceedings of the 16th international conference on Hybrid systems …, 2013
1222013
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
992012
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
752017
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
382011
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
342011
Challenges and experiences in managing large-scale proofs
T Bourke, M Daum, G Klein, R Kolanski
International Conference on Intelligent Computer Mathematics, 32-48, 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
252014
A synchronous-based code generator for explicit hybrid systems languages
T Bourke, JL Colaço, B Pagano, C Pasteur, M Pouzet
International Conference on Compiler Construction, 69-88, 2015
202015
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
T Bourke, R Glabbeek, P Höfner
International Symposium on Automated Technology for Verification and …, 2014
192014
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
182019
Real-time ticks for synchronous programming
R Von Hanxleden, T Bourke, A Girault
2017 Forum on Specification and Design Languages (FDL), 1-8, 2017
122017
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
112017
Showing invariance compositionally for a process algebra for network protocols
T Bourke, RJ Glabbeek, P Höfner
International Conference on Interactive Theorem Proving, 144-159, 2014
112014
New results on timed specifications
T Bourke, A David, KG Larsen, A Legay, D Lime, U Nyman, A Wąsowski
International Workshop on Algebraic Development Techniques, 175-192, 2010
112010
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
102018
Mechanizing a process algebra for network protocols
T Bourke, RJ Van Glabbeek, P Höfner
Journal of Automated Reasoning 56 (3), 309-341, 2016
82016
Automatically transforming and relating Uppaal models of embedded systems
T Bourke, A Sowmya
Proceedings of the 8th ACM international conference on Embedded software, 59-68, 2008
82008
Hybrid systems modeling challenges caused by cyber-physical systems
A Benveniste, T Bourke, B Caillaud, M Pouzet
Cyber-Physical Systems (CPS) Foundations and Challenges. Available on-line …, 2013
72013
The system can't perform the operation now. Try again later.
Articles 1–20