Joel Greenyer

According to our database1, Joel Greenyer authored at least 51 papers between 2007 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal.
CoRR, 2021

Iterative and Scenario-Based Requirements Specification in a System of Systems Context.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems.
Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021

Scenario-Based Modeling and Programming of Distributed Systems.
Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2021), 2021

2020
Scenarios in the loop: integrated requirements analysis and automotive system validation.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

2019
Explainable Software for Cyber-Physical Systems (ES4CPS): Report from the GI Dagstuhl Seminar 19023, January 06-11 2019, Schloss Dagstuhl.
CoRR, 2019

Test-Driven Scenario Specification of Automotive Software Components.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Towards Self-Explainable Cyber-Physical Systems.
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

2018
Symbolic Execution for Realizability-Checking of Scenario-based Specifications.
Proceedings of the Software Engineering und Software Management 2018, 2018

Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models.
Proceedings of the Model-Driven Engineering and Software Development, 2018

Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Modeling and programming a leader-follower challenge problem with scenario-based tools.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications.
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018

A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems - Early Virtual Prototyping of Car-to-X System Specifications.
Proceedings of the Joint Proceedings of the Workshops at Modellierung 2018 co-located with Modellierung 2018, 2018

Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.
Sci. Comput. Program., 2017

Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications.
Proceedings of the Software Technologies: Applications and Foundations, 2017

From scenario modeling to scenario programming for reactive systems with dynamic topology.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Toward Learning Realizable Scenario-Based, Formal Requirements Specifications.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Efficient Distributed Execution of Multi-component Scenario-Based Models.
Proceedings of the Model-Driven Engineering and Software Development, 2017

Distributing Scenario-based Models: A Replicate-and-Project Approach.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

2016
Scenario-based Specification of Car-to-X systems.
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016

Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications.
Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), 2016

2015
All-at-once-synthesis of controllers from scenario-based product line specifications.
Proceedings of the 19th International Conference on Software Product Line, 2015

Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Synthesizing tests for combinatorial coverage of modal scenario specifications.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots.
Proceedings of the 10th International Workshop on Models@run.time co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014
A Comparison of Incremental Triple Graph Grammar Tools.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems.
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

2013
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications.
Requir. Eng., 2013

A Survey of Triple Graph Grammar Tools.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

Formalizing correctness criteria of dynamic updates derived from specification changes.
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2013

2012
Efficient consistency checking of scenario-based product-line specifications.
Proceedings of the 2012 20th IEEE International Requirements Engineering Conference (RE), 2012

Synthesizing dynamically updating controllers from changes in scenario-based specifications.
Proceedings of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2012

Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis.
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, Kgs. Lyngby, Denmark, July 03, 2012

2011
Preventing Information Loss in Incremental Model Synchronization by Reusing Elements.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2011

2010
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars.
Softw. Syst. Model., 2010

2009
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite.
Proceedings of the 31st International Conference on Software Engineering, 2009

2007
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations.
J. Object Technol., 2007

Reconciling TGGs with QVT.
Proceedings of the Model Driven Engineering Languages and Systems, 2007

Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007


  Loading...