@incollection(WTA01,
 author       = "Rajeev Alur and Salvatore La Torre and George Pappas",
 year         = "2001",
 title        = "Optimal Paths in Weighted Timed Automata",
 editor       = "Maria Di Benedetto and Alberto Sangiovanni-Vincentelli",
 booktitle    = "Hybrid Systems: Computation and Control",
 series       = "Lecture Notes in Computer Science",
 volume       = "2034",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "49--62",
 doi          = "10.1007/3-540-45351-2\_8",
)
@inproceedings(BDDHP11,
 author       = "Paolo Ballarini and Hilal Djafri and Marie Duflot and Serge Haddad and Nihal Pekergin",
 year         = "2011",
 title        = "COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic",
 booktitle    = "QEST",
 publisher    = "IEEE Computer Society",
 pages        = "143--144",
 url          = "http://doi.ieeecomputersociety.org/10.1109/QEST.2011.24",
)
@article(BarkaiLeibler2000,
 author       = "Naama Barkai and Stanislas Leibler",
 year         = "2000",
 title        = "Biological rhythms: Circadian clocks limited by noise",
 journal      = "Nature",
 volume       = "403",
 pages        = "267--268",
 doi          = "10.1038/35002258",
)
@inproceedings(BBBCDL10,
 author       = "Ananda Basu and Saddek Bensalem and Marius Bozga and Beno\^{\i }t Caillaud and Beno\^{\i }t Delahaye and Axel Legay",
 year         = "2010",
 title        = "Statistical Abstraction and Model-Checking of Large Heterogeneous Systems",
 booktitle    = "FMOODS/FORTE",
 series       = "Lecture Notes in Computer Science",
 volume       = "6117",
 publisher    = "Springer",
 pages        = "32--46",
 doi          = "10.1007/978-3-642-13464-7\_4",
)
@article(DBLP:journals/sttt/BasuBBDL12,
 author       = "Ananda Basu and Saddek Bensalem and Marius Bozga and Beno\^{\i }t Delahaye and Axel Legay",
 year         = "2012",
 title        = "Statistical abstraction and model-checking of large heterogeneous systems",
 journal      = "STTT",
 volume       = "14",
 number       = "1",
 pages        = "53--72",
 doi          = "10.1007/s10009-011-0201-2",
)
@inproceedings(BBBDLS10,
 author       = "Ananda Basu and Saddek Bensalem and Marius Bozga and Beno\^{\i }t Delahaye and Axel Legay and Emmanuel Sifakis",
 year         = "2010",
 title        = "Verification of an AFDX Infrastructure Using Simulations and Probabilities",
 booktitle    = "RV",
 series       = "Lecture Notes in Computer Science",
 volume       = "6418",
 publisher    = "Springer",
 pages        = "330--344",
 doi          = "10.1007/978-3-642-16612-9\_25",
)
@inproceedings(PTA01,
 author       = "Gerd Behrmann and Ansgar Fehnker and Thomas Hune and Kim Guldstrand Larsen and Paul Pettersson and Judi Romijn and Frits W. Vaandrager",
 year         = "2001",
 title        = "Minimum-Cost Reachability for Priced Timed Automata",
 booktitle    = "HSCC",
 pages        = "147--161",
 doi          = "10.1007/3-540-45351-2\_15",
)
@unpublished(WMTL,
 author       = "P. Bulychev and A. David and K.G. Larsen and A. Legay and G. Li and D.B. Poulsen",
 title        = "Rewrite-Based Statistical Model Checking of WMTL",
 note         = "To appear at RV 2012",
)
@inproceedings(BDLLM12,
 author       = "Peter E. Bulychev and Alexandre David and Kim G. Larsen and Axel Legay and Marius Mikucionis",
 year         = "2012",
 title        = "Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach",
 booktitle    = "IWIGP",
 series       = "EPTCS",
 volume       = "78",
 pages        = "1--14",
 doi          = "10.4204/EPTCS.78.1",
)
@inproceedings(MITLSMC,
 author       = "Peter E. Bulychev and Alexandre David and Kim Guldstrand Larsen and Axel Legay and Guangyuan Li and Danny B{\o }gsted Poulsen and Am{\'e}lie Stainer",
 year         = "2012",
 title        = "Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic",
 editor       = "Nikolaj Bj{\o }rner and Andrei Voronkov",
 booktitle    = "LPAR",
 series       = "Lecture Notes in Computer Science",
 volume       = "7180",
 publisher    = "Springer",
 pages        = "168--182",
 doi          = "10.1007/978-3-642-28717-6\_15",
)
@article(CDL10,
 author       = "Edmund Clarke and Alexandre Donz{\'e} and Axel Legay",
 year         = "2010",
 title        = "On simulation-based probabilistic model checking of mixed-analog circuits",
 journal      = "Formal Methods in System Design",
 volume       = "36",
 pages        = "97--113",
 doi          = "10.1007/s10703-009-0076-y",
)
@article(chinesepaper,
 author       = "Alexandre David and DeHui Du and Kim G. Larsen and Marius Miku\v {c}ionis and Arne Skou",
 year         = "2012",
 title        = "An Evaluation Framework for Energy Aware Buildings using Statistical Model Checking",
 note         = "Submitted",
)
@inproceedings(ourherschel,
 author       = "Alexandre David and Kim. G. Larsen and Axel Legay and Marius Miku\v {c}ionis",
 year         = "2012",
 title        = "Schedulability of Herschel-Planck Revisited Using Statistical Model Checking",
 editor       = "Bernhard Steffen and Tiziana Margaria",
 booktitle    = "5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
 address      = "Heraclion, Crete",
 note         = "To appear",
)
@inproceedings(ourbio,
 author       = "Alexandre David and Kim G. Larsen and Axel Legay and Marius Miku\v {c}ionis and Danny B{\o }gsted Poulsen and Sean Sedwards",
 year         = "2012",
 title        = "Runtime Verification of Biological Systems",
 editor       = "Bernhard Steffen and Tiziana Margaria",
 booktitle    = "5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation",
 address      = "Heraclion, Crete",
 note         = "To appear",
)
@inproceedings(DLLMPVW11,
 author       = "Alexandre David and Kim G. Larsen and Axel Legay and Marius Miku\v {c}ionis and Danny B{\o }gsted Poulsen and Jonas Van Vliet and Zheng Wang",
 year         = "2011",
 title        = "Statistical Model Checking for Networks of Priced Timed Automata",
 booktitle    = "FORMATS",
 series       = "LNCS",
 publisher    = "Springer",
 pages        = "80--96",
 doi          = "10.1007/978-3-642-24310-3\_7",
)
@inproceedings(DLLMW11,
 author       = "Alexandre David and Kim G. Larsen and Axel Legay and Marius Miku\v {c}ionis and Zheng Wang",
 year         = "2011",
 title        = "Time for statistical model checking of real-time systems",
 booktitle    = "Proceedings of the 23rd international conference on Computer aided verification",
 series       = "LNCS",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "349--355",
 url          = "http://dl.acm.org/citation.cfm?id=2032305.2032332",
)
@inproceedings(hscc2010,
 author       = "Alexandre David and Kim G. Larsen and Axel Legay and Ulrik Nyman and Andrzej Wasowski",
 year         = "2010",
 title        = "Timed I/O automata: a complete specification theory for real-time systems",
 booktitle    = "HSCC",
 publisher    = "ACM ACM",
 pages        = "91--100",
 doi          = "10.1145/1755952.1755967",
)
@inproceedings(Fehnker04,
 author       = "Ansgar Fehnker and Franjo Ivancic",
 year         = "2004",
 title        = "Benchmarks for Hybrid Systems Verification",
 editor       = "Rajeev Alur and George J. Pappas",
 booktitle    = "HSCC",
 series       = "Lecture Notes in Computer Science",
 volume       = "2993",
 publisher    = "Springer",
 pages        = "326--341",
 doi          = "10.1007/978-3-540-24743-2\_22",
)
@article(Gillespie1977,
 author       = "Daniel T. Gillespie",
 year         = "1977",
 title        = "Exact Stochastic Simulation of Coupled Chemical Reactions",
 journal      = "Journal of Physical Chemistry",
 volume       = "81",
 pages        = "2340--2361",
 doi          = "10.1021/j100540a008",
)
@incollection(gomez09,
 author       = "Rodolfo G\'omez",
 year         = "2009",
 title        = "A Compositional Translation of Timed Automata with Deadlines to UPPAAL Timed Automata",
 editor       = "Jo\"el Ouaknine and Frits Vaandrager",
 booktitle    = "Formal Modeling and Analysis of Timed Systems",
 series       = "Lecture Notes in Computer Science",
 volume       = "5813",
 publisher    = "Springer Berlin / Heidelberg",
 pages        = "179--194",
 doi          = "10.1007/978-3-642-04368-0\_15",
)
@inproceedings(GZKFC10,
 author       = "Haijun Gong and Paolo Zuliani and Anvesh Komuravelli and James R. Faeder and Edmund M. Clarke",
 year         = "2010",
 title        = "Computational Modeling and Verification of Signaling Pathways in Cancer",
 booktitle    = "ANB",
 series       = "Lecture Notes in Computer Science",
 volume       = "6479",
 publisher    = "Springer",
 pages        = "117--135",
 doi          = "10.1007/978-3-642-28067-2\_7",
)
@inproceedings(Jegourel2012,
 author       = "Cyrille Jegourel and Axel Legay and Sean Sedwards",
 year         = "2012",
 title        = "{Cross-entropy optimisation of importance sampling parameters for statistical model checking}",
 editor       = "Madhusudan Parthasarathy and Sanjit A. Seshia",
 booktitle    = "CAV",
 series       = "LNCS",
 publisher    = "Springer",
 address      = "Berkeley, California, USA",
 note         = "To appear",
)
@inproceedings(Sedwards2012,
 author       = "Cyrille Jegourel and Axel Legay and Sean Sedwards",
 year         = "2012",
 title        = "A Platform for High Performance Statistical Model Checking -- PLASMA",
 editor       = "Cormac Flanagan and Barbara K{\"o}nig",
 booktitle    = "TACAS",
 series       = "LNCS",
 publisher    = "Springer",
 address      = "Tallinn, Estonia",
 doi          = "10.1007/978-3-642-28756-5\_37",
)
@inproceedings(JCLLPZ09,
 author       = "Sumit Kumar Jha and Edmund M. Clarke and Christopher James Langmead and Axel Legay and Andr{\'e} Platzer and Paolo Zuliani",
 year         = "2009",
 title        = "A Bayesian Approach to Model Checking Biological Systems",
 booktitle    = "CMSB",
 series       = "LNCS",
 volume       = "5688",
 publisher    = "Springer",
 pages        = "218--234",
 doi          = "10.1007/978-3-642-03845-7\_15",
)
@article(KZHHJ11,
 author       = "Joost-Pieter Katoen and Ivan S. Zapreev and Ernst Moritz Hahn and Holger Hermanns and David N. Jansen",
 year         = "2011",
 title        = "The ins and outs of the probabilistic model checker MRMC",
 journal      = "Perform. Eval.",
 volume       = "68",
 number       = "2",
 pages        = "90--104",
 doi          = "10.1016/j.peva.2010.04.001",
)
@article(MTL,
 author       = "Ron Koymans",
 year         = "1990",
 title        = "Specifying Real-Time Properties with Metric Temporal Logic",
 journal      = "Real-Time Systems",
 volume       = "2",
 number       = "4",
 pages        = "255--299",
 doi          = "10.1007/BF01995674",
)
@article(LMPR07,
 author       = "S. Laplante and R. Lassaigne and F. Magniez and S. Peyronnet and M. de Rougemont",
 year         = "2007",
 title        = "Probabilistic abstraction for model checking: An approach based on property testing",
 journal      = "ACM TCS",
 volume       = "8",
 number       = "4",
 doi          = "10.1145/1276920.1276922",
)
@article(LS91,
 author       = "Kim Guldstrand Larsen and Arne Skou",
 year         = "1991",
 title        = "Bisimulation through Probabilistic Testing",
 journal      = "Inf. Comput.",
 volume       = "94",
 number       = "1",
 pages        = "1--28",
 doi          = "10.1016/0890-5401(91)90030-6",
)
@inproceedings(LDB10,
 author       = "Axel Legay and Beno\^{\i }t Delahaye and Saddek Bensalem",
 year         = "2010",
 title        = "Statistical Model Checking: An Overview",
 booktitle    = "RV",
 series       = "Lecture Notes in Computer Science",
 volume       = "6418",
 publisher    = "Springer",
 pages        = "122--135",
 doi          = "10.1007/978-3-642-16612-9\_11",
)
@inproceedings(MPL11,
 author       = "Jo{\~a}o Martins and Andr{\'e} Platzer and Jo{\~a}o Leite",
 year         = "2011",
 title        = "Statistical Model Checking for Distributed Probabilistic-Control Hybrid Automata with Smart Grid Applications",
 booktitle    = "ICFEM",
 series       = "Lecture Notes in Computer Science",
 volume       = "6991",
 publisher    = "Springer",
 pages        = "131--146",
 doi          = "10.1007/978-3-642-24559-6\_11",
)
@inproceedings(LTL,
 author       = "Amir Pnueli",
 year         = "1977",
 title        = "The Temporal Logic of Programs",
 booktitle    = "FOCS",
 publisher    = "IEEE Computer Society",
 pages        = "46--57",
 url          = "http://doi.ieeecomputersociety.org/10.1109/SFCS.1977.32",
)
@inproceedings(SVA04,
 author       = "Koushik Sen and Mahesh Viswanathan and Gul Agha",
 year         = "2004",
 title        = "Statistical Model Checking of Black-Box Probabilistic Systems",
 booktitle    = "CAV",
 series       = "LNCS 3114",
 publisher    = "Springer",
 pages        = "202--215",
 doi          = "10.1007/11513988\_26",
)
@article(Vilar2002,
 author       = "Jos\'e M. G. Vilar and Hao Yuan Kueh and Naama Barkai and Stanislas Leibler",
 year         = "2002",
 title        = "Mechanisms of noise-resistance in genetic oscillators",
 journal      = "Proceedings of the National Academy of Sciences",
 volume       = "99",
 number       = "9",
 pages        = "5988--5992",
 doi          = "10.1073/pnas.092133899",
 url          = "http://www.pnas.org/content/99/9/5988.abstract",
)
@inproceedings(YS02,
 author       = "H{\r a}kan L. S. Younes and Reid G. Simmons",
 year         = "2002",
 title        = "Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling",
 booktitle    = "CAV",
 series       = "LNCS 2404",
 publisher    = "Springer",
 pages        = "223--235",
 doi          = "10.1007/3-540-45657-0\_17",
)
@inproceedings(ZBC12,
 author       = "Paolo Zuliani and Christel Baier and Edmund M. Clarke",
 year         = "2012",
 title        = "Rare-event verification for stochastic hybrid systems",
 booktitle    = "HSCC",
 publisher    = "ACM",
 pages        = "217--226",
 doi          = "10.1145/2185632.2185665",
)
@inproceedings(ZPC10,
 author       = "Paolo Zuliani and Andr{\'e} Platzer and Edmund M. Clarke",
 year         = "2010",
 title        = "Bayesian statistical model checking with application to Simulink/Stateflow verification",
 booktitle    = "HSCC",
 publisher    = "ACM",
 pages        = "243--252",
 doi          = "10.1145/1755952.1755987",
)