Adnan Aziz
Kumud Sanwal
Vigyan Singhal
Robert K. Brayton
2000
Model-checking continous-time Markov chains
ACM Trans. Comput. Log.
1
1
162–170
10.1145/343369.343402
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
524–541
10.1109/TSE.2003.1205180
Christel Baier
Joost-Pieter Katoen
2008
Principles of model checking
MIT Press
Girish Bhat
Rance Cleaveland
Orna Grumberg
1995
Efficient On-the-Fly Model Checking for CTL*
Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995
IEEE Computer Society
388–397
10.1109/LICS.1995.523273
L. Bortolussi
G. Cabri
G. Di Marzo Serugendo
V. Galpin
J. Hillston
R. Lanciani
M. Massink
D. Tribastone, M. Weyns
2015
Verification of CAS
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
91–102
Dagstuhl Reports. Vol. 4, Issue 12. Report from Dagstuhl Seminar 14512. ISSN 2192-5283
Luca Bortolussi
Jane Hillston
2012
Fluid Model Checking
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
333–347
10.1007/978-3-642-32940-1_24
Luca Bortolussi
Jane Hillston
2015
Model checking single agent behaviours by fluid approximation
Inf. Comput.
242
183–226
10.1016/j.ic.2015.03.002
Jean-Yves Le Boudec
David D. McDonald
Jochen Mundinger
2007
A Generic Mean Field Convergence Result for Systems of Interacting Objects
Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 17-19 September 2007, Edinburgh, Scotland, UK
IEEE Computer Society
3–18
10.1109/QEST.2007.8
Vincenzo Ciancia
Diego Latella
Mieke Massink
2016
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination
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
67–83
10.1007/978-3-319-39519-7_5
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
275–288
10.1007/BF00121128
R.W.R. Darling
J.R. Norris
2008
Differential equation approximations for Markov chains
Probability Surveys
5
37–79
10.1214/07-PS121
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
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
3–71
10.1007/978-3-319-16310-9_1
Giuseppe Della Penna
Benedetto Intrigila
Igor Melatti
Enrico Tronci
Marisa Venturini Zilli
2004
Bounded Probabilistic Model Checking with the Muralpha Verifier
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
214–229
10.1007/978-3-540-30494-4_16
Cheng Feng
Jane Hillston
2014
PALOMA: A Process Algebra for Located Markovian Agents
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
265–280
10.1007/978-3-319-10696-0_22
Nicolas Gast
Bruno Gaujal
2010
A mean field model of work stealing in large-scale systems
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
13–24
10.1145/1811039.1811042
Stefania Gnesi
Franco Mazzanti
2011
An Abstract, on the Fly Framework for the Verification of Service-Oriented Systems
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
390–407
10.1007/978-3-642-20401-2_18
Guillaume Guirado
Thomas Hérault
Richard Lassaigne
Sylvain Peyronnet
2006
Distribution, Approximation and Probabilistic Model Checking
Electr. Notes Theor. Comput. Sci.
135
2
19–30
10.1016/j.entcs.2005.10.016
Ernst Moritz Hahn
Holger Hermanns
Björn Wachter
Lijun Zhang
2009
INFAMY: An Infinite-State Markov Model Checker
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
641–647
10.1007/978-3-642-02658-4_49
Hans Hansson
Bengt Jonsson
1994
A Logic for Reasoning about Time and Reliability
Formal Asp. Comput.
6
5
512–535
10.1007/BF01211866
Thomas Hérault
Richard Lassaigne
Frédéric Magniette
Sylvain Peyronnet
2004
Approximate Probabilistic Model Checking
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
73–84
10.1007/978-3-540-24622-0_8
Gerard J. Holzmann
2004
The SPIN Model Checker - primer and reference manual
Addison-Wesley
D. Huynh
L. Tian
1992
On some equivalence relations for probabilistic processes
Fundamenta Informaticae
17
211–234
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/
Anna Kolesnichenko
Pieter-Tjerk de Boer
Anne Remke
Boudewijn R. Haverkort
2013
A logic for model-checking mean-field models
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013
IEEE Computer Society
1–12
10.1109/DSN.2013.6575345
Kim G. Larsen
Axel Legay
2016
Statistical Model Checking: Past, Present, and Future
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
3–15
10.1007/978-3-319-47166-2_1
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)
Diego Latella
Michele Loreti
Mieke Massink
2013
On-the-fly Fast Mean-Field Model-Checking
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
297–314
10.1007/978-3-319-05119-2_17
Diego Latella
Michele Loreti
Mieke Massink
2014
On-the-fly Probabilistic Model Checking
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
45–59
10.4204/EPTCS.166.6
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
23–50
10.1016/j.scico.2015.06.009
Michele Loreti
Jane Hillston
2016
Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools
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
83–119
10.1007/978-3-319-34096-8_4