Our Paper “On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications” was accepted at the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015).
Our Paper “Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems” was accepted at the 8th International System Analysis and Modeling Conference (SAM 2014).
Our paper “Towards Synthesizing Energy-Efficient Controllers for Modern Production Systems from Scenario-Based Specifications” was accepted at the 2nd International Conference on System-integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2014).
Two papers presented at the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014) are now published in the Post-Proceedings. Copies of the camera-ready versions are available.
The paper are
Our paper Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications was accepted at MODELS 2013.
Our Paper Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications was accepted at ESEC/FSE 2013.
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.