Steve McKeever
Senior Lecturer/Associate Professor at Department of Informatics and Media
- Telephone:
- +46 18 471 51 50
- E-mail:
- steve.mckeever@im.uu.se
- Visiting address:
- Ekonomikum (plan 3)
Kyrkogårdsgatan 10 - Postal address:
- Box 513
751 20 UPPSALA
Download contact information for Steve McKeever at Department of Informatics and Media
Biography
The focus of my research has always been on the application of rigorous software engineering techniques to areas of personal interest. I began my research studies by looking at how to automatically create evaluation mechanisms for programming languages.
I then moved onto the emerging area of programmable hardware whilst a research associate. I developed languages suitable for designing circuits at a very abstract level.
More recently I have applied similar techniques to the modelling of biological processes at both the cell and atomistic levels. The current focus of my work is on developing tools and languages for supporting component based modeling of the heart and various cancers.
Publications
Recent publications
Effect of Maintenance and Failure on Electrical Vehicles Charging Scheduling at an Airport
Part of Simulation Tools and Techniques, p. 116-127, 2025
Torque not Work, Representing Kinds of Quantities
Part of Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, p. 133-140, 2024
Acknowledging Implementation Trade-Offs When Developing with Units of Measurement
Part of Model-Driven Engineering and Software Development, p. 25-47, Springer, 2023
Managing Quantities and Units of Measurement in Code Bases
Part of Updates on Software Usability, p. 1-20, InTech, 2023
- DOI for Managing Quantities and Units of Measurement in Code Bases
- Download full text (pdf) of Managing Quantities and Units of Measurement in Code Bases
Discerning Quantities from Units of Measurement
Part of Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, p. 105-115, 2022
All publications
Articles in journal
Unit of measurement libraries, their popularity and suitability
Part of Software, practice & experience, p. 711-734, 2021
- DOI for Unit of measurement libraries, their popularity and suitability
- Download full text (pdf) of Unit of measurement libraries, their popularity and suitability
Diftong: a tool for validating big data workflows
Part of Journal of Big Data, 2019
- DOI for Diftong: a tool for validating big data workflows
- Download full text (pdf) of Diftong: a tool for validating big data workflows
Simulating Market Entry Rewards for Antibiotics Development
Part of Journal of Law, Medicine & Ethics, p. 32-42, 2018
Semantically Linking In Silico Cancer Models
Part of Cancer Informatics, p. 133-143, 2014
- DOI for Semantically Linking In Silico Cancer Models
- Download full text (pdf) of Semantically Linking In Silico Cancer Models
Part of IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, p. 824-831, 2014
Dealing with Diversity in Computational Cancer Modeling
Part of Cancer Informatics, p. 115-124, 2013
Connecting digital cancer model repositories with markup: introducing TumorML version 1.0
Part of ACM SIGBioinformatics Record, p. 5-11, 2013
Articles, review/survey
Chapters in book
Acknowledging Implementation Trade-Offs When Developing with Units of Measurement
Part of Model-Driven Engineering and Software Development, p. 25-47, Springer, 2023
Managing Quantities and Units of Measurement in Code Bases
Part of Updates on Software Usability, p. 1-20, InTech, 2023
- DOI for Managing Quantities and Units of Measurement in Code Bases
- Download full text (pdf) of Managing Quantities and Units of Measurement in Code Bases
Conference papers
Effect of Maintenance and Failure on Electrical Vehicles Charging Scheduling at an Airport
Part of Simulation Tools and Techniques, p. 116-127, 2025
Torque not Work, Representing Kinds of Quantities
Part of Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, p. 133-140, 2024
Discerning Quantities from Units of Measurement
Part of Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, p. 105-115, 2022
From Quantities in Software Models to Implementation
Part of Proceedings of the 9th international conference on model-driven engineering and software development (MODELSWARD), p. 199-206, 2021
Lack of Adoption of Units of Measurement Libraries: Survey and Anecdotes
Part of 2020 IEEE/ACM 42nd International Conference On Software Engineering, p. 81-89, 2020
Towards Explainable, Compliant and Adaptive Human-Automation Interaction
Part of Proceedings of the 3rd EXplainable AI in Law Workshop (XAILA 2020), 2020
- Download full text (pdf) of Towards Explainable, Compliant and Adaptive Human-Automation Interaction
"Why did you do that?": Explaining black box models with Inductive Synthesis
Part of International Conference on Computational Science (ICCS), 2019
- DOI for "Why did you do that?": Explaining black box models with Inductive Synthesis
- Download full text (pdf) of "Why did you do that?": Explaining black box models with Inductive Synthesis
Quantity Checking through Unit of Measurement Libraries, Current Status and Future Directions
Part of MODELSWARD, p. 441-447, 2019
The Next 700 Unit of Measurement Checkers
Part of Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering (SLE '18), p. 121-132, 2018
Compositional Relational Programming with Name Projection and Compositional Synthesis
Part of Perspectives of System Informatics, p. 306-321, 2018
- DOI for Compositional Relational Programming with Name Projection and Compositional Synthesis
- Download full text (pdf) of Compositional Relational Programming with Name Projection and Compositional Synthesis
Simulating Market-Oriented Policy Interventions for Stimulating Antibiotics Development
Part of ANSS '17 Proceedings of the 50th Annual Simulation Symposium, 2017
- DOI for Simulating Market-Oriented Policy Interventions for Stimulating Antibiotics Development
- Download full text (pdf) of Simulating Market-Oriented Policy Interventions for Stimulating Antibiotics Development
Model Composition for Biological Mathematical Systems
Part of MODELSWARD 2014, 2014
Abstraction in Physiological Modelling Languages
Part of Symposium On Theory of Modeling and Simulation, p. 76-83, 2013
Modular markup for simulating vascular tumour growth
2012
TumorML: Concept and requirements of an in silico cancer modelling markup language
p. 441-444, 2011
- DOI for TumorML: Concept and requirements of an in silico cancer modelling markup language
- Download full text (pdf) of TumorML: Concept and requirements of an in silico cancer modelling markup language
The Case for Using Markup for Biomechanical Modelling
2011