Steve McKeever

According to our database1, Steve McKeever
  • authored at least 28 papers between 1998 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
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

2014
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

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

2012
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

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

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

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

2008
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

2007
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

2006
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

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

2003
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

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

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

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

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


  Loading...