Erika Ábrahám is elected to co-chair TACAS’14.

Erika Ábrahám is a member of the HSCC’14 program committee.

In cooperation with LuFG I9 we host the pupils university (Schüleruniversität Informatik), which will take place from July 29th until August 2nd.

Our paper “From Statistical Model Checking to Statistical Model Inference: Characterizing the Effect of Process Variations in Analog Circuits” is accepted at ICCAD’13.

Our paper “On Gröbner Bases in the Context of Satisfiability-Modulo-Theories Solving over the Real Numbers“ was accepted at CAI 2013. We also published a technical report, which is available here.

Our paper “High-level counterexamples for Probabilistic Automata” was accepted at QEST 2013. We also published a technical report including all proofs, which is available here.

We are happy to welcome Stefan Schupp as a PhD student in our group!

The Hybrid Systems: Computation and Control (HSCC’13) conference in Philadelphia has been very successful: Hongfei Fu received the best student paper award for his paper “Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata”.Besides, the paper by Ilya Tkachev, Alexandru Mereacre, Alessandro Abate and Joost-Pieter Katoen was ranked second in the overall best paper […]

Our paper “Lyapunov Function Synthesis using Handelman Representations” is accepted in the invited session of NOLCOS’13.

Our paper “A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition” was accepted at CADE 2013.