Research output per year
Research output per year
Personal profile
Qualifications
BSc (Hons) in Computer Science, 1986, Queen’s University Belfast.
PhD in Computer Science, 1990, Queen’s University Belfast.
Biography
I am a Professor in the School of Informatics at The University of Edinburgh where I am the chair of Software Systems Modelling. I studied Computer Science at The Queen's University of Belfast, Northern Ireland. After completing my PhD there I moved to The University of Edinburgh to take up a lectureship position. I am a member of the Laboratory for Foundations of Computer Science.
Fingerprint
Dive into the research topics where Stephen Gilmore is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Research output
-
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System
Gilmore, S. & Tribastone, M., 2006, Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings. Bravetti, M., Núñez, M. & Zavattaro, G. (eds.). Springer-Verlag GmbH, Vol. II. p. 214-226 13 p. (Lecture Notes in Computer Science; vol. 4184).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Patch-based modelling of city-centre bus movement with phase-type distributions
Reijsbergen, D., Gilmore, S. & Hillston, J., 5 Jan 2015, Seventh International Workshop on Practical Applications of Stochastic Modelling. p. 157-177 21 p. (Electronic Notes in Theoretical Computer Science; vol. 310).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Providing Dependability and Resilience in the Cloud: Challenges and Opportunities
Kounev, S., Reinecke, P., Brosig, F., Bradley, J. T., Joshi, K., Babka, V., Gilmore, S. T. & Stefanek, A., 1 Jun 2012, Resilience Assessment and Evaluation of Computing Systems. Springer-Verlag, p. 65-81 17 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter
-
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Gilmore, S., Haenel, V., Hillston, J. & Kloul, L., 2004, Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings. Núñez, M., Maamar, Z., Pelayo, F., Pousttchi, K. & Rubio, F. (eds.). Springer Berlin Heidelberg, Vol. 3236. p. 262-277 16 p. (Lecture Notes in Computer Science; vol. 3236).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Verification and Testing of Biological Models
Clark, A., Gilmore, S., Hillston, J. & Kemper, P., 2010, Simulation Conference (WSC), Proceedings of the 2010 Winter . Institute of Electrical and Electronics Engineers (IEEE), p. 620-630 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Projects
- 11 Finished
-
Systems Training in Maths, Informatics and Computational Biology (SySMIC)
1/01/12 → 31/12/16
Project: Research
-
SIGNAL: SIGNAL -Stochastic process algebra for biochemical signaling pathway analysis
1/09/07 → 31/01/11
Project: Research
-
Enhancing the Performance Predictability of Grid Applications with Patterns and Process Algebras
Cole, M., Gilmore, S. & Hillston, J.
1/09/03 → 31/08/06
Project: Research
-
ReQueST: ReQueST:Resource Quantification in e-science Technologies.
Sannella, D., Aspinall, D., Gilmore, S. & Stark, I.
1/05/05 → 31/01/09
Project: Research
-
Milner Symposium 2012
Plotkin, G., Fourman, M., Gilmore, S. & Hillston, J.
16/04/12 → 15/01/13
Project: Research
Press / Media
-
Prof Stephen Gilmore's bus tracking app leads way for blind travellers
22/09/14
2 items of Media coverage
Press/Media: Research