Changes between Version 6 and Version 7 of news_2007


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

--

Legend:

Unmodified
Added
Removed
Modified
  • news_2007

    v6 v7  
    11[[TracNav]]
    22
    3 = MRMC News =
     3== MRMC News ==
    44
    5 == [wiki:News Recent news of 2008] ==
     5=== [wiki:News Recent news of 2008] ===
    66
    7 == News archive of 2007 ==
     7=== News archive of 2007 ===
    88
    99==== 29.11.2007 ====
    1010On 12 Nov 2007, at the last VOSS2 project meeting, Joost-Pieter Katoen gave a talk about the latest development of MRMC.
    11 The presentation slides can be found here [attachment: PDF].
     11The presentation slides can be found here [http://www.mrmc-tool.org/downloads/Present/VOSS_2007_11_12.pdf PDF].
    1212
    1313==== 23.11.2007 ====
    14 The paper "How Fast and Fat Is Your Probabilistic Model Checker?" [PDF] was presented at [http://www.haifa.ibm.com/Workshops/verification2007/ HVC'07] conference, see [BibTex] for the reference.
    15 The presentation slides can be found here [PPT].
     14The paper "How Fast and Fat Is Your Probabilistic Model Checker?" [http://www.mrmc-tool.org/downloads/Paper/JansenKOSZ_HVC07.pdf PDF] was presented at [http://www.haifa.ibm.com/Workshops/verification2007/ HVC'07] conference, see [http://www.mrmc-tool.org/downloads/BibTex/JansenKOSZ_HVC07.bib BibTex] for the reference.
     15The presentation slides can be found here [http://www.mrmc-tool.org/downloads/Present/JansenKOSZ_HVC07.pps PPT].
    1616
    1717==== 03.09.2007 ====
     
    2525 
    2626==== 21.08.2007 ====
    27 Our paper, named "How Fast and Fat Is Your Probabilistic Model Checker?" was accepted at [http://www.haifa.il.ibm.com/Workshops/verification2007/ HVC'07] conference, see: [attachment: PDF] [attachment: BibTex]
     27Our paper, named "How Fast and Fat Is Your Probabilistic Model Checker?" was accepted at [http://www.haifa.il.ibm.com/Workshops/verification2007/ HVC'07] conference, see: [http://www.mrmc-tool.org/downloads/Paper/JansenKOSZ_HVC07.pdf PDF] [http://www.mrmc-tool.org/downloads/BibTex/JansenKOSZ_HVC07.bib BibTex]
    2828 
    2929==== 21.08.2007 ====
     
    6666 
    6767==== 04.04.2007 ====
    68 The master thesis of Tim Kemna, titled: "Bisimulation Minimization and Probabilistic Model Checking." can be found here [attachment: PDF].
     68The master thesis of Tim Kemna, titled: "Bisimulation Minimization and Probabilistic Model Checking." can be found here [http://wwwhome.cs.utwente.nl/~dnjansen/kemna.pdf PDF].
    6969 
    7070==== 28.03.2007 ====
    71 The paper "Bisimulation minimization mostly speeds up probabilistic model checking" [attachment: PDF] was presented at [http://www.di.uminho.pt/etaps07/ TACAS'07] conference, see [attachment: BibTex] for the reference.
    72     The presentation slides can be found here [attachment: PPT].
     71The paper "Bisimulation minimization mostly speeds up probabilistic model checking" [http://www.mrmc-tool.org/downloads/Paper/KatoenKZJ_TACAS07.pdf PDF] was presented at [http://www.di.uminho.pt/etaps07/ TACAS'07] conference, see [http://www.mrmc-tool.org/downloads/BibTex/KatoenKZJ_TACAS07.bib BibTex] for the reference.
     72    The presentation slides can be found here [http://www.mrmc-tool.org/downloads/Present/KatoenKZJ_TACAS07.pdf PPT].
    7373 
    7474==== 09.01.2007 ====
     
    8484For more details check out the READ.ME file in the root of the distribution's directory tree.
    8585
    86 == [wiki:news_2006 News archive of 2006] ==
    87 == [wiki:news_2005 News archive of 2005] ==
     86=== [wiki:news_2006 News archive of 2006] ===
     87=== [wiki:news_2005 News archive of 2005] ===