Steve McKeever

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 15

Top Topics

Current Status And Future

Measurement Error

Top Venues

IEEE J. Biomed. Health Informatics

Publications

Steve McKeever
Torque not Work, Representing Kinds of Quantities. MODELSWARD (2024)
Steve McKeever
A Discipline of Programming with Quantities. CoRR (2022)
Steve McKeever
Acknowledging Implementation Trade-Offs When Developing with Units of Measurement. MODELSWARD (Revised Selected Papers) (2022)
Steve McKeever
Discerning Quantities from Units of Measurement. MODELSWARD (2022)
Steve McKeever
From Quantities in Software Models to Implementation. MODELSWARD (2021)
Steve McKeever, Oscar Bennich-Björkman, Omar-Alfred Salah
Unit of measurement libraries, their popularity and suitability. Softw. Pract. Exp. 51 (4) (2021)
Omar-Alfred Salah, Steve McKeever
Lack of adoption of units of measurement libraries: survey and anecdotes. ICSE (SEIP) (2020)
Barbara Gallina, Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan
Towards Explainable, Compliant and Adaptive Human-Automation Interaction. XAILA@JURIX (2020)
Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt
"Why did you do that?": Explaining black box models with Inductive Synthesis. CoRR (2019)
Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt
"Why Did You Do That?" - Explaining Black Box Models with Inductive Synthesis. ICCS (5) (2019)
Steve McKeever, Görkem Paçaci, Oscar Bennich-Björkman
Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions. MODELSWARD (2019)
Raya Rizk, Steve McKeever, Johan Petrini, Erik Zeitler
Diftong: a tool for validating big data workflows. J. Big Data 6 (2019)
Oscar Bennich-Björkman, Steve McKeever
The next 700 unit of measurement checkers. SLE (2018)
Christopher Okhravi, Steve McKeever, Carl Kronlid, Enrico Baraldi, Olof Lindahl, Francesco Ciabuschi
Simulating market-oriented policy interventions for stimulating antibiotics development. SpringSim (ANSS) (2017)
Görkem Paçaci, Steve McKeever, Andreas Hamfelt
Compositional Relational Programming with Name Projection and Compositional Synthesis. Ershov Informatics Conference (2017)
Mandeep Gill, Steve McKeever, David Gavaghan
Model Composition for Biological Mathematical Systems. MODELSWARD (2014)
Vangelis Sakkalis, Stelios Sfakianakis, Eleftheria Tzamali, Kostas Marias, Georgios S. Stamatakos, Fay Misichroni, Eleftherios Ouzounoglou, Eleni A. Kolokotroni, Dimitra D. Dionysiou, David Johnson, Steve McKeever, Norbert M. Graf
Web-Based Workflow Planning Platform Supporting the Design and Execution of Complex Multiscale Cancer Models. IEEE J. Biomed. Health Informatics 18 (3) (2014)
Steve McKeever, Mandeep Gill, Anthony J. Connor, David Johnson
Abstraction in physiological modelling languages. SpringSim (TMS-DEVS) (2013)
David Johnson, Anthony J. Connor, Steve McKeever
Modular markup for simulating vascular tumour growth. IARWISOI (2012)
Mandeep Gill, Steve McKeever, David Gavaghan
Modules for Reusable and Collaborative Modelling of Biological Mathematical Systems. WETICE (2012)
Mandeep Gill, Steve McKeever, David Gavaghan
Modular mathematical modelling of biological systems. SpringSim (TMS-DEVS) (2012)
Stelios Sfakianakis, Vangelis Sakkalis, Kostas Marias, Georgios S. Stamatakos, Steve McKeever, Thomas S. Deisboeck, Norbert M. Graf
An architecture for integrating cancer model repositories. EMBC (2012)
David Johnson, Jonathan Cooper, Steve McKeever
TumorML: Concept and requirements of an in silico cancer modelling markup language. EMBC (2011)
Eric Kerfoot, Steve McKeever
Checking concurrent contracts with aspects. SAC (2010)
Daniele Gianni, Steve McKeever, Nic Smith
euHeartDB: A Web-Enabled Database for Geometrical Models of the Heart. FIMH (2009)
Yudong Sun, Steve McKeever
Converting Biomolecular Modelling Data Based on an XML Representation. J. Integr. Bioinform. 5 (2) (2008)
Jonathan Cooper, Steve McKeever
A model-driven approach to automatic conversion of physical units. Softw. Pract. Exp. 38 (4) (2008)
Johan Ditmar, Steve McKeever, Alex Wilson
Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation. Int. J. Reconfigurable Comput. 2008 (2008)
Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom
Integrating multi-level molecular simulations across heterogeneous resources. GRID (2007)
Jonathan Cooper, Steve McKeever
Experience report: a Haskell interpreter for cellML. ICFP (2007)
Rui Zhang, Bruno C. d. S. Oliveira, Alan Bivens, Steve McKeever
Scalable problem localization for distributed systems: principles and practices. Infoscale (2007)
Johan Ditmar, Steve McKeever
Array Synthesis in SystemC Hardware Compilation. FPL (2007)
Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom
A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide. BIBM (2007)
Rui Zhang, Steve Moyle, Steve McKeever, Alan Bivens
Performance problem localization in self-healing, service-oriented systems using Bayesian networks. SAC (2007)
Steve McKeever, Wayne Luk
Provably-correct hardware compilation tools based on pass separation techniques. Formal Aspects Comput. 18 (2) (2006)
Jonathan Cooper, Steve McKeever, Alan Garny
On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations. PEPM (2006)
Rui Zhang, Steve Moyle, Steve McKeever, Stephen Heisig
OGSA-based grid workload monitoring. CCGRID (2005)
Steve McKeever, Wayne Luk, Arran Derbyshire
Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. HICSS (2003)
Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects. ICSE (2003)
Steve McKeever, Wayne Luk, Arran Derbyshire
Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries. FMCAD (2002)
Steve McKeever, Wayne Luk
Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques. CHARME (2001)
Steve McKeever, Wayne Luk
A declarative framework for developing parametrised hardware libraries. ICECS (2001)
Florent de Dinechin, Wayne Luk, Steve McKeever
Towards Adaptable Hierarchical Placement for FPGAs. FPGA (1999)
Wayne Luk, Steve McKeever
Pebble: A Language for Parametrised and Reconfigurable Hardware Design. FPL (1998)