Travelled to:1 × Germany
1 × Korea
1 × Switzerland
3 × USA
Collaborated with:J.Cooper E.Kerfoot O.Bennich-Björkman A.Garny R.Zhang S.Moyle A.Bivens A.Simpson A.Martin J.Gibbons J.Davies
Talks about:electrophysiolog (1) postgradu (1) interpret (1) supervis (1) contract (1) bayesian (1) softwar (1) project (1) problem (1) perform (1)
Person: Steve McKeever
DBLP: McKeever:Steve
Contributed to:
2010
20072007
2006
2003
2018Wrote 6 papers:
- SAC-2010-KerfootM #aspect-oriented #concurrent #contract
- Checking concurrent contracts with aspects (EK, SM), pp. 2523–2530.
- ICFP-2007-CooperM #case study #experience #haskell #interpreter
- Experience report: a Haskell interpreter for cellML (JC, SM), pp. 247–250.
- SAC-2007-ZhangMMB #locality #network #performance #problem #self #using
- Performance problem localization in self-healing, service-oriented systems using Bayesian networks (RZ, SM, SM, AB), pp. 104–109.
- PEPM-2006-CooperMG #on the #optimisation #partial evaluation #simulation
- On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations (JC, SM, AG), pp. 12–20.
- ICSE-2003-SimpsonMGDM #assessment #on the #re-engineering
- On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects (AS, AM, JG, JD, SM), pp. 628–633.
- SLE-2018-Bennich-Bjorkman #metric
- The next 700 unit of measurement checkers (OBB, SM), pp. 121–132.