Steve McKeever

According to our database1, Steve McKeever authored at least 30 papers between 1998 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Simulating market-oriented policy interventions for stimulating antibiotics development.
Proceedings of the 50th Annual Simulation Symposium, Virginia Beach, VA, USA, April 23, 2017

Compositional Relational Programming with Name Projection and Compositional Synthesis.
Proceedings of the Perspectives of System Informatics, 2017

Web-Based Workflow Planning Platform Supporting the Design and Execution of Complex Multiscale Cancer Models.
IEEE J. Biomedical and Health Informatics, 2014

Model Composition for Biological Mathematical Systems.
Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

Abstraction in physiological modelling languages.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Modules for Reusable and Collaborative Modelling of Biological Mathematical Systems.
Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

Modular mathematical modelling of biological systems.
Proceedings of the 2012 Spring Simulation Multiconference, 2012

Modular markup for simulating vascular tumour growth.
Proceedings of the 2012 5th International Advanced Research Workshop on In Silico Oncology and Cancer Investigation, 2012

An architecture for integrating cancer model repositories.
Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2012

TumorML: Concept and requirements of an in silico cancer modelling markup language.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2011

Checking concurrent contracts with aspects.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

euHeartDB: A Web-Enabled Database for Geometrical Models of the Heart.
Proceedings of the Functional Imaging and Modeling of the Heart, 2009

A model-driven approach to automatic conversion of physical units.
Softw., Pract. Exper., 2008

Converting Biomolecular Modelling Data Based on an XML Representation.
J. Integrative Bioinformatics, 2008

Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation.
Int. J. Reconfig. Comp., 2008

Performance problem localization in self-healing, service-oriented systems using Bayesian networks.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Scalable problem localization for distributed systems: principles and practices.
Proceedings of the 2nf International Conference on Scalable Information Systems, 2007

Experience report: a Haskell interpreter for cellML.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

Integrating multi-level molecular simulations across heterogeneous resources.
Proceedings of the 8th IEEE/ACM International Conference on Grid Computing (GRID 2007), 2007

Array Synthesis in SystemC Hardware Compilation.
Proceedings of the FPL 2007, 2007

A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2007

Provably-correct hardware compilation tools based on pass separation techniques.
Formal Asp. Comput., 2006

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations.
Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

OGSA-based grid workload monitoring.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects.
Proceedings of the 25th International Conference on Software Engineering, 2003

Towards Verifying Parametrised Hardware Libraries with Relative Placement Information.
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries.
Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques.
Proceedings of the Correct Hardware Design and Verification Methods, 2001

Towards Adaptable Hierarchical Placement for FPGAs.
Proceedings of the 1999 ACM/SIGDA Seventh International Symposium on Field Programmable Gate Arrays, 1999

Pebble: A Language for Parametrised and Reconfigurable Hardware Design.
Proceedings of the Field-Programmable Logic and Applications, 1998