The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marta Z. Kwiatkowska: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Xu Wang, Marta Z. Kwiatkowska
    On process-algebraic verification of asynchronous circuits. [Citation Graph (0, 0)][DBLP]
    ACSD, 2006, pp:37-46 [Conf]
  2. Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
    A Biologically Inspired QoS Routing Algorithm for Mobile Ad Hoc Networks. [Citation Graph (0, 0)][DBLP]
    AINA, 2005, pp:426-431 [Conf]
  3. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Automatic Verification of Real-Time Systems with Discrete Probability Distributions. [Citation Graph (0, 0)][DBLP]
    ARTS, 1999, pp:75-95 [Conf]
  4. Fuzhi Wang, Marta Z. Kwiatkowska
    An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    ATVA, 2005, pp:385-399 [Conf]
  5. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Symmetry Reduction for Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    CAV, 2006, pp:234-248 [Conf]
  6. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala
    Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM. [Citation Graph (0, 0)][DBLP]
    CAV, 2001, pp:194-206 [Conf]
  7. John Heath, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn
    Probabilistic Model Checking of Complex Biological Pathways. [Citation Graph (0, 0)][DBLP]
    CMSB, 2006, pp:32-47 [Conf]
  8. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Symbolic Computation of Maximal Probabilistic Reachability. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2001, pp:169-183 [Conf]
  9. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Verifying Quantitative Properties of Continuous Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:123-137 [Conf]
  10. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    PRISM: Probabilistic Symbolic Model Checker. [Citation Graph (0, 0)][DBLP]
    Computer Performance Evaluation / TOOLS, 2002, pp:200-204 [Conf]
  11. Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
    On Duality for the Modal µ-Calculus. [Citation Graph (0, 0)][DBLP]
    CSL, 1993, pp:18-32 [Conf]
  12. Yi Zhang, David Parker, Marta Z. Kwiatkowska
    A Wavefront Parallelisation of CTMC Solution Using MTBDDs. [Citation Graph (0, 0)][DBLP]
    DSN, 2005, pp:732-741 [Conf]
  13. Sibusisiwe Chiyangwa, Marta Z. Kwiatkowska
    A Timing Analysis of AODV. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:306-321 [Conf]
  14. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
    Performance Analysis of Probabilistic Timed Automata Using Digital Clocks. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2003, pp:105-120 [Conf]
  15. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
    Symbolic Model Checking for Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:293-308 [Conf]
  16. Marta Z. Kwiatkowska, Gethin Norman
    Verifying Randomized Byzantine Agreement. [Citation Graph (0, 0)][DBLP]
    FORTE, 2002, pp:194-209 [Conf]
  17. Stefano Cattani, Roberto Segala, Marta Z. Kwiatkowska, Gethin Norman
    Stochastic Transition Systems for Continuous State Spaces and Non-determinism. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:125-139 [Conf]
  18. Marcus Größer, Gethin Norman, Christel Baier, Frank Ciesinski, Marta Z. Kwiatkowska, David Parker
    On Reduction Criteria for Probabilistic Reward Models. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2006, pp:309-320 [Conf]
  19. Marta Z. Kwiatkowska
    Defining Process Fairness for Non-Interleaving Concurrency. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1990, pp:286-300 [Conf]
  20. Christel Baier, Edmund M. Clarke, Vassili Hartonas-Garmhausen, Marta Z. Kwiatkowska, Mark Ryan
    Symbolic Model Checking for Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:430-440 [Conf]
  21. Marta Z. Kwiatkowska, Doron Peled, Wojciech Penczek
    A Hierarchy of Partial Order Temporal Properties. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:398-414 [Conf]
  22. Chrysafis Hartonas, Marta Z. Kwiatkowska
    Synchronisation Trees and Fairness: A Case Study. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1994, pp:181-198 [Conf]
  23. Marta Z. Kwiatkowska
    Concurrency, Fairness and Logical Complexity. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:195-208 [Conf]
  24. Marta Z. Kwiatkowska, Iain Phillips
    Concurrency and Conflict in CSP. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:209-225 [Conf]
  25. Michael Huth, Marta Z. Kwiatkowska
    Quantitative Analysis and Model Checking. [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:111-122 [Conf]
  26. Marta Z. Kwiatkowska
    Model checking for probability and time: from theory to practice . [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:351-0 [Conf]
  27. Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rashid Mehmood
    Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    MASCOTS, 2004, pp:123-130 [Conf]
  28. Marta Z. Kwiatkowska, Gethin Norman
    Probabilistic Metric Semantics for a Simple Language with Recursion. [Citation Graph (0, 0)][DBLP]
    MFCS, 1996, pp:419-430 [Conf]
  29. Bard Bloom, Marta Z. Kwiatkowska
    Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP]
    MFPS, 1991, pp:350-375 [Conf]
  30. Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Faster and Symbolic CTMC Model Checking. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:23-38 [Conf]
  31. Marta Z. Kwiatkowska, Rashid Mehmood
    Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:135-151 [Conf]
  32. Marta Z. Kwiatkowska, Gethin Norman, António Pacheco
    Model Checking CSL until Formulae with Random Time Bounds. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:152-168 [Conf]
  33. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:169-187 [Conf]
  34. Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
    A Biologically Inspired Congestion Control Routing Algorithm for MANETs. [Citation Graph (0, 0)][DBLP]
    PerCom Workshops, 2005, pp:226-231 [Conf]
  35. Christel Baier, Marta Z. Kwiatkowska
    Automatic Verification of Liveness Properties of Randomized Systems. [Citation Graph (0, 0)][DBLP]
    PODC, 1997, pp:295- [Conf]
  36. Michael Huth, Marta Z. Kwiatkowska
    Comparing CTL and PCTL on labeled Markov chains. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:244-262 [Conf]
  37. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    PRISM 2.0: A Tool for Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    QEST, 2004, pp:322-323 [Conf]
  38. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Game-based Abstraction for Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    QEST, 2006, pp:157-166 [Conf]
  39. Marta Z. Kwiatkowska
    Infinite Behaviour and Fairness in Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1992, pp:348-383 [Conf]
  40. Luca de Alfaro, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Roberto Segala
    Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:395-410 [Conf]
  41. Andrew Hinton, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    PRISM: A Tool for Automatic Verification of Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:441-444 [Conf]
  42. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:52-66 [Conf]
  43. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:46-60 [Conf]
  44. Marta Z. Kwiatkowska
    On the Domain of Traces and Sequential Composition. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1991, pp:42-56 [Conf]
  45. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
    Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking. [Citation Graph (0, 0)][DBLP]
    VLSI Design, 2004, pp:907-0 [Conf]
  46. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Oksana Tymchyshyn, John Heath, Eamonn Gaffney
    Simulation and verification for computational modelling of signalling pathways. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2006, pp:1666-1674 [Conf]
  47. Herbert M. Sauro, David Harel, Marta Z. Kwiatkowska, Clifford A. Shaffer, Adelinde M. Uhrmacher, Michael Hucka, Pedro Mendes, Lena Strömbäck, John J. Tyson
    Challenges for modeling and simulation methods in systems biology. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2006, pp:1720-1730 [Conf]
  48. Zhenyu Liu, Marta Z. Kwiatkowska, Costas C. Constantinou
    A swarm intelligence routing algorithm for MANETs. [Citation Graph (0, 0)][DBLP]
    Communications, Internet, and Information Technology, 2004, pp:484-489 [Conf]
  49. Christel Baier, Marta Z. Kwiatkowska
    Model Checking for a Probabilistic Branching Time Logic with Fairness. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1998, v:11, n:3, pp:125-155 [Journal]
  50. Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  51. Christel Baier, Marta Z. Kwiatkowska
    Domain equations for probabilistic processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  52. Christel Baier, Marta Z. Kwiatkowska, Gethin Norman
    Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  53. Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
    Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:2, pp:- [Journal]
  54. Abbas Edalat, Achim Jung, Klaus Keimel, Marta Z. Kwiatkowska
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal]
  55. Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker
    A Symbolic Out-of-Core Solution Method for Markov Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
  56. Marta Z. Kwiatkowska, Gethin Norman
    A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:13, n:, pp:- [Journal]
  57. Marta Z. Kwiatkowska, Gethin Norman
    A Testing Equivalence for Reactive Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal]
  58. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Quantitative Analysis With the Probabilistic Model Checker PRISM. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:5-31 [Journal]
  59. Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang
    Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:231-246 [Journal]
  60. Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang
    Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:146, n:2, pp:189-206 [Journal]
  61. Stefano Cattani, Marta Z. Kwiatkowska
    A refinement-based process algebra for timed automata. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:2, pp:138-159 [Journal]
  62. Marta Z. Kwiatkowska
    Event Fairness and Non-interleaving Concurrency. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1989, v:1, n:3, pp:213-228 [Journal]
  63. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston
    Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2003, v:14, n:3, pp:295-318 [Journal]
  64. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla, Rajesh Gupta
    Using probabilistic model checking for dynamic power management. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2005, v:17, n:2, pp:160-176 [Journal]
  65. Marta Z. Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston
    Performance analysis of probabilistic timed automata using digital clocks. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2006, v:29, n:1, pp:33-78 [Journal]
  66. Christel Baier, Marta Z. Kwiatkowska
    On Topological Hierarchies of Temporal Properties. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2000, v:41, n:3, pp:259-294 [Journal]
  67. Christel Baier, Marta Z. Kwiatkowska
    On the Verification of Qualitative Properties of Probabilistic Processes under Fairness Constraints. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1998, v:66, n:2, pp:71-79 [Journal]
  68. Marta Z. Kwiatkowska
    A Metric for Traces. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1990, v:35, n:3, pp:129-135 [Journal]
  69. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
    On the use of MTBDDs for performability analysis and verification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:23-67 [Journal]
  70. Christel Baier, Marta Z. Kwiatkowska
    Domain equations for probabilistic processes. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2000, v:10, n:6, pp:665-717 [Journal]
  71. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Probabilistic model checking in practice: case studies with PRISM. [Citation Graph (0, 0)][DBLP]
    SIGMETRICS Performance Evaluation Review, 2005, v:32, n:4, pp:16-21 [Journal]
  72. Conrado Daws, Marta Z. Kwiatkowska, Gethin Norman
    Automatic verification of the IEEE 1394 root contention protocol with KRONOS and PRISM. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:221-236 [Journal]
  73. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Probabilistic symbolic model checking with PRISM: a hybrid approach. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:128-142 [Journal]
  74. Håkan L. S. Younes, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Numerical vs. statistical probabilistic model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:3, pp:216-228 [Journal]
  75. Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman, David Parker
    A formal analysis of bluetooth device discovery. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:6, pp:621-632 [Journal]
  76. Gethin Norman, David Parker, Marta Z. Kwiatkowska, Sandeep K. Shukla
    Evaluating the reliability of NAND multiplexing with PRISM. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2005, v:24, n:10, pp:1629-1637 [Journal]
  77. Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
    Duality and the Completeness of the Modal mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:3-27 [Journal]
  78. Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston
    Automatic verification of real-time systems with discrete probability distributions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:282, n:1, pp:101-150 [Journal]
  79. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Stochastic Model Checking. [Citation Graph (0, 0)][DBLP]
    SFM, 2007, pp:220-270 [Conf]
  80. Marta Z. Kwiatkowska
    Quantitative verification: models techniques and tools. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:449-458 [Conf]
  81. Kousha Etessami, Marta Z. Kwiatkowska, Moshe Y. Vardi, Mihalis Yannakakis
    Multi-objective Model Checking of Markov Decision Processes. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:50-65 [Conf]
  82. Xu Wang, Marta Z. Kwiatkowska
    Compositional State Space Reduction Using Untangled Actions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:27-46 [Journal]
  83. Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sproston, Fuzhi Wang
    Symbolic model checking for probabilistic timed automata. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:7, pp:1027-1077 [Journal]

  84. WSRF-Based Modeling of Clinical Trial Information for Collaborative Cancer Research. [Citation Graph (, )][DBLP]


  85. Concavely-Priced Probabilistic Timed Automata. [Citation Graph (, )][DBLP]


  86. A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds. [Citation Graph (, )][DBLP]


  87. Parallel Model Checking for Temporal Epistemic Logic. [Citation Graph (, )][DBLP]


  88. CADS*: Computer-Aided Development of Self-* Systems. [Citation Graph (, )][DBLP]


  89. Stochastic Games for Verification of Probabilistic Timed Automata. [Citation Graph (, )][DBLP]


  90. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. [Citation Graph (, )][DBLP]


  91. Using quantitative analysis to implement autonomic IT systems. [Citation Graph (, )][DBLP]


  92. Software verification for TinyOS. [Citation Graph (, )][DBLP]


  93. A Formal Analysis of Bluetooth Device Discovery. [Citation Graph (, )][DBLP]


  94. Establishing a Framework for Dynamic Risk Management in 'Intelligent' Aero-Engine Control. [Citation Graph (, )][DBLP]


  95. Quantitative verification: models, techniques and tools. [Citation Graph (, )][DBLP]


  96. Reo2MC: a tool chain for performance analysis of coordination models. [Citation Graph (, )][DBLP]


  97. On Quantitative Software Verification. [Citation Graph (, )][DBLP]


  98. Assume-Guarantee Verification for Probabilistic Systems. [Citation Graph (, )][DBLP]


  99. Abstraction Refinement for Probabilistic Software. [Citation Graph (, )][DBLP]


  100. Software Engineering Techniques for the Development of Systems of Systems. [Citation Graph (, )][DBLP]


  101. Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis. [Citation Graph (, )][DBLP]


  102. Bug-Free Sensors: The Automatic Verification of Context-Aware TinyOS Applications. [Citation Graph (, )][DBLP]


  103. Multi-Objective Model Checking of Markov Decision Processes [Citation Graph (, )][DBLP]


  104. Quantitative Games on Probabilistic Timed Automata [Citation Graph (, )][DBLP]


  105. Game-Based Probabilistic Predicate Abstraction in PRISM. [Citation Graph (, )][DBLP]


Search in 0.033secs, Finished in 0.036secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002