Timothy Bourke
Timothy Bourke
Onbekend partnerschap
Geverifieerd e-mailadres voor tbrk.org - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Professionalizing the organization
A Benveniste, SA Edwards, E Lee, K Schneider, R Von Hanxleden, ...
4331987
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
2252013
Zélus: A synchronous language with ODEs
T Bourke, M Pouzet
Proceedings of the 16th international conference on Hybrid systems …, 2013
1112013
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
602017
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
Time refinement in a functional synchronous language
L Mandel, C Pasteur, M Pouzet
Science of Computer Programming 111, 190-211, 2015
202015
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
152019
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
Real-time ticks for synchronous programming
R Von Hanxleden, T Bourke, A Girault
2017 Forum on Specification and Design Languages (FDL), 1-8, 2017
112017
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
Partially redundant fence elimination for x86, ARM, and Power processors
R Morisset, F Zappa Nardelli
Proceedings of the 26th International Conference on Compiler Construction, 1-10, 2017
102017
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20