The SETTA paper about the polynomial-time alternating probabilistic bisimulation for interval MDPs [HashemiTHHE17] has been awarded with the SETTA’17 best paper award.

# Author Archives: andrea

# ePMC is publicly available

ePMC, the Extendible Probabilistic Model Checker, is now available publicly. It can be accessed online on GitHub, at this repository.

ePMC is the successor of IscasMC, from which it keeps all features about Linear Time Logic probabilistic model checking. ePMC is highly modular, which allows everyone to extend and improve the functionalities of the model checker.

# R. Wimmer gives a course on Symbolic Verification, K. Wimmer a talk on DQBF

Ralf Wimmer and Karina Wimmer, from Albert-Ludwigs-University Freiburg, Germany, visits us from Oct. 17 to Oct. 27, 2016. During the visit, Ralf gives a course on Symbolic Verification while Karima gives a talk on Dependency Quantified Boolean Formulas and Skolem functions applied to DQBF.

# A. Hartmanns visits us

Arnd Hartmanns, from University of Twente, is visiting us from Sept. 5 to Sept. 14, 2016.

# IscasMC summer school

We are hosting the IscasMC summer school on the Practical Aspects on Probabilistic Model Checking, where we survey the main aspects relative to probabilistic model checking, with a specific attention to the practical aspects, in particular relative to the implementation of IscasMC.

See the official page for more details.

# M. Stoelinga gives a course on Fault Trees

Mariëlle Stoelinga, from the University of Twente, the Netherlands, gives a course on Fault Trees Analysis at the Huairou Campus of the University of the Chinese Academy of Sciences from Jul. 10 to Jul. 15, 2016.

# Y.F. Chen visits us

Yu-Fang Chen, from Academia Sinica, Taiwan, is visiting us from Jul. 01 to Dec. 31, 2016.

# Fellowships extended

Both Andrea’s and Moritz’s CAS fellowships have been extended for the next year.

# Y. Feng visits us

Yuan Feng, from University of Technology Sydney, will visit us for a week at the beginning of December.

# T. van Dijk and S. Junges visit us

Tom van Dijk, from U.Twente, and Sebastian Junges, from RWTH Aachen, attend SETTA 2015 in Nanjing from Nov. 02 to Nov. 05, 2015; then they visit us until Nov. 15.