Our Paper Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications was accepted at ESEC/FSE 2013.
Author Archives: jgreen
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.
Paper accepted at the GT-VMT 2013 workshop
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.
Best Research Paper of RE’12
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.
Paper accepted at the 20th International Requirements Engineering Conference (RE’12)
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.
Paper accepted at the 4th International workshop on Behaviour Modelling – Foundations and Applications
The paper Consistency Checking Scenario-Based Specifications of Dynamic Systems by Combining Simulation and Synthesis, written by Jens Frieben and me, was accepted at the 4th International workshop on Behaviour Modelling – Foundations and Applications (BM-FA 2012). It will take place on July 3rd, as part of the ECMFA 2012 in Copenhagen.
The paper describes an approach for improving the play-out of LSC/MSD specifications for dynamic systems by combining the play-out of the specification with execution strategies that could be successfully synthesized from parts of the specification. This symbiosis of play-out and synthesis helps play-out avoid more avoidable violations, similar to smart play-out, but it is also applicable in a setting where symbolic lifelines bind in different ways to objects in a dynamic object system.
A preliminary version of the paper can be found here.
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.