Paul Piho

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 10

Top Topics

Quantitative Data

Population Dynamics

Resource Constraints

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Paul Piho, Jane Hillston
Fluid Approximation-based Analysis for Mode-switching Population Dynamics. ACM Trans. Model. Comput. Simul. 31 (2) (2021)
Paul Piho, Jane Hillston
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. DataMod (2021)
Paul Piho, Jane Hillston
Active and sparse methods in smoothed model checking. CoRR (2021)
Paul Piho, Jane Hillston
Active and Sparse Methods in Smoothed Model Checking. QEST (2021)
Paul Piho, Jane Hillston
A Case Study of Policy Synthesis for Swarm Robotics. ISoLA (2) (2020)
Hongwu Lv, Jane Hillston, Paul Piho, Huiqiang Wang
An Attribute-Based Availability Model for Large Scale IaaS Clouds with CARMA. IEEE Trans. Parallel Distributed Syst. 31 (3) (2020)
Paul Piho, Filip Margetiny, Ezio Bartocci, Richard R. Ribchester, Jane Hillston
Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. CMSB (2019)
Paul Piho, Jane Hillston
Policy Synthesis for Collective Dynamics. QEST (2018)
Paul Piho, Anastasis Georgoulas, Jane Hillston
Goals and Resource Constraints in CARMA. Electron. Notes Theor. Comput. Sci. 337 (2018)
Paul Piho, Jane Hillston
Stochastic and Spatial Equivalences for PALOMA. FORECAST@STAF (2016)