Changes between Version 1 and Version 2 of news_2007


Ignore:
Timestamp:
Jun 18, 2008, 11:13:33 AM (11 years ago)
Author:
Christina Jansen
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • news_2007

    v1 v2  
     1[[TracNav]]
     2
     3== MRMC News ==
     4
     5=== MRMC-News Mailing list ===
     6To subscribe, e-mail: '''subscribe mrmc-news'''
     7in the message body to:
     8
    19=== [wiki:News Recent news of 2008] ===
    210
    311=== News archive of 2007 ===
    412
     13==== 29.11.2007 ====
     14On 12 Nov 2007, at the last VOSS2 project meeting, Joost-Pieter Katoen gave a talk about the latest development of MRMC.
     15The presentation slides can be found here [attachment: PDF].
     16
     17==== 23.11.2007 ====
     18The 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.
     19The presentation slides can be found here [PPT].
     20
     21==== 03.09.2007 ====
     22This web-site now features an MRMC downloads counter, see the banner at the top of the page.
     23
     24==== 27.08.2007 ====
     25MRMC web-site now conforms to the [http://www.w3.org/TR/xhtml1/#a_dtd_XHTML-1.0-Transitional Transitional XHTML 1.0] standard.
    526 
     27==== 24.08.2007 ====
     28A news-subscription option was added to the download form of MRMC.
     29 
     30==== 21.08.2007 ====
     31Our 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]
     32 
     33==== 21.08.2007 ====
     34The New MRMC Version (1.2.2) is now available!
     35This release contains but is not limited by the following features:
     36        * The support of Mac OS X and Windows + Cygwin platform.
     37        * Gauss-Seidel algorithm for solving systems of linear equations was added for unbounded-until operator (CSL, PCTL).
     38        * A non-recursive method for searching Bottom Strongly Connected Components was added.
     39        * New MRMC is up to two times faster (CSL, PCTL).
     40        * The test-suite update.
     41
     42For more details check out the READ.ME file in the root of the distribution's directory tree.
     43 
     44==== 20.08.2007 ====
     45The new release of MRMC (version 1.2.2) is scheduled to be released within the upcoming two weeks. It will feature the support of Mac OS X and Windows + Cygwin platforms. Among other improvements, new algorithms for graph analysis and solving systems of linear equations were added, the tool performance has been significantly improved, and several important bugs were fixed.
     46 
     47==== 27.07.2007 ====
     48[wiki: Varun Aggarwala] has left back to India, we wish him a pleasant flight!
     49 
     50==== 24.05.2007 ====
     51[wiki: Varun Aggarwala] has started working on implementing the simulation relations on Markov Chains into MRMC. He is an internship student from CSE Dept. IIT Guwahati, India.
     52 
     53==== 11.05.2007 ====
     54[wiki: Marcel Oldenkamp] has brightly defended his Master thesis [http://wwwhome.cs.utwente.nl/~oldenkampha/ "Probabilistic model checking, A comparison of tools."] at the University of Twente, The Netherlands. Marcel has gotten 9, congratulations!
     55 
     56==== 09.05.2007 ====
     57The upcoming micro-release of MRMC will feature the support of the Mac OS X platform.
     58 
     59==== 09.05.2007 ====
     60The scheme of the MRMC architecture, on the [wiki:WikiStart Index title page] of the web-site, has been updated. It can be also reached via this [attachment:WikiStart:mrmc_arch.jpg LINK].
     61 
     62==== 20.04.2007 ====
     63On 10.05.2006 Marcel Oldenkamp defends his Master thesis "Probabilistic model checking, A comparison of tools." at the University of Twente, The Netherlands.
     64 
     65==== 17.04.2007 ====
     66Starting from 01.05.2006 Christina Jansen begins to work as a scientific programmer (HiWi) in the MRMC project.
     67
     68==== 04.04.2007 ====
     69The preliminary results of Marcel Oldenkamp's master-thesis research, titled: "Probabilistic model checking, A comparison of tools." can be found here [http://wwwhome.cs.utwente.nl/~oldenkampha/ LINK].
     70 
     71==== 04.04.2007 ====
     72The master thesis of Tim Kemna, titled: "Bisimulation Minimization and Probabilistic Model Checking." can be found here [attachment: PDF].
     73 
     74==== 28.03.2007 ====
     75The 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.
     76    The presentation slides can be found here [attachment: PPT].
     77 
     78==== 09.01.2007 ====
     79The New MRMC Version (1.2.1) is now available!
     80This release contains but is not limited by the following features:
     81
     82        * Minor Algorithmic improvements.
     83        * Interface-usability improvements.
     84        * Bug-fixes, memory-leaks elimination.
     85        * Test suite update, with new memory-usage statistics.
     86        * Source-code refinement.
     87
     88For more details check out the READ.ME file in the root of the distribution's directory tree.
     89
     90