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: Kwiatkowska:Marta_Z=
Facilitated 2 volumes:
EdEdContributed to:
2015
201520142014
20132013
201220122011
2011
201120112010
20092009
2009
2009200820072007200720062006
200520062004
200320022001200019971997
1993
19912017Wrote 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.