BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Cyprus
1 × Spain
2 × France
2 × Germany
2 × Italy
2 × United Kingdom
3 × USA
Collaborated with:
M.Z.Kwiatkowska D.Parker R.Segala M.Kattenbelt V.Forejt H.Qu K.Chatzikokolakis A.Hinton S.Cattani H.L.S.Younes L.d.Alfaro
Talks about:
probabilist (12) system (6) verif (6) prism (6) model (6) check (5) stochast (2) abstract (2) quantit (2) symbol (2)

Person: Gethin Norman

DBLP DBLP: Norman:Gethin

Facilitated 2 volumes:

QAPL 2011Ed
QAPL 2010Ed

Contributed to:

CAV 20112011
SFM 20112011
TACAS 20112011
TACAS 20102010
FOSSACS 20092009
VMCAI 20092009
QAPL 20082008
SFM 20072007
CAV 20062006
TACAS 20062006
FoSSaCS 20052005
QAPL 20052006
TACAS 20042004
TACAS 20022002
CAV 20012001
TACAS 20002000

Wrote 16 papers:

CAV-2011-KwiatkowskaNP #probability #realtime #verification
PRISM 4.0: Verification of Probabilistic Real-Time Systems (MZK, GN, DP), pp. 585–591.
SFM-2011-ForejtKNP #automation #probability #verification
Automated Verification Techniques for Probabilistic Systems (VF, MZK, GN, DP), pp. 53–113.
TACAS-2011-ForejtKNPQ #multi #probability #verification
Quantitative Multi-objective Verification for Probabilistic Systems (VF, MZK, GN, DP, HQ), pp. 112–127.
TACAS-2010-KwiatkowskaNPQ #probability #verification
Assume-Guarantee Verification for Probabilistic Systems (MZK, GN, DP, HQ), pp. 23–37.
FoSSaCS-2009-ChatzikokolakisNP #bisimulation
Bisimulation for Demonic Schedulers (KC, GN, DP), pp. 318–332.
VMCAI-2009-KattenbeltKNP #abstraction #probability #refinement
Abstraction Refinement for Probabilistic Software (MK, MZK, GN, DP), pp. 182–197.
QAPL-2008-KattenbeltKNP #abstraction #game studies #probability
Game-Based Probabilistic Predicate Abstraction in PRISM (MK, MZK, GN, DP), pp. 5–21.
SFM-2007-KwiatkowskaNP #model checking #probability
Stochastic Model Checking (MZK, GN, DP), pp. 220–270.
CAV-2006-KwiatkowskaNP #model checking #probability #reduction #symmetry
Symmetry Reduction for Probabilistic Model Checking (MZK, GN, DP), pp. 234–248.
TACAS-2006-HintonKNP #automation #named #probability #verification
PRISM: A Tool for Automatic Verification of Probabilistic Systems (AH, MZK, GN, DP), pp. 441–444.
FoSSaCS-2005-CattaniSKN #nondeterminism #probability
Stochastic Transition Systems for Continuous State Spaces and Non-determinism (SC, RS, MZK, GN), pp. 125–139.
QAPL-2005-KwiatkowskaNP06 #analysis #model checking #probability
Quantitative Analysis With the Probabilistic Model Checker PRISM (MZK, GN, DP), pp. 5–31.
TACAS-2004-YounesKNP #empirical #model checking #probability #statistics
Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study (HLSY, MZK, GN, DP), pp. 46–60.
TACAS-2002-KwiatkowskaNP #approach #hybrid #model checking #probability
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach (MZK, GN, DP), pp. 52–66.
CAV-2001-KwiatkowskaNS #automation #distributed #protocol #random #using #verification
Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM (MZK, GN, RS), pp. 194–206.
TACAS-2000-AlfaroKNPS #model checking #probability #process #representation #using
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation (LdA, MZK, GN, DP, RS), pp. 395–410.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.