Mark J. Wheelhouse

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 2

Top Topics

Reasoning Process

Case Based Reasoner

Analogical Reasoning

Communication Services

Top Venues

Theory and Practice of Formal Methods

Publications

Robert Chatley, Tony Field, Mark J. Wheelhouse, Carolyn Runcie, Clive Grinyer, Nick de Leon
Designing for Real People: Teaching Agility through User-Centric Service Design. SEET@ICSE (2023)
Razvan Certezeanu, Sophia Drossopoulou, Benjamin Egelund-Müller, K. Rustan M. Leino, Sinduran Sivarajan, Mark J. Wheelhouse
Quicksort Revisited - Verifying Alternative Versions of Quicksort. Theory and Practice of Formal Methods (2016)
Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright
Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. MFPS (2014)
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse
Abstract Local Reasoning for Program Modules. CALCO (2011)
Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse
A simple abstraction for complex concurrent indexes. OOPSLA (2011)
Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse
Abstraction and Refinement for Local Reasoning. VSTTE (2010)
Philippa Gardner, Mark J. Wheelhouse
Small Specifications for Tree Update. WS-FM (2009)
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty
DOM: Towards a Formal Specification. PLAN-X (2008)
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse, Uri Zarfaty
Local Hoare reasoning about DOM. PODS (2008)