Profile cover photo
Profile photo
Joel Greenyer
About
Posts

Post has attachment
We uploaded a preprint of our paper “A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems — Early Virtual Prototyping of Car-to-X System Specifications”, which was accepted at the MEKES 2018 Workshop. We also created a video…
Add a comment...

Post has attachment
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: see interview and fiph Journal edition of…
Add a comment...

Post has attachment
Our MDETools'17 paper was accepted on A Scenario-based MDE Process for Developing Reactive Systems.

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.
Add a comment...

Post has attachment
ESEC/FSE 2017 tool demo paper accepted

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/.
Add a comment...

Post has attachment
MORSE'17 paper accepted on controller synthesis and PCL code generation from GR(1) SML specs, see you in Marburg!

Our paper Controller Synthesis and PCL Code Generation from Scenario-based GR(1) Robot Specifications was accepted at the MORSE workshop 2017.
Add a comment...

Post has attachment
Our MODELSWARD 2017 paper was accepted

Our paper titled Distributing Scenario-Based Models: A Replicate-and-Project Approach was accepted at MODELSWARD 2017.
Add a comment...

Post has attachment
Obama on visit in Hannover,

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:…
Add a comment...

Post has attachment
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).
Add a comment...

Post has attachment
Paper accepted at SysInt 2016: Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems

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…
Add a comment...

Post has attachment
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.    
Add a comment...
Wait while more posts are being loaded