Steve McKeever

According to our database, Steve McKeever authored at least 43 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Torque not Work, Representing Kinds of Quantities.

Steve McKeever

Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024

2022

A Discipline of Programming with Quantities.

Steve McKeever

CoRR, 2022

Acknowledging Implementation Trade-Offs When Developing with Units of Measurement.

Steve McKeever

Proceedings of the Model-Driven Engineering and Software Development, 2022

Discerning Quantities from Units of Measurement.

Steve McKeever

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2021

Unit of measurement libraries, their popularity and suitability.

Steve McKeever, Oscar Bennich-Björkman, Omar-Alfred Salah

Softw. Pract. Exp., 2021

From Quantities in Software Models to Implementation.

Steve McKeever

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020

Towards Explainable, Compliant and Adaptive Human-Automation Interaction.

Barbara Gallina, Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt, Stefania Costantini, Pierangelo Dell'Acqua, Gloria Cerasela Crisan

Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020) co-located with 33rd International Conference on Legal Knowledge and Information Systems (JURIX 2020), 2020

Lack of adoption of units of measurement libraries: survey and anecdotes.

Omar-Alfred Salah, Steve McKeever

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2019

Diftong: a tool for validating big data workflows.

Raya Rizk, Steve McKeever, Johan Petrini, Erik Zeitler

J. Big Data, 2019

Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions.

Steve McKeever, Görkem Paçaci, Oscar Bennich-Björkman

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

"Why Did You Do That?" - Explaining Black Box Models with Inductive Synthesis.

Görkem Paçaci, David Johnson, Steve McKeever, Andreas Hamfelt

Proceedings of the Computational Science - ICCS 2019, 2019

2018

The next 700 unit of measurement checkers.

Oscar Bennich-Björkman, Steve McKeever

Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, 2018

2017

Simulating market-oriented policy interventions for stimulating antibiotics development.

Christopher Okhravi, Steve McKeever, Carl Kronlid, Enrico Baraldi, Olof Lindahl, Francesco Ciabuschi

Proceedings of the 50th Annual Simulation Symposium, Virginia Beach, VA, USA, April 23, 2017

Compositional Relational Programming with Name Projection and Compositional Synthesis.

Görkem Paçaci, Steve McKeever, Andreas Hamfelt

Proceedings of the Perspectives of System Informatics, 2017

2014

Web-Based Workflow Planning Platform Supporting the Design and Execution of Complex Multiscale Cancer Models.

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

IEEE J. Biomed. Health Informatics, 2014

Model Composition for Biological Mathematical Systems.

Mandeep Gill, Steve McKeever, David Gavaghan

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2013

Abstraction in physiological modelling languages.

Steve McKeever, Mandeep Gill, Anthony J. Connor, David Johnson

Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

2012

Modules for Reusable and Collaborative Modelling of Biological Mathematical Systems.

Mandeep Gill, Steve McKeever, David Gavaghan

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Modular mathematical modelling of biological systems.

Mandeep Gill, Steve McKeever, David Gavaghan

Proceedings of the 2012 Spring Simulation Multiconference, 2012

Modular markup for simulating vascular tumour growth.

David Johnson, Anthony J. Connor, Steve McKeever

Proceedings of the 2012 5th International Advanced Research Workshop on In Silico Oncology and Cancer Investigation, 2012

An architecture for integrating cancer model repositories.

Stelios Sfakianakis, Vangelis Sakkalis, Kostas Marias, Georgios S. Stamatakos, Steve McKeever, Thomas S. Deisboeck, Norbert M. Graf

Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

2011

TumorML: Concept and requirements of an in silico cancer modelling markup language.

David Johnson, Jonathan Cooper, Steve McKeever

Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

2010

Checking concurrent contracts with aspects.

Eric Kerfoot, Steve McKeever

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

2009

euHeartDB: A Web-Enabled Database for Geometrical Models of the Heart.

Daniele Gianni, Steve McKeever, Nic Smith

Proceedings of the Functional Imaging and Modeling of the Heart, 2009

2008

A model-driven approach to automatic conversion of physical units.

Jonathan Cooper, Steve McKeever

Softw. Pract. Exp., 2008

Converting Biomolecular Modelling Data Based on an XML Representation.

Yudong Sun, Steve McKeever

J. Integr. Bioinform., 2008

Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation.

Johan Ditmar, Steve McKeever, Alex Wilson

Int. J. Reconfigurable Comput., 2008

2007

Performance problem localization in self-healing, service-oriented systems using Bayesian networks.

Rui Zhang, Steve Moyle, Steve McKeever, Alan Bivens

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Scalable problem localization for distributed systems: principles and practices.

Rui Zhang, Bruno C. d. S. Oliveira, Alan Bivens, Steve McKeever

Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

Experience report: a Haskell interpreter for cellML.

Jonathan Cooper, Steve McKeever

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Integrating multi-level molecular simulations across heterogeneous resources.

Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom

Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (GRID 2007), 2007

Array Synthesis in SystemC Hardware Compilation.

Johan Ditmar, Steve McKeever

Proceedings of the FPL 2007, 2007

A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide.

Yudong Sun, Steve McKeever, Kia Balali-Mood, Mark S. P. Sansom

Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2007

2006

Provably-correct hardware compilation tools based on pass separation techniques.

Steve McKeever, Wayne Luk

Formal Aspects Comput., 2006

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations.

Jonathan Cooper, Steve McKeever, Alan Garny

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

2005

OGSA-based grid workload monitoring.

Rui Zhang, Steve Moyle, Steve McKeever, Stephen Heisig

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

2003

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.

Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever

Proceedings of the 25th International Conference on Software Engineering, 2003

Towards Verifying Parametrised Hardware Libraries with Relative Placement Information.

Steve McKeever, Wayne Luk, Arran Derbyshire

Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

2002

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries.

Steve McKeever, Wayne Luk, Arran Derbyshire

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

A declarative framework for developing parametrised hardware libraries.

Steve McKeever, Wayne Luk

Proceedings of the 2001 8th IEEE International Conference on Electronics, 2001

Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques.

Steve McKeever, Wayne Luk

Proceedings of the Correct Hardware Design and Verification Methods, 2001

1999

Towards Adaptable Hierarchical Placement for FPGAs.

Florent de Dinechin, Wayne Luk, Steve McKeever

Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999

1998

Pebble: A Language for Parametrised and Reconfigurable Hardware Design.

Wayne Luk, Steve McKeever

Proceedings of the Field-Programmable Logic and Applications, 1998