At the beginning of April 2013, I moved to Hannover, Germany, where I am now assistant professor (Juniorprofessor) at the Leibniz Universität Hannover. I’m only now finding time to update my website, since I was busy with moving and teaching my new course Design and Analysis of Distributed, Interacting Systems.
Out Paper Features meet Scenarios: Modeling and Consistency Checking Scenario-Based Product-Line Specifications was accepted for publication in the Requirements Engineering Journal.
Our paper Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes was accepted at the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013).
Our paper A Survery of Triple Graph Grammar Tools was accepted at the Workshop on Bidirectional Transformations (BX 2013). The paper compares three Triple Graph Grammar tools, among others our TGG-Interpreter.