Timothy Bourke

Publications

580

Citations

H-Index

2011

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Normale Supérieure - PSL

Laboratoire de l'Informatique du Parallélisme

Sorbonne Université

Laboratoire de Géologie de l’École Normale Supérieure

Timothy Bourke is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, formal methods, and formal verification.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationSystems EngineeringProgram AnalysisComputer EngineeringSystem SoftwareSoftware AnalysisParallel Programming

Publications per year

2011–2019

Publications

seL4: From General Purpose to a Proof of Information Flow Enforcement

Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 202 citations · Full text

Engineering, Information Security, Verification +24

Zélus

Timothy Bourke, Marc Pouzet · 2013 · 73 citations · Full text

Engineering, Compiler Technology, Software Engineering +18

Feedback responses rapidly scale with the urgency to correct for external perturbations

Frédéric Crevecoeur, Isaac Kurtzer, Timothy Bourke et al. · Journal of Neurophysiology · 2013 · 69 citations · Full text

Healthy Subjects, Motor Skill, Motor Control +23

Non-standard semantics of hybrid systems modelers

Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud et al. · Journal of Computer and System Sciences · 2011 · 64 citations

Engineering, Formal Modeling, Automated Reasoning +7

A formally verified compiler for Lustre

Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand et al. · 2017 · 57 citations

Engineering, Compiler Technology, Verification +19

Rows per page

1–5 of 12