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 × Croatia
1 × Cyprus
1 × Poland
1 × Portugal
1 × Spain
1 × The Netherlands
2 × Austria
2 × Canada
2 × Estonia
3 × France
3 × Germany
4 × USA
4 × United Kingdom
5 × Italy
Collaborated with:
D.Parker G.Norman V.Forejt R.Calinescu R.Segala T.Chen H.Qu M.Kattenbelt M.Huth A.Simaitis L.Feng S.Ambler N.Measor A.Abate L.Brim M.Ceska N.Basset U.Topcu C.Wiltsche T.Han C.Krause H.Giese C.Chilton B.Jonsson K.Etessami M.Y.Vardi M.Yannakakis A.Hinton S.Cattani H.L.S.Younes Z.Huang C.Fan A.Mereacre S.Mitra K.Dräger M.Ujma F.Arbab S.Meng Y.Moon L.d.Alfaro C.Baier E.M.Clarke V.Hartonas-Garmhausen M.Ryan L.Cardelli M.C.0002 M.Fränzle L.Laurenti N.Paoletti M.Whitby
Talks about:
probabilist (16) model (13) system (11) verif (9) check (9) prism (7) quantit (6) stochast (5) analysi (5) game (4)

Person: Marta Z. Kwiatkowska

DBLP DBLP: Kwiatkowska:Marta_Z=

Facilitated 2 volumes:

ICALP (1) 2013Ed
ICALP (2) 2013Ed

Contributed to:

CAV 20152015
TACAS 20152015
CAV 20142014
TACAS 20142014
QAPL 20132013
TACAS 20132013
ESOP 20122012
TACAS 20122012
CAV 20112011
FASE 20112011
SFM 20112011
TACAS 20112011
TACAS 20102010
ESEC/FSE 20092009
FASE 20092009
ICSE 20092009
VMCAI 20092009
QAPL 20082008
ESEC/FSE 20072007
SFM 20072007
TACAS 20072007
CAV 20062006
TACAS 20062006
FoSSaCS 20052005
QAPL 20052006
TACAS 20042004
LICS 20032003
TACAS 20022002
CAV 20012001
TACAS 20002000
ICALP 19971997
LICS 19971997
CSL 19931993
TAPSOFT, Vol.1: CAAP 19911991
CAV (2) 20172017

Wrote 35 papers:

CAV-2015-AbateBCK #adaptation #analysis #markov #network
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (AA, LB, MC, MZK), pp. 195–213.
TACAS-2015-BassetKTW #game studies #multi #probability #synthesis
Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives (NB, MZK, UT, CW), pp. 256–271.
CAV-2014-HuangFMMK #automaton #hybrid #invariant #network #verification
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
TACAS-2014-DragerFKPU #probability #synthesis
Permissive Controller Synthesis for Probabilistic Systems (KD, VF, MZK, DP, MU), pp. 531–546.
QAPL-2013-HanKKG #probability #specification
Modal Specifications for Probabilistic Timed Systems (TH, CK, MZK, HG), pp. 66–80.
TACAS-2013-ChenFKPS #game studies #model checking #multi #named #probability
PRISM-games: A Model Checker for Stochastic Multi-Player Games (TC, VF, MZK, DP, AS), pp. 185–191.
ESOP-2012-ChenCJK #behaviour #component #composition #specification
A Compositional Specification Theory for Component Behaviours (TC, CC, BJ, MZK), pp. 148–168.
TACAS-2012-ChenFKPS #automation #probability #verification
Automatic Verification of Competitive Stochastic Systems (TC, VF, MZK, DP, AS), pp. 315–330.
CAV-2011-KwiatkowskaNP #probability #realtime #verification
PRISM 4.0: Verification of Probabilistic Real-Time Systems (MZK, GN, DP), pp. 585–591.
FASE-2011-FengKP #automation #composition #learning #probability #reasoning
Automated Learning of Probabilistic Assumptions for Compositional Reasoning (LF, MZK, DP), pp. 2–17.
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.
ESEC-FSE-2009-ArbabMMKQ #analysis #coordination #modelling #named #performance
Reo2MC: a tool chain for performance analysis of coordination models (FA, SM, YJM, MZK, HQ), pp. 287–288.
FASE-2009-CalinescuK #development #self
CADS*: Computer-Aided Development of Self-* Systems (RC, MZK), pp. 421–424.
ICSE-2009-CalinescuK #analysis #using
Using quantitative analysis to implement autonomic IT systems (RC, MZK), pp. 100–110.
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.
ESEC-FSE-2007-Kwiatkowska #modelling #tool support #verification
Quantitative verification: models techniques and tools (MZK), pp. 449–458.
SFM-2007-KwiatkowskaNP #model checking #probability
Stochastic Model Checking (MZK, GN, DP), pp. 220–270.
TACAS-2007-EtessamiKVY #markov #model checking #multi #process
Multi-objective Model Checking of Markov Decision Processes (KE, MZK, MYV, MY), pp. 50–65.
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.
LICS-2003-Kwiatkowska #model checking #probability #theory and practice
Model checking for probability and time: from theory to practice (MZK), p. 351–?.
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.
ICALP-1997-BaierCHKR #model checking #probability #process
Symbolic Model Checking for Probabilistic Processes (CB, EMC, VHG, MZK, MR), pp. 430–440.
LICS-1997-HuthK #analysis #model checking
Quantitative Analysis and Model Checking (MH, MZK), pp. 111–122.
CSL-1993-AmblerKM #calculus #on the #μ-calculus
On Duality for the Modal μ-Calculus (SA, MZK, NM), pp. 18–32.
CAAP-1991-Kwiatkowska #composition #on the
On the Domain of Traces and Sequential Composition (MZK), pp. 42–56.
CAV-2017-CardelliCFKLPW #network #synthesis
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks (LC, MC0, MF, MZK, LL, NP, MW), pp. 375–395.

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.