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
-
Data-Driven Modelling and Simulation of Urban Transportation Systems Using CARMA
Zon, N. & Gilmore, S., 31 Oct 2018, Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). Limassol, Cyprus: Springer, p. 274-287 14 p. (Lecture Notes in Computer Science; vol. 11246)(Theoretical Computer Science and General Issues; vol. 11246).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Spatio-temporal model-checking of vehicular movement in public transport systems
Ciancia, V., Gilmore, S., Griletti, G., Latella, D., Loreti, M. & Massink, M., 1 Jun 2018, In: International Journal on Software Tools for Technology Transfer. 20, 3, p. 289-311 23 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Mesoscopic modelling of pedestrian movement using Carma and its tools
Galpin, V., Zon, N., Wilsdorf, P. & Gilmore, S., 3 Apr 2018, In: ACM Transactions on Modeling and Computer Simulation. 28, 2, 25 p., 3155338.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Transient and Steady-State Statistical Analysis for Discrete Event Simulators
Gilmore, S., Reijsbergen, D. & Vandin, A., 27 Aug 2017, Proceedings of iFM 2017: 13th International Conference on integrated Formal Methods. Turin, Italy: Springer, p. 145-160 15 p. (Lecture Notes in Computer Science (LNCS); vol. 10510).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Rigorous Graphical Modelling of Movement in Collective Adaptive Systems
Zon, N., Gilmore, S. & Hillston, J., 5 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 674-688 15 p. (Lecture Notes in Computer Science; vol. 9952).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile
Projects
- 11 Finished
-
QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)
1/04/13 → 31/03/17
Project: Research
-
Milner Symposium 2012
Plotkin, G., Fourman, M., Gilmore, S. & Hillston, J.
16/04/12 → 15/01/13
Project: Research
-
Systems Training in Maths, Informatics and Computational Biology (SySMIC)
1/01/12 → 31/12/16
Project: Research
-
Building Connections between systems biology software tools for kinetic modelling and analysis
1/05/10 → 31/10/10
Project: Research
-
Regulation of biological signalling by temperature (ROBUST)
Halliday, K., Gilmore, S. & Millar, A.
14/04/08 → 13/10/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