References

  1. Adnan Aziz, Kumud Sanwal, Vigyan Singhal & Robert K. Brayton (2000): Model-checking continous-time Markov chains. ACM Trans. Comput. Log. 1(1), pp. 162–170, doi:10.1145/343369.343402.
  2. Christel Baier, Boudewijn R. Haverkort, Holger Hermanns & Joost-Pieter Katoen (2003): Model-Checking Algorithms for Continuous-Time Markov Chains. IEEE Trans. Software Eng. 29(6), pp. 524–541, doi:10.1109/TSE.2003.1205180.
  3. Christel Baier & Joost-Pieter Katoen (2008): Principles of model checking. MIT Press.
  4. Girish Bhat, Rance Cleaveland & Orna Grumberg (1995): Efficient On-the-Fly Model Checking for CTL*. In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995. IEEE Computer Society, pp. 388–397, doi:10.1109/LICS.1995.523273.
  5. L. Bortolussi, G. Cabri, G. Di Marzo Serugendo, V. Galpin, J. Hillston, R. Lanciani, M. Massink & D. Tribastone, M. Weyns (2015): Verification of CAS. In: J. Hillston, J. Pitt, M. Wirsing & F. Zambonelli: Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany, pp. 91–102. Dagstuhl Reports. Vol. 4, Issue 12. Report from Dagstuhl Seminar 14512. ISSN 2192-5283.
  6. Luca Bortolussi & Jane Hillston (2012): Fluid Model Checking. In: Maciej Koutny & Irek Ulidowski: CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings, Lecture Notes in Computer Science 7454. Springer, pp. 333–347, doi:10.1007/978-3-642-32940-1_24.
  7. Luca Bortolussi & Jane Hillston (2015): Model checking single agent behaviours by fluid approximation. Inf. Comput. 242, pp. 183–226, doi:10.1016/j.ic.2015.03.002.
  8. Jean-Yves Le Boudec, David D. McDonald & Jochen Mundinger (2007): A Generic Mean Field Convergence Result for Systems of Interacting Objects. In: Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK. IEEE Computer Society, pp. 3–18, doi:10.1109/QEST.2007.8.
  9. Vincenzo Ciancia, Diego Latella & Mieke Massink (2016): On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. In: Alberto Lluch-Lafuente & José 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, Lecture Notes in Computer Science 9686. Springer, pp. 67–83, doi:10.1007/978-3-319-39519-7_5.
  10. Costas Courcoubetis, Moshe Y. Vardi, Pierre Wolper & Mihalis Yannakakis (1992): Memory-Efficient Algorithms for the Verification of Temporal Properties. Formal Methods in System Design 1(2/3), pp. 275–288, doi:10.1007/BF00121128.
  11. R.W.R. Darling & J.R. Norris (2008): Differential equation approximations for Markov chains. Probability Surveys 5, pp. 37–79, doi:10.1214/07-PS121.
  12. Rocco De Nicola, Diego Latella, Alberto Lluch-Lafuente, Michele Loreti, Andrea Margheri, Mieke Massink, Andrea Morichetta, Rosario Pugliese, Francesco Tiezzi & Andrea Vandin (2015): The SCEL Language: Design, Implementation, Verification. In: Martin Wirsing, Matthias M. Hölzl, Nora Koch & Philip Mayer: Software Engineering for Collective Autonomic Systems - The ASCENS Approach, Lecture Notes in Computer Science 8998. Springer, pp. 3–71, doi:10.1007/978-3-319-16310-9_1.
  13. Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci & Marisa Venturini Zilli (2004): Bounded Probabilistic Model Checking with the Muralpha Verifier. In: Alan J. Hu & Andrew K. Martin: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, Lecture Notes in Computer Science 3312. Springer, pp. 214–229, doi:10.1007/978-3-540-30494-4_16.
  14. Cheng Feng & Jane Hillston (2014): PALOMA: A Process Algebra for Located Markovian Agents. In: Gethin Norman & William H. Sanders: Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, Lecture Notes in Computer Science 8657. Springer, pp. 265–280, doi:10.1007/978-3-319-10696-0_22.
  15. Nicolas Gast & Bruno Gaujal (2010): A mean field model of work stealing in large-scale systems. In: Vishal Misra, Paul Barford & Mark S. Squillante: SIGMETRICS 2010, Proceedings of the 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, New York, New York, USA, 14-18 June 2010. ACM, pp. 13–24, doi:10.1145/1811039.1811042.
  16. Stefania Gnesi & Franco Mazzanti (2011): An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems. In: Martin Wirsing & Matthias M. Hölzl: Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, Lecture Notes in Computer Science 6582. Springer, pp. 390–407, doi:10.1007/978-3-642-20401-2_18.
  17. Guillaume Guirado, Thomas Hérault, Richard Lassaigne & Sylvain Peyronnet (2006): Distribution, Approximation and Probabilistic Model Checking. Electr. Notes Theor. Comput. Sci. 135(2), pp. 19–30, doi:10.1016/j.entcs.2005.10.016.
  18. Ernst Moritz Hahn, Holger Hermanns, Björn Wachter & Lijun Zhang (2009): INFAMY: An Infinite-State Markov Model Checker. In: Ahmed Bouajjani & Oded Maler: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, Lecture Notes in Computer Science 5643. Springer, pp. 641–647, doi:10.1007/978-3-642-02658-4_49.
  19. Hans Hansson & Bengt Jonsson (1994): A Logic for Reasoning about Time and Reliability. Formal Asp. Comput. 6(5), pp. 512–535, doi:10.1007/BF01211866.
  20. Thomas Hérault, Richard Lassaigne, Frédéric Magniette & Sylvain Peyronnet (2004): Approximate Probabilistic Model Checking. In: Bernhard Steffen & Giorgio Levi: Verification, Model Checking, and Abstract Interpretation, 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings, Lecture Notes in Computer Science 2937. Springer, pp. 73–84, doi:10.1007/978-3-540-24622-0_8.
  21. Gerard J. Holzmann (2004): The SPIN Model Checker - primer and reference manual. Addison-Wesley.
  22. D. Huynh & L. Tian (1992): On some equivalence relations for probabilistic processes. Fundamenta Informaticae 17, pp. 211–234.
  23. A. Kolesnichenko, A. Remke & P.-T. de Boer (2012): A logic for model-checking of mean-field models. Technical Report TR-CTIT-12-11, http://doc.utwente.nl/80267/.
  24. Anna Kolesnichenko, Pieter-Tjerk de Boer, Anne Remke & Boudewijn R. Haverkort (2013): A logic for model-checking mean-field models. In: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013. IEEE Computer Society, pp. 1–12, doi:10.1109/DSN.2013.6575345.
  25. Kim G. Larsen & Axel Legay (2016): Statistical Model Checking: Past, Present, and Future. In: Tiziana Margaria & Bernhard Steffen: 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, Lecture Notes in Computer Science 9952, pp. 3–15, doi:10.1007/978-3-319-47166-2_1.
  26. D. Latella (1983): Comunicazione basata su proprietà nei sistemi decentralizzati. [Property-based inter-process communication in decentralized systems] Graduation Thesis. Istituto di Scienze dell'Informazione. Univ. of Pisa, Italy (in italian).
  27. Diego Latella, Michele Loreti & Mieke Massink (2013): On-the-fly Fast Mean-Field Model-Checking. In: Martín Abadi & Alberto Lluch-Lafuente: Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers, Lecture Notes in Computer Science 8358. Springer, pp. 297–314, doi:10.1007/978-3-319-05119-2_17.
  28. Diego Latella, Michele Loreti & Mieke Massink (2014): On-the-fly Probabilistic Model Checking. In: Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova & Hugo Torres Vieira: Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014., EPTCS 166, pp. 45–59, doi:10.4204/EPTCS.166.6.
  29. Diego Latella, Michele Loreti & Mieke Massink (2015): On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110, pp. 23–50, doi:10.1016/j.scico.2015.06.009.
  30. Michele Loreti & Jane Hillston (2016): Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools. In: Marco Bernardo, Rocco De Nicola & Jane 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, Lecture Notes in Computer Science 9700. Springer, pp. 83–119, doi:10.1007/978-3-319-34096-8_4.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org