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 | 292 | 2013 |
Zélus: A synchronous language with ODEs T Bourke, M Pouzet Proceedings of the 16th international conference on Hybrid systems …, 2013 | 143 | 2013 |
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 | 110 | 2017 |
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 | 105 | 2012 |
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 | 46 | 2011 |
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 | 42 | 2011 |
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 | 34 | 2019 |
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 | 34 | 2012 |
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 | 30 | 2014 |
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 | 24 | 2015 |
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 | 22 | 2019 |
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 | 21 | 2017 |
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 | 21 | 2014 |
Real-time ticks for synchronous programming R Von Hanxleden, T Bourke, A Girault 2017 Forum on Specification and Design Languages (FDL), 1-8, 2017 | 18 | 2017 |
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 | 13 | 2016 |
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 | 12 | 2018 |
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 | 10 | 2014 |
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 | 10 | 2012 |
Verified Lustre normalization with node subsampling T Bourke, P Jeanmaire, B Pesin, M Pouzet ACM Transactions on Embedded Computing Systems (TECS) 20 (5s), 1-25, 2021 | 9 | 2021 |
Mechanizing a process algebra for network protocols T Bourke, RJ Van Glabbeek, P Höfner Journal of Automated Reasoning 56 (3), 309-341, 2016 | 9 | 2016 |