| 2022 | EuroPar | A Stochastic Programming Approach for an Enhanced Performance of a Multi-committees Byzantine Fault Tolerant Algorithm. | Yifei Xie, Btissam Er-Rahmadi, Xiao Chen, Tiejun Ma, Jane Hillston |
| 2020 | ISoLA | A Case Study of Policy Synthesis for Swarm Robotics. | Paul Piho, Jane Hillston |
| 2020 | PADS | Probing the Performance of the Edinburgh Bike Sharing System using SSTL. | Justin Noah Kreikemeyer, Jane Hillston, Adelinde M. Uhrmacher |
| 2019 | PADS | Round-based Super-Individuals - Balancing Speed and Accuracy. | Pia Wilsdorf, Maria E. Pierce, Jane Hillston, Adelinde M. Uhrmacher |
| 2016 | ISoLA | Rigorous Graphical Modelling of Movement in Collective Adaptive Systems. | Natalia Zon, Stephen Gilmore, Jane Hillston |
| 2014 | CONCUR | The Benefits of Sometimes Not Being Discrete. | Jane Hillston |
| 2012 | CONCUR | Fluid Model Checking. | Luca Bortolussi, Jane Hillston |
| 2011 | FASE | Modelling Non-linear Crowd Dynamics in Bio-PEPA. | Mieke Massink, Diego Latella, Andrea Bracciali, Jane Hillston |
| 2010 | LICS | Reconciling Population and Agent Models for Crowd Dynamics. | Andrea Bracciali, Jane Hillston, Diego Latella, Mieke Massink |
| 2010 | MPC | Process Algebras for Collective Dynamics. | Jane Hillston |
| 2010 | WSC | VERIFICATION AND TESTING OF BIOLOGICAL MODELS. | Allan Clark, Jane Hillston, Stephen Gilmore, Peter Kemper |
| 2009 | CONCUR | HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour. | Vashti Galpin, Luca Bortolussi, Jane Hillston |
| 2009 | WSC | Design and Development of Software Tools for Bio-PEPA. | Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe |
| 2008 | PIMRC | An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. | Hao Wang, David I. Laurenson, Jane Hillston |
| 2007 | DSN | On the Quality of Service of Crash-Recovery Failure Detectors. | Tiejun Ma, Jane Hillston, Stuart Anderson |
| 2007 | MASCOTS | PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. | Hao Wang, David I. Laurenson, Jane Hillston |
| 2007 | SAC | Evaluation of the QoS of crash-recovery failure detection. | Tiejun Ma, Jane Hillston, Stuart Anderson |
| 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 | LICS | Process Algebras for Quantitative Analysis. | Jane Hillston |
| 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 |
| 2003 | MASCOTS | PEPA Nets. | Stephen Gilmore, Jane Hillston, Lela Kloul |
| 2000 | ICALP | Amalgamation of Transition Sequences in the PEPA Formalism. | Jane Hillston, J. Tomasik |
| 1994 | FORTE | Stochastic process algebras: integrating qualitative and quantitative modelling. | Jane Hillston, Holger Hermanns, Ulrich Herzog, Vassilis Mertsiotakis, Michael Rettelbach |
| 1991 | CaiSE | A Case Study Using the IMSE Experimentation Tool. | Jane Hillston, Andreas L. Opdahl, Rob Pooley |