The camera-ready copy of our paper Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications, accepted at MODELS 2013, is available for preview (PDF).
Category Archives: Uncategorized
New position in Hannover
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.
Article accepted for publication in the Requirements Engineering Journal
Out Paper Features meet Scenarios: Modeling and Consistency Checking Scenario-Based Product-Line Specifications was accepted for publication in the Requirements Engineering Journal.
Paper accepted at SEAMS 2013
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).
Paper accepted at the BX 2013 workshop
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.
Easy installation package of the MSD-to-SMV for Product Lines Tool for MAC users available
There is now an easy installation package of the MSD-to-SMV for Product Lines Tool for MAC users available here. The archive file contains an eclipse and patched NuSMV version readily set-up as explained in the tool’s installation section.