QUANTICOL - A Quantitative Approach to Management and Design of Collective and Adaptive Behaviours (RTD)

  • 47 Conference contribution
  • 21 Article
  • 1 Chapter (peer-reviewed)
  • 1 Special issue
Filter
Conference contribution

Search results

  • 2018

    Statistical analysis of CARMA models: an advanced tutorial

    Galpin, V., Georgoulas, A., Loreti, M. & Vandin, A., Dec 2018, (E-pub ahead of print) 2018 Winter Simulation Conference (WSC). Institute of Electrical and Electronics Engineers, p. 395-409 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2017

    Transient and Steady-State Statistical Analysis for Discrete Event Simulators

    Gilmore, S., Reijsbergen, D. & Vandin, A., 27 Aug 2017, Proceedings of iFM 2017: 13th International Conference on integrated Formal Methods. Turin, Italy: Springer, p. 145-160 15 p. (Lecture Notes in Computer Science (LNCS); vol. 10510).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 243-258 16 p. (Lecture Notes in Computer Science; vol. 10503).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 317-332 16 p. (Lecture Notes in Computer Scienc; vol. 10503).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems

    Reijsbergen, D., 1 Dec 2016, Software Technologies: Applications and Foundations: Federation of International Conferences on Software Technologies: Applications and Foundations STAF 2016. Vienna, Austria: Springer, p. 83-97 15 p. (Lecture Notes in Computer Science (LNCS); vol. 9946).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Hypothesis testing for rare-event simulation: limitations and possibilities

    Reijsbergen, D., de Boer, P.-T. & Scheinhardt, W., 5 Oct 2016, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2016). Corfu, Greece: Springer, p. 16-26 11 p. (Lecture Notes in Computer Science ; vol. 9952).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • 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, p. 674-688 15 p. (Lecture Notes in Computer Science; vol. 9952).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Matching Models Across Abstraction Levels with Gaussian Processes

    Caravagna, G., Bortolussi, L. & Sanguinetti, G., 4 Sept 2016, Computational Methods in Systems Biology: 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Bartocci, E., Lio, P. & Paoletti, N. (eds.). Cham: Springer, p. 49-66 18 p. (Lecture Notes in Computer Science; vol. 9859).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 167-171 5 p. (Lecture Notes in Computer Science; vol. 9826).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 139-155 16 p. (Lecture Notes In Computer Science; vol. 9826).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent

    Bartocci, E., Bortolussi, L., Brázdil, T., Milios, D. & Sanguinetti, G., 3 Aug 2016, Quantitative Evaluation of Systems: 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings. Springer, p. 244-259 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9826).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 3-18 16 p. (Lecture Notes in Computer Science (LNCS); vol. 9826).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File

  • Data as processes: introducing measurement data into CARMA models

    Gilmore, S., 7 Jul 2016, Proceedings of the Workshop FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems : FORMCAST 2016. Open Publishing Association, p. 31-42 12 p. (Electronic Proceedings in Theoretical Computer Science; vol. 217).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Modelling movement for collective adaptive systems with CARMA

    Zon, N., Galpin, V. & Gilmore, S., 7 Jul 2016, Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016). Open Publishing Association, p. 43-52 10 p. (Electronic Proceedings in Theoretical Computer Science; vol. 217).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Spatial representations and analysis techniques

    Galpin, V., 11 Jun 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. Springer, 34 p. (Lecture Notes in Computer Science; vol. 9700).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 1-5 5 p. (Lecture Notes in Computer Science; vol. 9609).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Quantitative modelling of residential smart grids

    Galpin, V., 12 Jan 2016, Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers. Springer, p. 161-175 15 p. (Lecture Notes in Computer Science; vol. 9509).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Probabilistic Modelling of the Impact on Bus Punctuality of a Speed Limit Proposal in Edinburgh

    Reijsbergen, D. & Ratan, R., 4 Jan 2016, 9th EAI International Conference on Performance Evaluation Methodologies and Tools. ACM, 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Modelling ambulance deployment with CARMA

    Galpin, V., 2016, Coordination Models and Languages: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lafuente, A. L. & Proenca, J. (eds.). Springer, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 9686).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 83-119 37 p. (Lecture Notes in Computer Science; vol. 9700).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 95-116 22 p. (Lecture Notes in Computer Science; vol. 9068).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning

    Gast, N., Massonnet, G., Reijsbergen, D. & Tribastone, M., 19 Oct 2015, The 24th ACM International Conference on Information and Knowledge Management (CIKM 2015). p. 703-712 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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, p. 291-305 15 p. (Lecture Notes in Computer Science; vol. 9272).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference 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, Vol. 8950. p. 490-505 16 p. (Lecture Notes in Computer Science; vol. 8950).

    Research output: Chapter in Book/Report/Conference proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

    Open Access
    File

  • Efficient stochastic simulation of systems with multiple time scales via statistical abstraction

    Bortolussi, L., Milios, D. & Sanguinetti, G., 2015, Computational Methods in Systems Biology: 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings. Springer, p. 40-51 12 p. (Lecture Notes in Computer Science; vol. 9308).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Machine Learning Methods in Statistical Model Checking and System Design – Tutorial

    Bortolussi, L., Milios, D. & Sanguinetti, G., 2015, Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings. Bartocci, E. & Majumdar, R. (eds.). Cham: Springer, p. 323-341 19 p. (Lecture Notes in Computer Science; vol. 9333).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic

    Bartocci, E., Bortolussi, L., Milios, D., Nenzi, L. & Sanguinetti, G., 2015, Hybrid Systems Biology: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers. Abate, A. & Safránek, D. (eds.). Springer, p. 156-172 17 p. (Lecture Notes in Computer Science; vol. 9271).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2014

    Automated Capacity Planning for PEPA Models

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • PALOMA: A process algebra for located Markovian agents

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Probabilistic Programming Process Algebra

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Benefits of Sometimes Not Being Discrete

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems

    Vandin, A., Tribastone, M. & Gilmore, S., 2014, Integrated Formal Methods: 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. Springer, p. 71-86 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A statistical approach for computing reachability of non-linear and stochastic dynamical systems

    Bortolussi, L. & Sanguinetti, G., 2014, Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer, p. 41-56 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 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, p. 14-21 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    File

  • Data-driven statistical learning of temporal logic properties

    Bartocci, E., Bortolussi, L. & Sanguinetti, G., 2014, Formal Modeling and Analysis of Timed Systems: 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer, p. 23-37 15 p. (Lecture Notes in Computer Science; vol. 8711).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data

    Ciancia, V., Gilmore, S., Latella, D., Loreti, M. & Massink, M., 2014, Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014. Institute of Electrical and Electronics Engineers, p. 32-37 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Formal Punctuality Analysis of Frequent Bus Services Using Headway Data

    Reijsbergen, D. & Gilmore, S., 2014, Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings. Springer, Vol. 8721. p. 164-178 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Modelling Residential Smart Energy Schemes

    Galpin, V., 2014, Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASOW 2014, London, United Kingdom, September 8-12, 2014. Institute of Electrical and Electronics Engineers, p. 49-54 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients

    Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U. & Bortolussi, L., 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin, Heidelberg: Springer, p. 391-403 13 p. (Lecture Notes in Computer Science; vol. 8803).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    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 proceeding › Conference 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 proceeding › Conference 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, p. 150-163 14 p. (Lecture Notes in Computer Science; vol. 8130).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File