Marco Weber
Paper accepted
Our paper “Symbolic Counterexample Generation for Discrete-time Markov Chains” was accepted at FACS’12.
Paper accepted
Our paper “The COMICS Tool – Computing Minimal Counterexamples for DTMCs“ was accepted at ATVA’12.
Paper accepted
Our paper “SMT-RAT: An SMT-Compliant Non-Linear Real Arithmetic Toolbox“ was accepted at SAT’12.
ROCKS Autumn School
Registration is open for the ROCKS Autumn School on Rigorous Dependability Analysis for Stochastic Systems. Registration deadline: July 15, 2012.
Bachelor Thesis J. Redies
Joachim Redies’ Bachelor Thesis summary is nominated for Best Paper Award at the workshop GI Junge Informatik.
AIT and MINT Camp 2012
40 high-school students participated at the Aachener Informatiktage and the RWTH MINT Camp 2012.
Paper accepted
Our paper “Some Like It Very Hot: Formal Modeling and Analysis of Extreme Heat Exposure to the Human Body in HI-Maude“ was accepted at WRLA’12.
COMICS 1.0
We released the tool COMICS 1.0, which addresses the computation of small critical subsystems as counterexamples for probabilistic systems. The tool was developed within the CEBug project.