Tag Archive | paper
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.
Bachelor Thesis J. Redies
Joachim Redies’ Bachelor Thesis summary is nominated for Best Paper Award at the workshop GI Junge Informatik.
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.