Tag Archive | 2012

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.