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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
N. Zoń, S. Gilmore & J. Hillston (2016):
Rigorous graphical modelling of movement in Collective Adaptive Systems.
In Proceedings of ISoLA 2016.
To appear.