View all research projects
Research project

Advanced Analysis of Ocean Bottom Seismic Data from the Blackrock Site

Staff

Lead researchers

Professor Tim Minshull

Professor in Ocean & Earth Science

Research interests

  • Continental breakup and the onset of seafloor spreading
  • Methane hydrate beneath the seafloor and its role in the Earth system
  • Exploration geophysics: seismic and electromagnetic imaging
Connect with Tim

Email: [email protected]

Research outputs

Co-simulating Event-B and continuous models via FMI
Vitaly Savicks, Michael Butler & John Colley, 2014
Type: conference
Co-simulation environment for Rodin: landing gear case study
Vitaly Savicks, Michael Butler & John Colley, 2014
DOI: 10.1007/978-3-319-07512-9_11
Type: conference
Formal derivation of distributed MapReduce
Inna Pereverzeva, Michael Butler, Asieh Salehi Fathabadi, Linas Laibinis & Elena Troubitsyna, 2014
Type: conference
Rodin multi-simulation plug-in
Vitaly Savicks, Michael Butler, John Colley & Jens Bendisposto, 2014
Type: conference
Code Generation – Tool Developments
2014
Type: conference