Norman Abramson (1970):
THE ALOHA SYSTEM: another alternative for computer communications.
In: Proceedings of the November 17-19, 1970, fall joint computer conference,
AFIPS '70 (Fall).
ACM,
New York, NY, USA,
pp. 281–285,
doi:10.1145/1478462.1478502.
A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye & A. Legay (2010):
Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.
In: FORTE,
LNCS 6117.
Springer,
pp. 32–46,
doi:10.1007/978-3-642-13464-7_4.
M. Broy, B. Jonsson, J-P. Katoen, M. Leucker & A. Pretschner (2005):
Model-Based Testing of Reactive Systems, Advanced Lectures The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004.
Lecture Notes in Computer Science 3472.
Springer,
doi:10.1007/b137241.
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill & L. J. Hwang (1992):
Symbolic model checking: 10^20 States and beyond.
Information and Computation 98(2),
pp. 142–170,
doi:10.1016/0890-5401(92)90017-A.
E. M. Clarke, A. Donzé & A. Legay (2008):
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator.
In: Proc. of 3rd Haifa Verification Conference (HVC),
LNCS 5394.
Springer,
pp. 149–163,
doi:10.1007/978-3-642-01702-5_16.
Edmund M. Clarke, James R. Faeder, Christopher James Langmead, Leonard A. Harris, Sumit Kumar Jha & Axel Legay (2008):
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.
In: Monika Heiner & Adelinde Uhrmacher: Proceedings of the 6th International Conference on Computational Methods in Systems Biology (CMSB),
LNCS.
Springer,
pp. 231–250,
doi:10.1007/978-3-540-88562-7_18.
Alexandre David, Kim G. Larsen, Axel Legay, Marius Miku\IeC čionis, Danny B\IeC øgsted Poulsen, Jonas Van Vliet & Zheng Wang (2011):
Statistical Model Checking for Networks of Priced Timed Automata.
In: Uli Fahrenberg & Stavros Tripakis: 9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS),
LNCS 6919.
Springer,
Aalborg, Denmark,
pp. 80–96,
doi:10.1007/978-3-642-24310-3.
Alexandre David, Kim G. Larsen, Axel Legay, Marius Miku\IeC čionis & Zheng Wang (2011):
Time for Statistical Model Checking of real-time systems.
In: Ganesh Gopalakrishnan & Shaz Qadeer: 23rd International Conference on Computer Aided Verification (CAV),
LNCS 6806.
Springer,
Snowbird, UT, USA,
pp. 349–355,
doi:10.1007/978-3-642-22110-1.
Ansgar Fehnker, Lodewijk van Hoesel & Angelika Mader (2007):
Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.
In: Jim Davies & Jeremy Gibbons: Integrated Formal Methods,
LNCS 4591.
Springer Berlin / Heidelberg,
pp. 253–272,
doi:10.1007/978-3-540-73210-5_14.
R. Grosu & S. A. Smolka (2005):
Monte Carlo Model Checking.
In: Proc. of 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),
LNCS 3440.
Springer,
pp. 271–286,
doi:10.1007/978-3-540-31980-1_18.
Thomas H\IeC érault, Richard Lassaigne, Fr\IeC éd\IeC éric Magniette & Sylvain Peyronnet (2004):
Approximate Probabilistic Model Checking.
In: Bernhard Steffen & Giorgio Levi: Verification, Model Checking, and Abstract Interpretation,
LNCS 2937.
Springer,
pp. 307–329,
doi:10.1007/978-3-540-24622-0_8.
D. N. Jansen, J-P Katoen, M.Oldenkamp, M. Stoelinga & I. S. Zapreev (2007):
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.
In: HVC,
LNCS 4899.
Springer,
doi:10.1007/978-3-540-77966-7_9.
Sumit Kumar Jha, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer & Paolo Zuliani (2009):
A Bayesian Approach to Model Checking Biological Systems.
In: CMSB,
LNCS 5688.
Springer,
pp. 218–234,
doi:10.1007/978-3-642-03845-7_15.
Kenneth L. McMillan (1993):
Symbolic Model Checking.
Carnegie Mellon University.
Koushik Sen, Mahesh Viswanathan & Gul Agha (2004):
Statistical Model Checking of Black-Box Probabilistic Systems.
In: CAV,
LNCS 3114.
Springer,
pp. 202–215,
doi:10.1007/978-3-540-27813-9_16.
Abraham Wald (2004):
Sequential Analysis.
Courier Dover Publications.
Wang Yi, Paul Pettersson & Mats Daniels (1994):
Automatic Verification of Real-Time Communicating Systems by Constraint-Solving.
In: Dieter Hogrefe & Stefan Leue: Proceedings of the 7th International Conference on Formal Description Techniques.
North–Holland,
London, UK,
pp. 223–238.
Available at http://dl.acm.org/citation.cfm?id=646213.681364.
Andy B. Yoo, Morris A. Jette & Mark Grondona (2003):
SLURM: Simple Linux Utility for Resource Management.
In: Dror G. Feitelson, Larry Rudolph & Uwe Schwiegelshohn: Job Scheduling Strategies for Parallel Processing, 9th International Workshop, JSSPP 2003, Seattle, WA, USA, June 24, 2003, Revised Papers,
LNCS 2862.
Springer,
pp. 44–60,
doi:10.1007/10968987_3.
Håkan L. S. Younes (2005):
Verification and Planning for Stochastic Processes with Asynchronous Events.
Carnegie Mellon University.
Håkan L. S. Younes (2005):
Ymer: A Statistical Model Checker.
In: Proc. of 11th Int. Conference on Computer Aided Verification (CAV),
LNCS 3576.
Springer,
pp. 429–433,
doi:10.1007/11513988_43.
Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman & David Parker (2006):
Numerical vs. statistical probabilistic model checking.
International Journal on Software Tools for Technology Transfer (STTT) 8(3),
pp. 216–228,
doi:10.1007/s10009-005-0187-8.
eptcs@eptcs.org