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),
pp. 3–34,
doi:10.1016/0304-3975(94)00202-T.
Rajeev Alur, Salvatore La Torre & George J. Pappas (2001):
Optimal Paths in Weighted Timed Automata.
In: Benedetto & Sangiovanni-Vincentelli,
pp. 49–62,
doi: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),
pp. 524–541.
Benoît Barbot, Taolue Chen, Tingting Han, Joost-Pieter Katoen & Alexandru Mereacre (2011):
Efficient CTMC Model Checking of Linear Real-Time Objectives.
In: ParoshAziz Abdulla & K.RustanM. Leino: Tools and Algorithms for the Construction and Analysis of Systems,
Lecture Notes in Computer Science 6605.
Springer Berlin Heidelberg,
pp. 128–142,
doi: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.
In: FORTE,
LNCS 6117.
Springer,
pp. 32–46,
doi: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!.
In: 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.
In: Benedetto & Sangiovanni-Vincentelli,
pp. 147–161,
doi: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,
doi:10.1007/3-540-45351-2.
Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen & Nicolas Markey (2010):
Timed automata with observers under energy constraints.
In: HSCC.
ACM ACM,
pp. 61–70,
doi: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.
In: LPAR-18 7180,
pp. 168–182,
doi: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.
In: iWIGP 78,
pp. 1–14,
doi: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.
In: NFM 2012 : Fourth NASA Formal Methods Symposium 7226,
pp. 449–463,
doi: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.
In: Jiř\'ıBarnat & Keijo Heljanko: Proceedings 10th International Workshop on Parallel and Distributed Methods in Verification,
EPTCS.
arxiv.org,
pp. 30–42,
doi:10.4204/EPTCS.72.
F. Ciesinski & M. Größer (2004):
On Probabilistic Computation Tree Logic.
In: Validation of Stochastic Systems,
LNCS, 2925.
Springer,
pp. 147–188,
doi: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.
In: Haifa Verification Days,
LNCS 5394.
Springer,
pp. 149–163,
doi: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.
In: CMSB,
LNCS 5307.
Springer,
pp. 231–250,
doi:10.1007/978-3-540-88562-7_18.
Edmund M. Clarke & Paolo Zuliani (2011):
Statistical Model Checking for Cyber-Physical Systems.
In: ATVA,
Lecture Notes in Computer Science 6996.
Springer,
pp. 1–12,
doi: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),
pp. 404–413,
doi: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.
In: Proceedings of the 9th international conference on Formal modeling and analysis of timed systems,
FORMATS'11.
Springer-Verlag,
Berlin, Heidelberg,
pp. 80–96,
doi: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.
In: Uli Fahrenberg & Stavros Tripakis: Formal Modeling and Analysis of Timed Systems,
LNCS 6919.
springer,
pp. 80–96,
doi: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.
In: Ganesh Gopalakrishnan & Shaz Qadeer: Computer Aided Verification,
Lecture Notes in Computer Science 6806.
Springer,
pp. 349–355,
doi: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,
pp. 621–632,
doi:10.1007/s10009-006-0014-x.
Uli Fahrenberg, Line Juhl, Kim G. Larsen & Jir\'ıSrba (2011):
Energy Games in Multiweighted Automata.
In: ICTAC,
Lecture Notes in Computer Science 6916.
Springer,
pp. 95–115,
doi: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.
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.
Thomas Hérault, Richard Lassaigne, Frédéric Magniette & Sylvain Peyronnet (2004):
Approximate Probabilistic Model Checking.
In: VMCAI,
LNCS 2937.
Springer,
pp. 73–84,
doi: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.
In: Haifa Verification Conference,
LNCS 4899.
Springer,
pp. 69–85,
doi: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.
In: CMSB,
LNCS 5688.
Springer,
pp. 218–234,
doi: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.
In: QEST.
IEEE,
pp. 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,
pp. 295–318,
doi:10.1007/s001650300007.
Oded Maler, Kim G. Larsen & Bruce H. Krogh (2010):
On Zone-Based Analysis of Duration Probabilistic Automata.
In: INFINITY,
EPTCS 39,
pp. 33–46.
João Martins, André Platzer & João Leite (2011):
Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications.
In: ICFEM,
Lecture Notes in Computer Science 6991.
Springer,
pp. 131–146.
P. McDermott-Wells (2005):
What is Bluetooth?.
Potentials, IEEE 23(5),
pp. 33 – 35,
doi:10.1109/MP.2005.1368913.
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne & Sylvain Peyronnet (2011):
Uniform Monte-Carlo Model Checking.
In: FASE,
Lecture Notes in Computer Science 6603.
Springer,
pp. 127–140,
doi:10.1007/978-3-642-19811-3_10.
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.
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,
pp. 328–337,
doi: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.
In: 1st International Workshop on Networked Sensing Systems (INSS.
Society of Instrument and Control Engineers (SICE),
Tokio, Japan,
pp. 205–208.
Available at 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),
pp. 216–228,
doi:10.1007/s10009-005-0187-8.