R. Alur
C. Courcoubetis
N. Halbwachs
T. A. Henzinger
P.-H. Ho
X. Nicollin
A. Olivero
J. Sifakis
S. Yovine
1995
The algorithmic analysis of hybrid systems
Theoretical Computer Science
138
1
3–34
10.1016/0304-3975(94)00202-T
Rajeev Alur
Salvatore La Torre
George J. Pappas
2001
Optimal Paths in Weighted Timed Automata
Benedetto
Sangiovanni-Vincentelli
49–62
10.1007/3-540-45351-2_8
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
Benoît Barbot
Taolue Chen
Tingting Han
Joost-Pieter Katoen
Alexandru Mereacre
2011
Efficient CTMC Model Checking of Linear Real-Time Objectives
ParoshAziz Abdulla
K.RustanM. Leino
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
6605
Springer Berlin Heidelberg
128–142
10.1007/978-3-642-19835-9_12
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
Gerd Behrmann
Agnès Cougnard
Alexandre David
Emmanuel Fleury
Kim G. Larsen
Didier Lime
2007
UPPAAL-Tiga: Time for Playing Games!
CAV
LNCS
4590
Springer
Gerd Behrmann
Ansgar Fehnker
Thomas Hune
Kim Guldstrand Larsen
Paul Pettersson
Judi Romijn
Frits W. Vaandrager
2001
Minimum-Cost Reachability for Priced Timed Automata
Benedetto
Sangiovanni-Vincentelli
147–161
10.1007/3-540-45351-2_15
Maria Domenica Di Benedetto
Alberto L. Sangiovanni-Vincentelli
2001
Hybrid Systems: Computation and Control, 4th International Workshop, HSCC 2001, Proceedings
LNCS
2034
Springer
10.1007/3-540-45351-2
Patricia Bouyer
Uli Fahrenberg
Kim G. Larsen
Nicolas Markey
2010
Timed automata with observers under energy constraints
HSCC
ACM ACM
61–70
10.1145/1755952.1755963
Peter Bulychev
Alexandre David
Kim G. Larsen
Axel Legay
Guangyuan Li
Danny Bøgsted Poulsen
Amelie Stainer
2012
Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
LPAR-18
7180
168–182
10.1007/978-3-642-28717-6_15
Peter Bulychev
Alexandre David
Kim G. Larsen
Axel Legay
Marius Mikučionis
2012
Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach
iWIGP
78
1–14
10.4204/EPTCS.78.1
Peter Bulychev
Alexandre David
Kim G. Larsen
Axel Legay
Marius Mikučionis
Danny Bøgsted Poulsen
2012
Checking & Distributing Statistical Model Checking
NFM 2012 : Fourth NASA Formal Methods Symposium
7226
449–463
10.1007/978-3-642-28891-3_39
Peter Bulychev
Alexandre David
Kim Guldstrand Larsen
Marius Mikučionis
Axel Legay
2011
Distributed Parametric and Statistical Model Checking
Jiř\'ıBarnat
Keijo Heljanko
Proceedings 10th International Workshop on Parallel and Distributed Methods in Verification
EPTCS
arxiv.org
30–42
10.4204/EPTCS.72
F. Ciesinski
M. Größer
2004
On Probabilistic Computation Tree Logic
Validation of Stochastic Systems
LNCS, 2925
Springer
147–188
10.1007/978-3-540-24611-4_5
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
Haifa Verification Days
LNCS
5394
Springer
149–163
10.1007/978-3-642-01702-5_16
E. M. Clarke
A. Donzé
A. Legay
2009
On Simulation-based Probabilistic Model Checking of Mixed-Analog Circuits
Formal Methods in System Design
To appear
E. M. Clarke
J. R. Faeder
C. James Langmead
L. A. Harris
S. K. Jha
A. Legay
2008
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway
CMSB
LNCS
5307
Springer
231–250
10.1007/978-3-540-88562-7_18
Edmund M. Clarke
Paolo Zuliani
2011
Statistical Model Checking for Cyber-Physical Systems
ATVA
Lecture Notes in Computer Science
6996
Springer
1–12
10.1007/978-3-642-24372-1_1
C. J. Clopper
E. S. Pearson
1934
The Use of Confidence or Fiducial Limits Illustrated in the Case of the Binomial
Biometrika
26
4
404–413
10.1093/biomet/26.4.404
Alexandre David
Kim G. Larsen
Axel Legay
Marius Mikučionis
Danny Bøgsted Poulsen
Jonas Van Vliet
Zheng Wang
2011
Statistical model checking for networks of priced timed automata
Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
FORMATS'11
Springer-Verlag
Berlin, Heidelberg
80–96
10.1007/978-3-642-24310-3_7
Alexandre David
Kim G. Larsen
Axel Legay
Marius Mikučionis
Danny Bøgsted Poulsen
Jonas van Vliet
Zheng Wang
2011
Statistical Model Checking for Networks of Priced Timed Automata
Uli Fahrenberg
Stavros Tripakis
Formal Modeling and Analysis of Timed Systems
LNCS
6919
springer
80–96
10.1007/978-3-642-24310-3_7
Alexandre David
Kim G. Larsen
Axel Legay
Marius Mikučionis
Zheng Wang
2011
Time for Statistical Model Checking of Real-Time Systems
Ganesh Gopalakrishnan
Shaz Qadeer
Computer Aided Verification
Lecture Notes in Computer Science
6806
Springer
349–355
10.1007/978-3-642-22110-1_27
Marie Duflot
Marta Kwiatkowska
Gethin Norman
David Parker
2006
A formal analysis of bluetooth device discovery
International Journal on Software Tools for Technology Transfer (STTT)
8
621–632
10.1007/s10009-006-0014-x
Uli Fahrenberg
Line Juhl
Kim G. Larsen
Jir\'ıSrba
2011
Energy Games in Multiweighted Automata
ICTAC
Lecture Notes in Computer Science
6916
Springer
95–115
10.1007/978-3-642-23283-1_9
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
Thomas Hérault
Richard Lassaigne
Frédéric Magniette
Sylvain Peyronnet
2004
Approximate Probabilistic Model Checking
VMCAI
LNCS
2937
Springer
73–84
10.1007/978-3-540-24622-0_8
D. N. Jansen
J. Katoen
M. Oldenkamp
M. Stoelinga
I. S. Zapreev
2008
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison
Haifa Verification Conference
LNCS
4899
Springer
69–85
10.1007/978-3-540-77966-7_9
Cyrille Jégourel
Axel Legay
Sean Sedwards
2012
Cross-entropy optimisation of importance sampling parameters for statistical model checking
CoRR
abs/1201.5229
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
M. Z. Kwiatkowska
G. Norman
D. Parker
2004
PRISM 2.0: A Tool for Probabilistic Model Checking
QEST
IEEE
322–323
Marta Kwiatkowska
Gethin Norman
Jeremy Sproston
2003
Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol
Formal Aspects of Computing
14
295–318
10.1007/s001650300007
Oded Maler
Kim G. Larsen
Bruce H. Krogh
2010
On Zone-Based Analysis of Duration Probabilistic Automata
INFINITY
EPTCS
39
33–46
João Martins
André Platzer
João Leite
2011
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications
ICFEM
Lecture Notes in Computer Science
6991
Springer
131–146
P. McDermott-Wells
2005
What is Bluetooth?
Potentials, IEEE
23
5
33 – 35
10.1109/MP.2005.1368913
Johan Oudinet
Alain Denise
Marie-Claude Gaudel
Richard Lassaigne
Sylvain Peyronnet
2011
Uniform Monte-Carlo Model Checking
FASE
Lecture Notes in Computer Science
6603
Springer
127–140
10.1007/978-3-642-19811-3_10
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
Mariëlle Stoelinga
2003
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol
Formal Aspects of Computing
14
328–337
10.1007/s001650300009
L.F.W. van Hoesel
P.J.M. Havinga
2004
A Lightweight Medium Access Protocol (LMAC) for Wireless Sensor Networks: Reducing Preamble Transmissions and Transceiver State Switches
1st International Workshop on Networked Sensing Systems (INSS
Society of Instrument and Control Engineers (SICE)
Tokio, Japan
205–208
http://doc.utwente.nl/64756/
R. Wald
2004
Sequential Analysis
Dove Publisher
Håkan L. S. Younes
2005
Verification and Planning for Stochastic Processes with Asynchronous Events
Carnegie Mellon
Håkan L. S. Younes
Marta Z. Kwiatkowska
Gethin Norman
David Parker
2006
Numerical vs. statistical probabilistic model checking
STTT
8
3
216–228
10.1007/s10009-005-0187-8