Changes between Version 3 and Version 4 of Related


Ignore:
Timestamp:
Jun 19, 2008, 12:28:47 PM (11 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Related

    v3 v4  
    1212==== 2007 ====
    1313 * 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] 
     14 * Davide D’Aprile: Timed and Stochastic Model Checking of Petri Nets. PhD Thesis, 2007 [http://www.di.unito.it/~phd/documents/tesi/XIX/DAprileTesiJan2007.pdf PDF] 
    1515 * Marcel Oldenkamp: Probabilistic model checking, A comparison of tools. Master Thesis, 2007 [http://wwwhome.cs.utwente.nl/~oldenkampha/ LINK]
    1616 
    1717==== 2006 ====
    18  * Tim Kemna: Bisimulation Minimisation and Probabilistic Model Checking. Master Thesis, 2006 [attachment: PDF]
     18 * Tim Kemna: Bisimulation Minimisation and Probabilistic Model Checking. Master Thesis, 2006 [http://wwwhome.cs.utwente.nl/~dnjansen/kemna.pdf PDF]
    1919 * 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]
     20 * Mark Kattenbelt: Towards an Explicit-State Model Checking Framework. Master Thesis, 2006 [http://www.cs.bham.ac.uk/~mxk/dl/Kattenbelt2006.ps PS] 
     21 * Probabilistic Model Checking: Von den Grundlagen zum Tool - ein Vergleich zwischen PRISM und MRMC. Bachelor Thesis, 2006 [http://www.eit.uni-kl.de/frey/de/lehre/SADAMA/offen/PrismversusMRMC.htm LINK]
    2222 * Heuristics-Guided Dependability Analysis. Bachelor Thesis, 2006 [http://www.inf.uni-konstanz.de/soft/research/projects/students.shtml#two LINK]
    2323 
    2424==== 2005 ====
    25  * Project Ametist: Analysis and Tools: Tools and Tool Interaction. [attachment: PDF]
     25 * Project Ametist: Analysis and Tools: Tools and Tool Interaction. [http://ametist.cs.utwente.nl/INTERNAL/PUBLICATIONS/DELIVERABLES/del2.5.b.pdf PDF]
    2626
    2727=== Papers ===
     
    2929
    3030==== 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]
     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 [http://www4.in.tum.de/~leucker/Documents/Leucker/cav07.pdf.gz 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 [http://qav.comlab.ox.ac.uk/papers/qest07_grip.pdf PDF]
    3333 * 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]   
     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 [http://www.cs.bham.ac.uk/~dxp/papers/sfm07.pdf 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 [http://www.sti.uniurb.it/bernardo/documents/tcs.pdf PDF]   
    3636
    3737==== 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]
     38 * D. Cerotti, D. D'Aprile, S. Donatelli and J. Sproston: Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools. ACSD '06 [http://www.di.unito.it/~sproston/Research/acsd06.ps.gz PS.GZ]
     39 * Davide Cerotti, Susanna Donatelli, Andras Horvath and Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. QEST '06 [http://www.di.unito.it/~sproston/Research/qest06.ps.gz PS.GZ]
     40 * Allan Clark and Stephen Gilmore: Evaluating quality of service for service level agreements. FMICS'06 [http://www.dcs.ed.ac.uk/pepa/ipccondor.pdf PDF]
     41 * Tamas Suto, Jeremy T. Bradley and William J. Knottenbelt: Performance Trees: A New Approach to Quantitative Performance Specification. MASCOTS '06 [http://aesop.doc.ic.ac.uk/pubs/performance-trees/performance-trees.pdf PDF]
     42 * Muffy Calder, Stephen Gilmore, Jane Hillston, and Vladislav Vyshemirsky: Formal methods for biochemical signalling pathways. In BCS, 2006. To appear. [http://www.dcs.ed.ac.uk/pepa/formalmethodsbiochemical.pdf PDF]
     43 * Husain Aljazzar, Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability. FORMATS'06 [http://www.inf.uni-konstanz.de/soft/research/publications/pdf/formats06.pdf PDF]
     44 * Mirco Tribastone and Stephen Gilmore: A New Generation PEPA Workbench. PASTA'06 [http://www.doc.ic.ac.uk/~jb/conferences/pasta2006/papers/next-generation-pepa-workbench.pdf PDF]
    4545
    4646=== Presentations: ===
    4747These are the presentations that reference MRMC:
    4848
    49  * Probabilistic Model Checking of Randomized Distributed Protocols using PRISM. [attachment: PDF]
     49 * Probabilistic Model Checking of Randomized Distributed Protocols using PRISM. [http://www.cs.bham.ac.uk/~dxp/talks/vpsm06-part2.pdf PDF]
    5050
    5151=== Encyclopedia: ===