1. L. Bortolussi, D. Latella & M. Massink (2013): Stochastic Process Algebra and Stability Analysis of Collective Systems. In: R. De Nicola & C. Julien: Coordination Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, Lecture Notes in Computer Science 7890. Springer, pp. 1–15, doi:10.1007/978-3-642-38493-6_1.
  2. F. Ciocchetta & J. Hillston (2009): Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410(33-34), pp. 3065–3084, doi:10.1016/j.tcs.2009.02.037.
  3. R. De Nicola, D. Latella, M. Loreti & M. Massink (2013): A uniform definition of stochastic process calculi. ACM Computing Surveys 46, pp. 5, doi:10.1145/2522968.2522973.
  4. L. Feng, C. Wiltsche, L. Humphrey & U. Topcu (2015): Controller Synthesis for Autonomous Systems Interacting with Human Operators. In: Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical Systems, ICCPS '15. ACM, New York, NY, USA, pp. 70–79, doi:10.1145/2735960.2735973.
  5. V. Galpin (2016): Modelling Ambulance Deployment with CARMA. In: A. Lluch Lafuente & J. Proença: 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. Springer, pp. 121–137, doi:10.1007/978-3-319-39519-7_8.
  6. A. Georgoulas, J. Hillston, D. Milios & G. Sanguinetti (2014): Probabilistic Programming Process Algebra. In: G. Norman & William Sanders: Quantitative Evaluation of Systems: 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings. Springer, pp. 249–264, doi:10.1007/978-3-319-10696-0_21.
  7. J. Hillston & M. Loreti (2015): Specification and Analysis of Open-Ended Systems with Carma. In: Fourth International Workshop on Agent Environments for Multi-Agent Systems, Revised Selected and Invited Papers (E4MAS 2014), LNCS 9068. Springer, pp. 95–116, doi:10.1007/978-3-319-23850-0_7.
  8. M. John, C. Lhoussaine, J. Niehren & A.M. Uhrmacher (2008): The Attributed Pi Calculus. In: M. Heiner & A.M. Uhrmacher: Computational Methods in Systems Biology: 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 83–102, doi:10.1007/978-3-540-88562-7_10.
  9. M. John, C. Lhoussaine, J. Niehren & A.M. Uhrmacher (2010): The Attributed Pi-calculus with Priorities. In: C. Priami, R. Breitling, D. Gilbert, M. Heiner & A.M. Uhrmacher: Transactions on Computational Systems Biology XII. Springer-Verlag, Berlin, Heidelberg, pp. 13–76, doi:10.1007/978-3-642-11712-1_2.
  10. M. Kuntz, M. Siegle & E. Werner (2004): Symbolic Performance and Dependability Evaluation with the Tool CASPA. In: M. Núñez, Z. Maamar, F.L. Pelayo, K. Pousttchi & F. Rubio: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004, LNCS 3236. Springer, pp. 293–307, doi:10.1007/978-3-540-30233-9_22.
  11. M. Kwiatkowska, G. Norman & D. Parker (2011): PRISM 4.0: Verification of Probabilistic Real-time Systems. In: G. Gopalakrishnan & S. Qadeer: Proc. 23rd International Conference on Computer Aided Verification (CAV'11), LNCS 6806. Springer, pp. 585–591, doi:10.1007/978-3-642-22110-1_47.
  12. M. Loreti & J. Hillston (2016): Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. In: M. Bernardo, R. De Nicola & J. Hillston: 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 International Publishing, Cham, pp. 83–119, doi:10.1007/978-3-319-34096-8_4.
  13. M. Massink, D. Latella, A. Bracciali, M. D. Harrison & J. Hillston (2012): Scalable context-dependent analysis of emergency egress models. Formal Asp. Comput. 24(2), pp. 267–302, doi:10.1007/s00165-011-0188-1.
  14. G. Norman, D. Parker, M. Kwiatkowska, S. Shukla & R. Gupta (2002): Formal Analysis and Validation of Continuous Time Markov Chain Based System Level Power Management Strategies. In: W. Rosenstiel: Proc. 7th Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT'02). IEEE Computer Society Press, pp. 45–50.
  15. N. Zoń, S. Gilmore & J. Hillston (2016): Rigorous graphical modelling of movement in Collective Adaptive Systems. In Proceedings of ISoLA 2016. To appear.

Comments and questions to:
For website issues: