According to our database1, Steve McKeever authored at least 30 papers between 1998 and 2017.
Legend:Book In proceedings Article PhD thesis Other
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