| 2018 | ISoLA | Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma. | Natalia Zon, Stephen Gilmore |
| 2017 | IFM | Transient and Steady-State Statistical Analysis for Discrete Event Simulators. | Stephen Gilmore, Danil Reijsbergen, Andrea Vandin |
| 2016 | ISoLA | Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. | Natalia Zon, Stephen Gilmore, Jane Hillston |
| 2014 | IFM | An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems. | Stephen Gilmore, Mirco Tribastone, Andrea Vandin |
| 2010 | WSC | VERIFICATION AND TESTING OF BIOLOGICAL MODELS. | Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper |
| 2009 | FASE | Scalable Analysis of Scalable Systems. | Allan Clark, Stephen Gilmore, Mirco Tribastone |
| 2008 | ISoLA | Safety and Response-Time Analysis of an Automotive Accident Assistance Service. | Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone |
| 2008 | ISoLA | SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. | Martin Wirsing, Matthias M. Hlzl, Lucia Acciai, Federico Banti, Allan Clark, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Lszl Gnczy, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, Dniel Varr |
| 2006 | FMICS | Evaluating Quality of Service for Service Level Agreements. | Allan Clark, Stephen Gilmore |
| 2006 | FORTE | Semantic-Based Development of Service-Oriented Systems. | Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias M. Hlzl, Alexander Knapp, Nora Koch, Andreas Schroeder |
| 2006 | ICCS | Combining Measurement and Stochastic Modelling to Enhance Scheduling Decisions for a Parallel Mean Value Analysis Algorithm. | Gagarine Yaikhom, Murray Cole, Stephen Gilmore |
| 2005 | CCGRID | Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis. | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
| 2005 | EuroPar | Flexible Skeletal Programming with eSkel. | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
| 2005 | FM | End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform. | Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero |
| 2004 | FORTE | PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application. | Stephen Gilmore, Valentin Haenel, Jane Hillston, Lela Kloul |
| 2004 | ICCS | Evaluating the Performance of Skeleton-Based High Level Parallel Programs. | Anne Benoit, Murray Cole, Stephen Gilmore, Jane Hillston |
| 2004 | ICCS | Extending Camelot with Mutable State and Concurrency. | Stephen Gilmore |
| 2003 | MASCOTS | PEPA Nets. | Stephen Gilmore, Jane Hillston, Lela Kloul |
| 2003 | SAFECOMP | A Unified Tool for Performance Modelling and Prediction. | Stephen Gilmore, Lela Kloul |
| 2002 | CCGRID | Monitoring and Controlling Distributed Applications with Relocatable Objects. | Stephen Gilmore, Marco A. Palomino |