SMT4ABS kickoff meeting

We started the cooperation in the SMT4ABS DAAD ppp project with a kickoff meeting February 16-17, 2015 in Bergen, Norway. In interesting discussions we laid the basis for an extension of the ABS language with contracts for execution time deadlines integrated into the type system.

Erika Abraham is member of the FSTTCS’15 PC

Erika Abraham serves as a member of the program committee of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’15).

Erika Abraham at DIFTS’15

Erika Abraham will serve on the Program Committee of the International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS’15).

Ringvorlesung Informatik

Die Ringvorlesung “Was ist Informatik?” geht bald in die nächste Runde. Alle Interessierten sind herzlich eingeladen ab dem 02.06.2015 vier Wochen lang jeden Dienstag jeweils zwei Kurzvorträge zu besuchen. Erika Ábrahám wird die erste Vorlesung “Informatik != Computer” halten. Weitere Informationen unter “Was ist Informatik?”

Erika Abraham at FMi’15

Erika Abraham is a program committee member of FMi’15.

Erika Abraham at SCSC’15

Erika Abraham is a PC member of SCSC’15.

Aachener Informatiktage 2015

From 5th to 8th March 2015 we organize the “Aachener Informatiktage 2015″ in cooperation with the MINT EC association. This Workshop brings former informatic skills to young, interested students. Find out more at AIT 2015.

Paper accepted at NFM 2015

Our paper “A Benchmark Suite for Hybrid Systems Reachability Analysis” by Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Abraham, Goran Frehse, and Stefan Kowalewski was accepted at NFM’15. In the last two decades, a wide range of hybrid systems reachability analysis techniques were proposed in the literature and implemented in powerful tools. However, the […]

Paper accepted at NFM 2015

Our paper “A Greedy Approach for the Efficient Repair of Stochastic Models” by Shashank Pathak, Erika Ábrahám, Nils Jansen, Armando Tacchella, and Joost-Pieter Katoen was accepted at NFM’15. The paper addresses the problem of model repair for parametric discrete-time Markov chains which consists of changing a model with minimal costs such that a desired property […]

Seed fund project starts

Seed fund project “Modellierung und Optimierung von Offshore-Windparks” is about to start. The project target is to optimize the layout of offshore windparks with minimization of costs. In cooperation with the group of Prof. Dr. Frank the non-linear ‘wake’ of the wind engines has to be paramaterized to simulate the best layout. “Modellierung und Optimierung […]