Two papers were accepted at the 7th International Workshop on Modelling in Software Engineering (MiSE 2015):
(1) “Towards Executing Dynamically Updating Finite-State Controllers on a Robot System”
(2) “Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design”

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 8^th 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 2^nd 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

• “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study“
• “A Comparison of Incremental Triple Graph Grammar Tools“.

The camera-ready copy of our paper Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications, accepted at ESEC/FSE 2013, is available for preview (PDF).

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.