Norman Abramson
1970
THE ALOHA SYSTEM: another alternative for computer communications
Proceedings of the November 17-19, 1970, fall joint computer conference
AFIPS '70 (Fall)
ACM
New York, NY, USA
281–285
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
FORTE
LNCS
6117
Springer
32–46
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
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
142–170
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
Proc. of 3rd Haifa Verification Conference (HVC)
LNCS
5394
Springer
149–163
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
Monika Heiner
Adelinde Uhrmacher
Proceedings of the 6th International Conference on Computational Methods in Systems Biology (CMSB)
LNCS
Springer
231–250
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
Uli Fahrenberg
Stavros Tripakis
9th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
LNCS
6919
Springer
Aalborg, Denmark
80–96
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
Ganesh Gopalakrishnan
Shaz Qadeer
23rd International Conference on Computer Aided Verification (CAV)
LNCS
6806
Springer
Snowbird, UT, USA
349–355
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
Jim Davies
Jeremy Gibbons
Integrated Formal Methods
LNCS
4591
Springer Berlin / Heidelberg
253–272
10.1007/978-3-540-73210-5_14
R. Grosu
S. A. Smolka
2005
Monte Carlo Model Checking
Proc. of 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
LNCS
3440
Springer
271–286
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
Bernhard Steffen
Giorgio Levi
Verification, Model Checking, and Abstract Interpretation
LNCS
2937
Springer
307–329
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
HVC
LNCS
4899
Springer
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
CMSB
LNCS
5688
Springer
218–234
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
CAV
LNCS
3114
Springer
202–215
10.1007/978-3-540-27813-9_16
The UPPAAL Tool
http://www.uppaal.com/
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
Dieter Hogrefe
Stefan Leue
Proceedings of the 7th International Conference on Formal Description Techniques
North–Holland
London, UK
223–238
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
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
44–60
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
Proc. of 11th Int. Conference on Computer Aided Verification (CAV)
LNCS
3576
Springer
429–433
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
216–228
10.1007/s10009-005-0187-8