Changes between Version 2 and Version 3 of Related


Ignore:
Timestamp:
Jun 18, 2008, 10:34:49 AM (10 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Related

    v2 v3  
    88
    99=== Projects: ===
     10These are the projects that relate to MRMC:
    1011
    1112==== 2007 ====
     13 * Basic Research in Informatics for Creating the Knowledge Society (BRICKS). Project AFM7:MOQS: Modeling and Analysis of QoS for Component-Based Designs. [http://www.bsik-bricks.nl/projects/afm7.shtml LINK]
     14 * Davide D’Aprile: Timed and Stochastic Model Checking of Petri Nets. PhD Thesis, 2007 [attachment: PDF] 
     15 * Marcel Oldenkamp: Probabilistic model checking, A comparison of tools. Master Thesis, 2007 [http://wwwhome.cs.utwente.nl/~oldenkampha/ LINK]
     16 
     17==== 2006 ====
     18 * Tim Kemna: Bisimulation Minimisation and Probabilistic Model Checking. Master Thesis, 2006 [attachment: PDF]
     19 * Reachability analysis in continuous-time Markov decision processes. Master Thesis, 2006 [http://depend.cs.uni-sb.de/index.php?id=428 LINK]
     20 * Mark Kattenbelt: Towards an Explicit-State Model Checking Framework. Master Thesis, 2006 [attachment: PS] 
     21 * Probabilistic Model Checking: Von den Grundlagen zum Tool - ein Vergleich zwischen PRISM und MRMC. Bachelor Thesis, 2006 [attachment: LINK]
     22 * Heuristics-Guided Dependability Analysis. Bachelor Thesis, 2006 [http://www.inf.uni-konstanz.de/soft/research/projects/students.shtml#two LINK]
     23 
     24==== 2005 ====
     25 * Project Ametist: Analysis and Tools: Tools and Tool Interaction. [attachment: PDF]
     26
     27=== Papers ===
     28These are the papers that reference MRMC:
     29
     30==== 2007 ====
     31 * J.-P. Katoen, D. Klink, M. Leucker, and V. Wolf. Three-valued abstraction for continuous-time Markov chains. In proceedings of 19’th International Conference on Computer-Aided Verification (CAV’07), volume 4590 of Lecture Notes in Computer Science, pages 316-329. Springer, 2007 [attachment: PDF.GZ]
     32 * A. Donaldson, A. Miller and D. Parker. GRIP: Generic Representatives in PRISM. In Proc. 4th International Conference on Quantitative Evaluation of Systems (QEST'07). To appear. September 2007 [attachment: PDF]
     33 * R. De Nicola, J.-P. Katoen, D. Latella, M. Loreti, M. Massink: Model checking mobile stochastic logic. In Theoretical Computer Science, volume 382, issue 1, pages 42-70, Elsevier Science Publishers Ltd 2007
     34 * M. Kwiatkowska, G. Norman and D. Parker: Stochastic Model Checking. In Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation, volume 4486 of Lecture Notes in Computer Science (Tutorial Volume), pages 220-270, Springer. to appear, 2007 [attachment: PDF]
     35 * A. Aldini and M. Bernardo: Mixing Logics and Rewards for the Component-Oriented Specification of Performance Measures, to appear in Theoretical Computer Science [attachment: PDF]   
    1236
    1337==== 2006 ====
    14 
    15 ==== 2005 ====
    16 
    17 === Papers ===
    18 
    19 ==== 2007 ====
    20 
    21 ==== 2006 ====
     38 * D. Cerotti, D. D'Aprile, S. Donatelli and J. Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD '06 [attachment: PS.GZ]
     39 * Davide Cerotti, Susanna Donatelli, Andras Horvath and Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST '06 [attachment: PS.GZ]
     40 * Allan Clark and Stephen Gilmore: Evaluating quality of service for service level agreements. FMICS'06 [attachment: PDF]
     41 * Tamas Suto, Jeremy T. Bradley and William J. Knottenbelt: Performance Trees: A New Approach to Quantitative Performance Specification. MASCOTS '06 [attachment: PDF]
     42 * Muffy Calder, Stephen Gilmore, Jane Hillston, and Vladislav Vyshemirsky: Formal methods for biochemical signalling pathways. In BCS, 2006. To appear. [attachment: PDF]
     43 * Husain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS'06 [attachment: PDF]
     44 * Mirco Tribastone and Stephen Gilmore: A New Generation PEPA Workbench. PASTA'06 [attachment: PDF]
    2245
    2346=== Presentations: ===
     47These are the presentations that reference MRMC:
    2448
    25 === Encyclopedia: ===
     49 * Probabilistic Model Checking of Randomized Distributed Protocols using PRISM. [attachment: PDF]
     50
     51=== Encyclopedia: ===
     52These are the encyclopedia that reference MRMC:
     53
     54 * YAHODA. [http://anna.fi.muni.cz/yahoda/ LINK]