You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Royal Holloway, University of London » Outputs » Detail

Output details

11 - Computer Science and Informatics

Royal Holloway, University of London

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

Cross-entropy optimisation of importance sampling parameters for statistical model checking

Type

E - Conference contribution

DOI

10.1007/978-3-642-31424-7_26

Name of conference/published proceedings

Computer Aided Verification : Proceedings of the 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012

Volume number

7358

Issue number

First page of article

327

ISSN of proceedings

0302-9743

Year of publication

2012

URL

http://link.springer.com/chapter/10.1007%2F978-3-642-31424-7_26

Number of additional authors

Additional information

<07>This paper extends the concept of statistical model checking to rare events. The theory is relatively new and has triggered a new international workshop (SMC2013, http://rv2013.gforge.inria.fr/workshop.html) whose first proceedings will be published in the software tools for technology journal. A tool has been produced from the paper, Plasma (see https://project.inria.fr/plasma-lab/), with invited presentations at international workshops, including the MEALS at ETAPS 2013 and the Formal and Informal Methods for Correctness and Performance at NETSYS 2013. The paper was followed by another CAV publication in 2013: Cyrille Jégourel, Axel Legay, Sean Sedwards: Importance Splitting for Statistical Model Checking Rare Properties.

Interdisciplinary

Cross-referral requested

Research group

D - Distributed and Global Computing

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract