I was interviewed by the philosophy research institute in Hannover on digitalization, the effect of social media on democracy and the role of philosophy in this context. The interview appears in the fiph Journal:
Our article “ScenarioTools — A Tool Suite for the Scenario-based Modeling and Analysis of Reactive Systems” was now published in the Original Software Publication track of the Science of Computer Programming journal:
Our paper “A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example” was accepted at the 1st Model-Driven Engineering Tools Challenge Workshop (MDETools’17), co-located with MODELS 2017.
Our tool demo paper From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology was accepted at ESEC/FSE 2017. See you in Paderborn!
See demo video and artifact at http://scenariotools.org/esecfse-2017-tool-demo/.
Our paper Toward Learning Realizable Scenario-based, Formal Requirements Specifications was accepted at the AIRE 2017 workshop, co-located with RE’17.
Our paper titled Symbolic Execution for Realizability-Checking of Scenario-based Specifications was accepted at MODELS 2017. See you in Austin!
Our paper Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications was accepted at the MORSE workshop 2017.
Our paper titled Distributing Scenario-Based Models: A Replicate-and-Project Approach was accepted at MODELSWARD 2017.
Our tool demo paper titled Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools was accepted at MODELS 2016.
Read the paper here.
See our short demo video and artifact download here.
It was a bit tricky to get to the lecture today, due to the visit of President Obama in Hannover.
Also students from out University had a chance to attend Obama’s speech. Of course they were excused for not attending to my lecture.
And the following speech in full length: