Steve McKeever

46 papers A* 1A 2B 5C 8Misc 2Journal 9Unranked 19

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