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.

Our paper The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions was accepted at the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013). The paper introduces our extended play-out algorithm, which is implemented in ScenarioTools and  also supports scenario-based environment assumption.

Our paper “Efficient Consistency Checking of Scenario-based Product Line Specifications” was awarded to be the best research paper of the 20th IEEE International Requirements Engineering Conference 2012.

Our paper Efficient Consistency Checking of Scenario-based Product-Line Specifications, that I’ve been working on with Maxime Cordy, Patrick Heymans and Amir Sharifloo has been accepted at RE 2012!

The paper proposes a technique for specifying product lines with Modal Sequence Diagrams that can then be checked for consistency using specific model-checking techniques. See more in a recent post on the MSD-to-SMV tool.