Timothy Bourke - Concepedia

Author

Timothy Bourke

Institut national de recherche en sciences et technologies du numérique ORCID

Also Known As

Bourke, Timothy, Bourke, Timothy Peter, T. BOURKE, T. Bourke, Timothy Bourke

Publications

728

Citations

H-Index

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique École Normale Supérieure - PSL Laboratoire de l'Informatique du Parallélisme Sorbonne Université Laboratoire de Géologie de l’École Normale Supérieure

About

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.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	497
2	Health Sciences	1	1	69
3	Language Studies	1	1	19
4	Public Health	1	1	69
5	Applied Physiology	1	1	69

Timothy Bourke

Publications

580

Citations

H-Index

Page 1

	Year	Citations
seL4: From General Purpose to a Proof of Information Flow Enforcement Toby Murray, Daniel Matichuk, Matthew Brassil, EngineeringInformation SecurityVerificationCryptographic ProtocolSoftware Analysis	2013	202
Zélus Timothy Bourke, Marc Pouzet EngineeringCompiler TechnologySoftware EngineeringSoftware AnalysisFormal Verification	2013	73
Feedback responses rapidly scale with the urgency to correct for external perturbations Frédéric Crevecoeur, Isaac Kurtzer, Timothy Bourke, Journal of Neurophysiology Healthy SubjectsMotor SkillMotor ControlAttentionExternal Perturbations	2013	69
Non-standard semantics of hybrid systems modelers Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud, Journal of Computer and System Sciences EngineeringFormal ModelingAutomated ReasoningFormal MethodsSystems Engineering	2011	64
A formally verified compiler for Lustre Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, EngineeringCompiler TechnologyVerificationSoftware EngineeringSoftware Analysis	2017	57
Mechanized semantics and verified compilation for a dataflow synchronous language with reset Timothy Bourke, Lélio Brun, Marc Pouzet Proceedings of the ACM on Programming Languages EngineeringVerificationComputer-aided VerificationSoftware EngineeringSoftware Analysis	2019	20
A hybrid synchronous language with hierarchical automata Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud, EngineeringPushdown AutomatonSimulationCo-simulationFormal Verification	2011	19
Divide and recycle Albert Benveniste, Timothy Bourke, Benoı̂t Caillaud, EngineeringHybrid ComputingComputational MechanicsCo-simulationHybrid Modelers	2011	19
A formally verified compiler for Lustre Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, ACM SIGPLAN Notices EngineeringCompiler TechnologyVerificationComputer ArchitectureImperative Language	2017	17
A Synchronous Look at the Simulink Standard Library Timothy Bourke, François Carcenac, Jean-Louis Colaço, ACM Transactions on Embedded Computing Systems EngineeringComputer ArchitectureSystem-level DesignClock SynchronizationHardware Systems	2017	15

Page 1