Paul Piho

According to our database, Paul Piho authored at least 9 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Fluid Approximation-based Analysis for Mode-switching Population Dynamics.

Paul Piho, Jane Hillston

ACM Trans. Model. Comput. Simul., 2021

Active and Sparse Methods in Smoothed Model Checking.

Paul Piho, Jane Hillston

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Combining Quantitative Data with Logic-Based Specifications for Parameter Inference.

Paul Piho, Jane Hillston

Proceedings of the From Data to Models and Back, 2021

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

A Case Study of Policy Synthesis for Swarm Robotics.

Paul Piho, Jane Hillston

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

2019

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

Proceedings of the Computational Methods in Systems Biology, 2019

2018

Policy Synthesis for Collective Dynamics.

Paul Piho, Jane Hillston

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

2017

Goals and Resource Constraints in CARMA.

Paul Piho, Anastasis Georgoulas, Jane Hillston

Proceedings of the Ninth International Workshop on the Practical Application of Stochastic Modelling, 2017

2016

Stochastic and Spatial Equivalences for PALOMA.

Paul Piho, Jane Hillston

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016