If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Combining quantitative data with logic-based specifications for parameter inference

    Piho, P. & Hillston, J., 20 Nov 2021, (Accepted/In press) Proceedings of DataMod 2021 (10th International Symposium From Data to Models and Back). 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Active and Sparse Methods in Smoothed Model Checking

    Piho, P. & Hillston, J., 19 Aug 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings. Springer Nature Switzerland AG, p. 217-234 18 p. (Lecture Notes in Computer Science; vol. 12846).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2020

    A case study of policy synthesis for swarm robotics

    Piho, P. & Hillston, J., 27 Oct 2020, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles (ISoLA 2020). Springer, p. 491-506 16 p. (Lecture Notes in Computer Science ; vol. 12477).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Probing the Performance of the Edinburgh Bike Sharing System Using SSTL

    Kreikemeyer, J. N., Hillston, J. & Uhrmacher, A., 15 Jun 2020, Proceedings of the 2020 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. New York, NY, USA: ACM Association for Computing Machinery, p. 141–152 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2019

    Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting

    Piho, P., Margetiny, F., Bartocci, E., Ribchester, R. & Hillston, J., 17 Sep 2019, (E-pub ahead of print) Computational Methods in Systems Biology: CMSB 2019. Bortolussi, L. & Sanguinetti, G. (eds.). Springer, Cham, p. 120-139 20 p. (Lecture Notes in Computer Science; vol. 11773).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Round-based Super-Individuals – Balancing Speed and Accuracy

    Wilsdorf, P., Pierce, M. E., Hillston, J. & Uhrmacher, A. M., 29 May 2019, Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation: SIGSIM-PADS'19. ACM, p. 95-98 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Delimited Persistent Stochastic Non-Interference

    Hillston, J., Marin, A., Piazza, C. & Rossi, S., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools. Palma de Mallorca, Spain: ACM, p. 135-142 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2018

    Information Flow Security for Stochastic Processes

    Hillston, J., Marin, A., Piazza, C. & Rossi, S., 3 Oct 2018, 15th European Performance Engineering Workshop. Paris, France: Springer, Cham, 15 p. (Lecture Notes in Computer Science; vol. 11178)(Programming and Software Engineering; vol. 11178).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Persistent Stochastic Non-Interference

    Hillston, J., Piazza, C. & Rossi, S., 24 Aug 2018, Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics . Beijing, China: Open Publishing Association, Vol. 276. p. 53-68 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 276).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Policy synthesis for collective dynamics

    Piho, P. & Hillston, J., 15 Aug 2018, 15th International Conference on Quantitative Evaluation of SysTems (QEST 2018). McIver, A. & Horvath, A. (eds.). Beijing, China: Springer, p. 356–372 17 p. (Lecture Notes in Computer Science ; vol. 11024).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2017

    Automatic verification of reliability requirements of spatio-temporal analysis using Three-Valued Spatio-Temporal Logic

    Luisa Vissat, L., Hillston, J., Loreti, M. & Nenzi, L., 5 Dec 2017, Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools. Venice, Italy: ACM, p. 225-226 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Statistical abstraction for multi-scale spatio-temporal systems

    Michaelides, M., Hillston, J. & Sanguinetti, G., 11 Aug 2017, International Conference on Quantitative Evaluation of Systems QEST 2017: Quantitative Evaluation of Systems . Springer, Cham, p. 243-258 16 p. (Lecture Notes in Computer Science; vol. 10503).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems

    Luisa Vissat, L., Loreti, M., Nenzi, L., Hillston, J. & Marion, G., 11 Aug 2017, Quantitative Evaluation of Systems. QEST 2017.. Springer, Cham, p. 317-332 16 p. (Lecture Notes in Computer Scienc; vol. 10503).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2016

    Rigorous Graphical Modelling of Movement in Collective Adaptive Systems

    Zon, N., Gilmore, S. & Hillston, J., 5 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer International Publishing, p. 674-688 15 p. (Lecture Notes in Computer Science; vol. 9952).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems

    Hillston, J. & Loreti, M., 3 Aug 2016, 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Quebec City, Canada: Springer, Cham, p. 167-171 5 p. (Lecture Notes in Computer Science; vol. 9826).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems

    Feng, C., Hillston, J. & Reijsbergen, D., 3 Aug 2016, Proceedings for the 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016) : Québec City, Québec, Canada August 23-25 2016. Springer, Cham, p. 139-155 16 p. (Lecture Notes In Computer Science; vol. 9826).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Property-driven State-Space Coarsening for Continuous Time Markov Chains

    Michaelides, M., Milios, D., Hillston, J. & Sanguinetti, G., 3 Aug 2016, Quantitative Evaluation of Systems: 13th International Conference on Quantitative Evaluation of SysTems (QEST 2016). Quebec City, Canada: Springer International Publishing, p. 3-18 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9826).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Monte Carlo Simulation for Reliability Estimation of Phased-Mission Systems With Minimum Operational Time Requirement

    Wu, X. & Hillston, J., 28 Jul 2016, (E-pub ahead of print) Proceedings for the 2016 6th International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering : July 25-28 2016 Jiuzhaigou, Sichuan, China. 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Stochastic and Spatial Equivalences for PALOMA

    Piho, P. & Hillston, J., 8 Jul 2016, Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Open Publishing Association, p. 69-80 12 p. ( Electronic Proceedings in Theoretical Computer Science; vol. 217).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Quantitative Analysis of Collective Adaptive Systems

    Hillston, J., Jun 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers. Springer International Publishing, p. 1-5 5 p. (Lecture Notes in Computer Science; vol. 9609).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • MELA: Modelling in Ecology with Location Attributes

    Luisa Vissat, L., Hillston, J., Marion, G. & Smith, M. J., 3 Apr 2016, Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems. p. 82-97 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

    Loreti, M. & Hillston, J., 2016, Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures. Bernardo, M., De Nicola, R. & Hillston, J. (eds.). Springer Berlin Heidelberg, p. 83-119 37 p. (Lecture Notes in Computer Science; vol. 9700).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2015

    Specification and Analysis of Open-Ended Systems with CARMA

    Hillston, J. & Loreti, M., 27 Nov 2015, Agent Environments for Multi-Agent Systems IV: 4th International Workshop, E4MAS 2014 - 10 Years Later, Paris, France, May 6, 2014, Revised Selected and Invited Papers. Springer International Publishing, p. 95-116 22 p. (Lecture Notes in Computer Science; vol. 9068).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Speed-up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction

    Feng, C. & Hillston, J., 22 Aug 2015, Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings. Springer Berlin Heidelberg, p. 291-305 15 p. (Lecture Notes in Computer Science; vol. 9272).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • CARMA: Collective Adaptive Resource-sharing Markovian Agents

    Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M. & Massink, M., 14 May 2015, Workshop on Quantitative Analysis of Programming Languages 2015. 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Service Composition for Collective Adaptive Systems

    Gilmore, S., Hillston, J. & Tribastone, M., 5 Mar 2015, Software, Services and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. De Nicola, R. & R. H. (eds.). Springer Berlin Heidelberg, Vol. 8950. p. 490-505 16 p. (Lecture Notes in Computer Science; vol. 8950).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Fluid Performability Analysis of Nested Automata Models

    Bortolussi, L., Hillston, J. & Tribastone, M., 5 Jan 2015, Proceedings of the Seventh International Workshop on Practical Applications of Stochastic Modelling (PASM). Elsevier, Vol. 310. p. 27-47 21 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Patch-based modelling of city-centre bus movement with phase-type distributions

    Reijsbergen, D., Gilmore, S. & Hillston, J., 5 Jan 2015, Seventh International Workshop on Practical Applications of Stochastic Modelling. p. 157-177 21 p. (Electronic Notes in Theoretical Computer Science; vol. 310).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Efficient Checking of Individual Rewards Properties in Markov Population Models

    Bortolussi, L. & Hillston, J., 2015, Proceedings for the 13th Workshop on Quantitative Aspects of Programming Languages. 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2014

    Automated Capacity Planning for PEPA Models

    Williams, C. D. & Hillston, J., 11 Sep 2014, Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings. Springer International Publishing, Vol. 8721. p. 209-223 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • PALOMA: A process algebra for located Markovian agents

    Feng, C. & Hillston, J., 8 Sep 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer International Publishing, p. 265-280 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
  • Probabilistic Programming Process Algebra

    Georgoulas, A., Hillston, J., Milios, D. & Sanguinetti, G., 8 Sep 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer International Publishing, p. 249-264 16 p. (Lecture Notes in Computer Science; vol. 8657).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • The Benefits of Sometimes Not Being Discrete

    Hillston, J., 2 Sep 2014, CONCUR 2014 - Concurrency Theory: 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings. Springer Berlin Heidelberg, Vol. 8704. p. 7-22 16 p. (Lecture Notes in Computer Science; vol. 8704).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Challenges for Quantitative Analysis of Collective Adaptive Systems

    Hillston, J., 2014, Trustworthy Global Computing: 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers. Abadi, M. & Lluch Lafuente, A. (eds.). Springer International Publishing, p. 14-21 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    File
  • 2013

    An Aggregation Technique for Large-Scale PEPA Models with Non-Uniform Populations

    Pourranjbar, A. & Hillston, J., 9 Dec 2013, Proceedings of ValueTools 2013 - 7th International Conference on Performance Evaluation Methodologies and Tools. 7 ed. ICST, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Contextual Lumpability

    Hillston, J., Piazza, C., Marin, A. & Rossi, S., 9 Dec 2013, Proceedings of ValueTools 2013. 7th ed. ICST, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • ABC-Fun: A Probabilistic Programming Language for Biology

    Georgoulas, A., Hillston, J. & Sanguinetti, G., 2013, Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings. Gupta, A. & Henzinger, T. A. (eds.). Springer-Verlag GmbH, p. 150-163 14 p. (Lecture Notes in Computer Science; vol. 8130).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Checking Individual Agent Behaviours in Markov Population Models by Fluid Approximation

    Bortolussi, L. & Hillston, J., 2013, Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Bernardo, M., Vink, E., Pierro, A. & Wiklicky, H. (eds.). Springer-Verlag GmbH, p. 113-149 37 p. (Lecture Notes in Computer Science; vol. 7938).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation

    Pourranjbar, A., Hillston, J. & Bortolussi, L., 2013, Computer Performance Engineering: 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers. Tribastone, M. & Gilmore, S. (eds.). Springer-Verlag GmbH, p. 156-171 16 p. (Lecture Notes in Computer Science; vol. 7587).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • 2012

    Fluid approximation of CTMC with deterministic delays

    Bortolussi, L. & Hillston, J., 18 Sep 2012, Proceedings of the Quantitative Evaluations of Systems (QEST) Conference. Institute of Electrical and Electronics Engineers (IEEE), p. 53-62 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Stochastic Modelling of the Kai-based Circadian Clock

    Banks, C., Clark, A., Georgoulas, A-A., Gilmore, S., Hillston, J., Milios, D. & Stark, I., 17 Sep 2012, Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling (PASM) and the Eleventh International Workshop on Parallel and Distributed Methods in Verification (PDMC).. Elsevier, Vol. 296. p. 43-60 18 p. (Electronic Notes in Theoretical Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Fluid Model Checking

    Bortolussi, L. & Hillston, J., 3 Sep 2012, CONCUR 2012 – Concurrency Theory : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Springer-Verlag GmbH, p. 333-347 15 p. (Lecture Notes in Computer Science; vol. 7454).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Hybrid performance modelling of opportunistic networks

    Bortolussi, L., Galpin, V. & Hillston, J., 2012, Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, Tallinn, Estonia, 31 March and 1 April 2012. Wiklicky, H. & Massink, M. (eds.). Open Publishing Association, p. 106-121 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 85).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    File
  • Reconciling Population and Agent Models for Crowd Dynamics

    Bracciali, A., Hillston, J., Latella, D. & Massink, M., 2012, LAM'10: EasyChair Proceedings in Computing (EPiC) series. Müller, B. (ed.). EasyChair, Vol. 7. p. 3-18 16 p. (EPiC Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2011

    A semi-quantitative equivalence for abstracting from fast reactions

    Galpin, V., Hillston, J. & Ciocchetta, F., 2011, Proceedings Third International Workshop on Computational Models for Cell Processes. Petre, I. & Vink, E. P. D. (eds.). Vol. 67. p. 34-49 16 p. (EPTCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • HYPE with stochastic events

    Bortolussi, L., Galpin, V. & Hillston, J., 2011, Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages. Massink, M. & Norman, G. (eds.). Vol. 57. p. 120-133 14 p. (EPTCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Modelling Non-linear Crowd Dynamics in Bio-PEPA

    Massink, M., Latella, D., Bracciali, A. & Hillston, J., 2011, Fundamental Approaches to Software Engineering: 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. Giannakopoulou, D. & Orejas, F. (eds.). Springer-Verlag GmbH, Vol. 6603. p. 96-110 15 p. (Lecture Notes in Computer Science; vol. 6603).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Structural Analysis for Stochastic Process Algebra Models

    Ding, J. & Hillston, J., 2011, Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Johnson, M. & Pavlovic, D. (eds.). Springer Berlin Heidelberg, Vol. 6486. p. 1-27 27 p. (Lecture Notes in Computer Science; vol. 6486).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway

    Loewe, L., Guerriero, M. L., Watterson, S., Moodie, S., Ghazal, P. & Hillston, J., 2011, TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY XIII. Priami, C., Back, RJ., Petre, I. & DeVink, E. (eds.). BERLIN: Springer-Verlag GmbH, p. 13-38 26 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2010

    Evaluating the Response Time of Large Scale Content Adaptation Systems using Performance Evaluation Process Algebra

    Ding, J., Hillston, J. & Laurenson, D., May 2010, Proceedings of the International Conference on Communications. p. 1-5 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution