Timothy Bourke
Title
Cited by
Cited by
Year
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
4181987
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
2272013
Zélus: A synchronous language with ODEs
T Bourke, M Pouzet
Proceedings of the 16th international conference on Hybrid systems …, 2013
1122013
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
972012
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
622017
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
392011
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code
A Benveniste, T Bourkey, B Caillaud, M Pouzet
2011 Proceedings of the Ninth ACM International Conference on Embedded …, 2011
352011
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
312012
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
222015
A type-based analysis of causality loops in hybrid systems modelers
A Benveniste, T Bourke, B Caillaud, B Pagano, M Pouzet
Nonlinear Analysis: Hybrid Systems 26, 168-189, 2017
212017
A mechanized proof of loop freedom of the (untimed) AODV routing protocol
T Bourke, R van 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
162019
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
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
122010
Showing invariance compositionally for a process algebra for network protocols
T Bourke, RJ van Glabbeek, P Höfner
International Conference on Interactive Theorem Proving, 144-159, 2014
112014
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
Development of a robotic wheelchair
T Bourke
University or Wollongong, 2001
82001
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
72018
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
72018
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