Stochastic and Spatial Equivalences for PALOMA. - Paul Piho; Jane Hillston (FORECAST@STAF, 2016)

Goals and Resource Constraints in CARMA. - Paul Piho; Anastasis Georgoulas; Jane Hillston (PASM, 2017)

Policy Synthesis for Collective Dynamics. - Paul Piho; Jane Hillston (QEST, 2018)

Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. - Paul Piho; Filip Margetiny; Ezio Bartocci; Richard R. Ribchester; Jane Hillston (CMSB, 2019)

A Case Study of Policy Synthesis for Swarm Robotics. - Paul Piho; Jane Hillston (ISoLA (2), 2020)

An Attribute-Based Availability Model for Large Scale IaaS Clouds with CARMA. - Hongwu Lv; Jane Hillston; Paul Piho; Huiqiang Wang (IEEE Trans. Parallel Distributed Syst., 2020)

Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. - Paul Piho; Jane Hillston (DataMod, 2021)

Active and Sparse Methods in Smoothed Model Checking. - Paul Piho; Jane Hillston (QEST, 2021)

Fluid Approximation-based Analysis for Mode-switching Population Dynamics. - Paul Piho; Jane Hillston (ACM Trans. Model. Comput. Simul., 2021)