The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gethin Norman" ( http://dblp.L3S.de/Authors/Gethin_Norman )

  Author page on DBLP  Author page in RDF  Community of Gethin Norman in ASPL-2

Publication years (Num. hits)
1996-2002 (20) 2003-2005 (16) 2006-2007 (15) 2008-2010 (19) 2011-2014 (17) 2015-2018 (15) 2019 (1)
Publication types (Num. hits)
article(45) book(1) inproceedings(54) proceedings(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 32 occurrences of 22 keywords

Results
Found 104 publication records. Showing 103 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Marta Kwiatkowska, Gethin Norman, David Parker 0001 Verification and Control of Turn-Based Probabilistic Real-Time Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos Equilibria-based Probabilistic Model Checking for Concurrent Stochastic Games. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos Automated Verification of Concurrent Stochastic Games. Search on Bibsonomy QEST The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ruben Giaquinta, Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman Strategy Synthesis for Autonomous Agents Using PRISM. Search on Bibsonomy NFM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gethin Norman, David Parker 0001, Xueyi Zou Verification and control of partially observable probabilistic systems. Search on Bibsonomy Real-Time Systems The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Marta Kwiatkowska, Gethin Norman, Quentin Peyras Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001 Symbolic Verification and Strategy Synthesis for Linearly-Priced Probabilistic Timed Automata. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Marta Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Expected reachability-time games. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres Autonomous Agent Behaviour Modelled in PRISM - A Case Study. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Murray L. Ireland, Ruth Hoffmann, Alice Miller, Gethin Norman, Sandor M. Veres A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Expected Reachability-Time Games. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ruth Hoffmann, Murray Ireland, Alice Miller, Gethin Norman, Sandor M. Veres Autonomous Agent Behaviour Modelled in PRISM - A Case Study. Search on Bibsonomy SPIN The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gethin Norman, David Parker 0001, Xueyi Zou Verification and Control of Partially Observable Probabilistic Real-Time Systems. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Md. Sadek Ferdous, Gethin Norman, Audun Jøsang, Ron Poet Mathematical Modelling of Trust Issues in Federated Identity Management. Search on Bibsonomy IFIPTM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gethin Norman, David Parker 0001, Xueyi Zou Verification and Control of Partially Observable Probabilistic Real-Time Systems. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aleksandra Jovanovic, Marta Z. Kwiatkowska, Gethin Norman Symbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mieke Massink, Gethin Norman, Herbert Wiklicky Quantitative Aspects of Programming Languages and Systems (2011-12). Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Md. Sadek Ferdous, Gethin Norman, Ron Poet Mathematical Modelling of Identity, Identity Management and Other Related Topics. Search on Bibsonomy SIN The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gethin Norman, William H. Sanders (eds.) Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings Search on Bibsonomy QEST The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations. Search on Bibsonomy Horizons of the Mind The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Gethin Norman, David Parker 0001, Jeremy Sproston Model checking for probabilistic timed automata. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Péter Biró, Gethin Norman Analysis of stochastic matching markets. Search on Bibsonomy Int. J. Game Theory The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Hongyang Qu 0001 Compositional probabilistic verification through multi-objective model checking. Search on Bibsonomy Inf. Comput. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Alessandra Di Pierro, Gethin Norman Editorial: Quantitative Aspects of Programming Languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic verification of Herman's self-stabilisation algorithm. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Evaluation of Sustained Stochastic Oscillations by Means of a System of Differential Equations. Search on Bibsonomy I. J. Comput. Appl. The full citation details ... 2012 DBLP  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 The PRISM Benchmark Suite. Search on Bibsonomy QEST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mieke Massink, Gethin Norman (eds.) Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. Search on Bibsonomy QAPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 PRISM 4.0: Verification of Probabilistic Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ernst Moritz Hahn, Gethin Norman, David Parker 0001, Björn Wachter, Lijun Zhang 0001 Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. Search on Bibsonomy QEST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF probabilistic hybrid systems, probabilistic reachability, long-run average, abstraction refinement, stochastic games, controller synthesis
1Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Automated Verification Techniques for Probabilistic Systems. Search on Bibsonomy SFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Hongyang Qu 0001 Quantitative Multi-objective Verification for Probabilistic Systems. Search on Bibsonomy TACAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jorge Júlvez, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 A Systematic Approach to Evaluate Sustained Stochastic Oscillations. Search on Bibsonomy BICoB The full citation details ... 2011 DBLP  BibTeX  RDF
1Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 A game-based abstraction-refinement framework for Markov decision processes. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Quantitative Games on Probabilistic Timed Automata Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Alessandra Di Pierro, Gethin Norman (eds.) Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. Search on Bibsonomy QAPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Hongyang Qu 0001 Assume-Guarantee Verification for Probabilistic Systems. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 A Framework for Verification of Software with Time and Probabilities. Search on Bibsonomy FORMATS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vojtech Forejt, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Expected Reachability-Time Games. Search on Bibsonomy FORMATS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 PRISM: probabilistic model checking for performance and reliability analysis. Search on Bibsonomy SIGMETRICS Performance Evaluation Review The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Maria Grazia Vigliotti Probabilistic Mobile Ambients. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 Model Checking Probabilistic and Stochastic Extensions of the pi-Calculus. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marta Kwiatkowska, Gethin Norman, David Parker 0001 Quantitative Verification Techniques for Biological Processes. Search on Bibsonomy Algorithmic Bioprocesses The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Konstantinos Chatzikokolakis 0001, Gethin Norman, David Parker 0001 Bisimulation for Demonic Schedulers. Search on Bibsonomy FoSSaCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marcin Jurdzinski, Marta Z. Kwiatkowska, Gethin Norman, Ashutosh Trivedi 0001 Concavely-Priced Probabilistic Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Abstraction Refinement for Probabilistic Software. Search on Bibsonomy VMCAI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Stochastic Games for Verification of Probabilistic Timed Automata. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Game-Based Probabilistic Predicate Abstraction in PRISM. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Analysis of a gossip protocol in PRISM. Search on Bibsonomy SIGMETRICS Performance Evaluation Review The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Using probabilistic model checking in systems biology. Search on Bibsonomy SIGMETRICS Performance Evaluation Review The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Oksana Tymchyshyn Probabilistic model checking of complex biological pathways. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Pritam Roy, David Parker 0001, Gethin Norman, Luca de Alfaro Symbolic Magnifying Lens Abstraction in Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang Symbolic model checking for probabilistic timed automata. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gethin Norman, Catuscia Palamidessi, David Parker 0001, Peng Wu 0002 Model checking the probabilistic pi-calculus. Search on Bibsonomy QEST The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Stochastic Model Checking. Search on Bibsonomy SFM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Quantitative Analysis With the Probabilistic Model Checker PRISM. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance analysis of probabilistic timed automata using digital clocks. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed automata, Probabilistic model checking, Digital clocks
1Marta Z. Kwiatkowska, Gethin Norman, António Pacheco Model checking expected time and expected reward formulae with random time bounds. Search on Bibsonomy Computers & Mathematics with Applications The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 A formal analysis of bluetooth device discovery. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Formal verification, Bluetooth, Probabilistic model checking
1Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Numerical vs. statistical probabilistic model checking. Search on Bibsonomy STTT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Uniformisation, Temporal logic, Markov chains, Hypothesis testing, Transient analysis
1Gethin Norman, Vitaly Shmatikov Analysis of probabilistic contract signing. Search on Bibsonomy Journal of Computer Security The full citation details ... 2006 DBLP  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Symmetry Reduction for Probabilistic Model Checking. Search on Bibsonomy CAV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Game-based Abstraction for Markov Decision Processes. Search on Bibsonomy QEST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Oksana Tymchyshyn, John Heath, Eamonn Gaffney Simulation and verification for computational modelling of signalling pathways. Search on Bibsonomy Winter Simulation Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 PRISM: A Tool for Automatic Verification of Probabilistic Systems. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Oksana Tymchyshyn Probabilistic Model Checking of Complex Biological Pathways. Search on Bibsonomy CMSB The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker 0001 On Reduction Criteria for Probabilistic Reward Models. Search on Bibsonomy FSTTCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic model checking in practice: case studies with PRISM. Search on Bibsonomy SIGMETRICS Performance Evaluation Review The full citation details ... 2005 DBLP  DOI  BibTeX  RDF PRISM
1Gethin Norman, David Parker 0001, Marta Z. Kwiatkowska, Sandeep K. Shukla Evaluating the reliability of NAND multiplexing with PRISM. Search on Bibsonomy IEEE Trans. on CAD of Integrated Circuits and Systems The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Gethin Norman, David Parker 0001, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta 0001 Using probabilistic model checking for dynamic power management. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Model checking, Embedded systems, Formal methods, Power management, Probabilistic model checking
1Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman Stochastic Transition Systems for Continuous State Spaces and Non-determinism. Search on Bibsonomy FoSSaCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic symbolic model checking with PRISM: a hybrid approach. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Binary decision diagrams, Symbolic model checking, Probabilistic model checking
1Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Forwards reachability, Timed automata, Probabilistic model checking, IEEE standard, FireWire
1Jan J. M. M. Rutten, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Prakash Panangaden Mathematical techniques for analyzing concurrent and probabilistic systems. Search on Bibsonomy 2004   RDF
1Gethin Norman Analysing Randomized Distributed Algorithms. Search on Bibsonomy Validation of Stochastic Systems The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 PRISM 2.0: A Tool for Probabilistic Model Checking. Search on Bibsonomy QEST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 A Formal Analysis of Bluetooth Device Discovery. Search on Bibsonomy ISoLA (Preliminary proceedings) The full citation details ... 2004 DBLP  BibTeX  RDF
1Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Gethin Norman, David Parker 0001, Marta Z. Kwiatkowska, Sandeep K. Shukla Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. Search on Bibsonomy VLSI Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang Symbolic Model Checking for Probabilistic Timed Automata. Search on Bibsonomy FORMATS/FTRTFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Markus Siegle On the use of MTBDDs for performability analysis and verification of stochastic systems. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Timed automata, Probabilistic model checking, IEEE standard, FireWire
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Jeremy Sproston Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. Search on Bibsonomy FORMATS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker 0001 A Symbolic Out-of-Core Solution Method for Markov Models. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston Automatic verification of real-time systems with discrete probability distributions. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, António Pacheco Model Checking CSL until Formulae with Random Time Bounds. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gethin Norman, David Parker 0001, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh K. Gupta 0001 Formal analysis and validation of continuous-time Markov chain based system level power management strategies. Search on Bibsonomy HLDVT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Gethin Norman, Vitaly Shmatikov Analysis of Probabilistic Contract Signing. Search on Bibsonomy FASec The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. Search on Bibsonomy TACAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman Verifying Randomized Byzantine Agreement. Search on Bibsonomy FORTE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms
1Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 PRISM: Probabilistic Symbolic Model Checker. Search on Bibsonomy Computer Performance Evaluation / TOOLS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001 Faster and Symbolic CTMC Model Checking. Search on Bibsonomy PAPM-PROBMIV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston Symbolic Computation of Maximal Probabilistic Reachability. Search on Bibsonomy CONCUR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001, Roberto Segala Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christel Baier, Marta Z. Kwiatkowska, Gethin Norman Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston Automatic Verification of Real-Time Systems with Discrete Probability Distributions. Search on Bibsonomy ARTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 103 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license