Tag Archive | paper
Our paper “The COMICS Tool – Computing Minimal Counterexamples for DTMCs“ was accepted at ATVA’12.
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.
Our paper “Timed CTL Model Checking in Real-Time Maude” was accepted at WRLA’12.
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.