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
-
Balancing Airport Grid Load: The Role of Smart EV Charging, Solar, and Batteries
Part of 2025 Winter Simulation Conference (WSC), p. 711-722, 2026
- DOI for Balancing Airport Grid Load: The Role of Smart EV Charging, Solar, and Batteries
- Download full text (pdf) of Balancing Airport Grid Load: The Role of Smart EV Charging, Solar, and Batteries
-
A Pluggable Type Checker for Representing Kinds of Quantities
Part of Model-Based Software and Systems Engineering, p. 151-172, 2026
-
Effect of Maintenance and Failure on Electrical Vehicles Charging Scheduling at an Airport
Part of Simulation Tools and Techniques, p. 116-127, 2025
-
Part of 2025 Annual Modeling and Simulation Conference (ANNSIM), p. 1-13, 2025
-
Part of JMIR Formative Research, 2025
- DOI for Image-Based Dietary Assessment Using the Swedish Plate Model: Evaluation of Deep Learning-Based You Only Look Once (YOLO) Models
- Download full text (pdf) of Image-Based Dietary Assessment Using the Swedish Plate Model: Evaluation of Deep Learning-Based You Only Look Once (YOLO) Models
All publications
Articles in journal
-
Part of JMIR Formative Research, 2025
- DOI for Image-Based Dietary Assessment Using the Swedish Plate Model: Evaluation of Deep Learning-Based You Only Look Once (YOLO) Models
- Download full text (pdf) of Image-Based Dietary Assessment Using the Swedish Plate Model: Evaluation of Deep Learning-Based You Only Look Once (YOLO) Models
-
Comparing machine learning models with a focus on tone in grooming chat logs
Part of Frontiers in Pediatrics, 2025
- DOI for Comparing machine learning models with a focus on tone in grooming chat logs
- Download full text (pdf) of Comparing machine learning models with a focus on tone in grooming chat logs
-
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
-
Balancing Airport Grid Load: The Role of Smart EV Charging, Solar, and Batteries
Part of 2025 Winter Simulation Conference (WSC), p. 711-722, 2026
- DOI for Balancing Airport Grid Load: The Role of Smart EV Charging, Solar, and Batteries
- Download full text (pdf) of Balancing Airport Grid Load: The Role of Smart EV Charging, Solar, and Batteries
-
A Pluggable Type Checker for Representing Kinds of Quantities
Part of Model-Based Software and Systems Engineering, p. 151-172, 2026
-
Effect of Maintenance and Failure on Electrical Vehicles Charging Scheduling at an Airport
Part of Simulation Tools and Techniques, p. 116-127, 2025
-
Part of 2025 Annual Modeling and Simulation Conference (ANNSIM), p. 1-13, 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
-
The Case for Using Markup for Biomechanical Modelling
2011
-
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