Our paper titled Symbolic Execution for Realizability-Checking of Scenario-based Specifications was accepted at MODELS 2017. See you in Austin!
Author Archives: jgreen
MORSE 2017 paper accepted
Our paper Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications was accepted at the MORSE workshop 2017.
MODELSWARD 2017 paper accepted
Our paper titled Distributing Scenario-Based Models: A Replicate-and-Project Approach was accepted at MODELSWARD 2017.
MODELS Tool Demo Paper accepted
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.
Obama visits Hannover, our students attending
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.
See:
http://www.uni-hannover.de/de/aktuell/online-aktuell/details/news/1461
And the following speech in full length:
Tutorial on Scenario-based Modeling and ScenarioTools accepted at MODELS 2016
Our tutorial titled Modeling Reactive Systems with the Scenario Modeling Language and ScenarioTools was accepted at the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016).
Paper accepted at SysInt 2016
Our paper “Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems” was accepted at the 3rd International Conference on System-Integrated Intelligence: New Challenges for Product and Production Engineering (SysInt 2016)
Paper accepted at CPSSC 2016
Our paper “Scenario-based Specification of Car-to-X Systems” was accepted at the 1st International Workshop on Cyber-Physical Systems in the Context of Smart Cities (CPSSC 2016), which is co-located with SE 2016.
SEAMS 2016 Call for Papers
The SEAMS 2016 Call for papers is out now (PDF version).
I will talk about ScenarioTools at EclipseCon Europe 2015 today
Today I will be presenting our current development on the ScenarioTools tool suite at EclipseCon Europe 2015.