Changes between Version 9 and Version 10 of Specifications


Ignore:
Timestamp:
Jun 19, 2008, 12:07:09 PM (10 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Specifications

    v9 v10  
    1010
    1111 * MRMC manuals:
    12   * Version 1.2.2 [attachment:Documentation_1.2.2.txt TXT]
    13   * Version 1.2.1 [attachment:Documentation_1.2.1.txt TXT]
    14   * Version 1.2 [attachment:Documentation_1.2.txt TXT]
     12  * Version 1.2.2 [http://www.mrmc-tool.org/downloads_free/Documentation_1.2.2.txt TXT]
     13  * Version 1.2.1 [http://www.mrmc-tool.org/downloads_free/Documentation_1.2.1.txt TXT]
     14  * Version 1.2 [http://www.mrmc-tool.org/downloads_free/Documentation_1.2.txt TXT]
    1515 * Wikipedia and MRMC:
    1616  * The Wikipedia page. [http://en.wikipedia.org/wiki/Markov_Reward_Model_Checker_(MRMC) LINK]
     
    1919=== Presentations: ===
    2020
    21  * Markov Reward Model Checker, VOSS-II final meeting. [attachment:VOSS_2007_11_12.pdf PDF]
    22  * How Fast and Fat Is Your Probabilistic Model Checker? [attachment: PPS]
    23  * Bisimulation minimisation mostly speeds up probabilistic model checking. [attachment: PDF]
    24  * Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. [attachment: PDF]
    25  * A Markov Reward Model Checker. [attachment: PDF]
    26  * ETMCC v2.0 (MRMC), VOSS-II kick off meeting. [attachment: PDF]
     21 * Markov Reward Model Checker, VOSS-II final meeting. [http://www.mrmc-tool.org/downloads/Present/VOSS_2007_11_12.pdf PDF]
     22 * How Fast and Fat Is Your Probabilistic Model Checker? [http://www.mrmc-tool.org/downloads/Present/JansenKOSZ_HVC07.pps PPS]
     23 * Bisimulation minimisation mostly speeds up probabilistic model checking. [http://www.mrmc-tool.org/downloads/Present/KatoenKZJ_TACAS07.pdf PDF]
     24 * Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. [http://www.mrmc-tool.org/downloads/Present/KatoenZ_QEST06_pre.pdf PDF]
     25 * A Markov Reward Model Checker. [http://www.mrmc-tool.org/downloads/Present/KatoenKZ_QEST05_pre.pdf PDF]
     26 * ETMCC v2.0 (MRMC), VOSS-II kick off meeting. [http://www.mrmc-tool.org/downloads/Present/ETMCC_v2.0_VOSS_II_initial.pdf PDF]
    2727
    2828=== Posters: ===
    2929
    30  * Tag der Informatik'06 at RWTH-Aachen. [attachment: JPG], [attachment: PNG]
     30 * Tag der Informatik'06 at RWTH-Aachen. [http://www.mrmc-tool.org/downloads_free/mrmc_poster.jpg JPG], [http://www.mrmc-tool.org/downloads_free/mrmc_poster.png PNG]
    3131
    3232'''Note''': This page is constantly under construction, more documents will be coming here.