Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Jicheng Ma
Claudia Calabrese
Hao Mao
Peter Malec
Julie Leseur
Tracy L Luks
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
JOEL GREENYER
Author Info
Open Visualization
Name
Affiliation
Papers
JOEL GREENYER
Software Engineering Group, Department of Computer Science, University of Paderborn, Paderborn, Germany
38
Collaborators
Citations
PageRank
104
224
20.36
Referers
Referees
References
481
607
425
Search Limit
100
607
Publications (38 rows)
Collaborators (100 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines
0
0.34
2021
Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal
0
0.34
2021
Iterative and Scenario-Based Requirements Specification in a System of Systems Context
0
0.34
2021
Test-Driven Scenario Specification of Automotive Software Components
0
0.34
2019
Towards Self-Explainable Cyber-Physical Systems
2
0.42
2019
Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation
0
0.34
2018
Symbolic Execution for Realizability-Checking of Scenario-Based Specifications
1
0.36
2018
Towards Automated Defect Analysis Using Execution Traces of Scenario-Based Models.
1
0.35
2018
From scenario modeling to scenario programming for reactive systems with dynamic topology
0
0.34
2017
Toward Learning Realizable Scenario-Based, Formal Requirements Specifications
0
0.34
2017
ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems.
2
0.42
2017
A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example.
0
0.34
2017
Efficient Distributed Execution of Multi-component Scenario-Based Models.
0
0.34
2017
Distributing Scenario-based Models: A Replicate-and-Project Approach.
2
0.38
2017
Scenario-based Specification of Car-to-X systems.
0
0.34
2016
Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools.
6
0.47
2016
All-at-once-synthesis of controllers from scenario-based product line specifications
0
0.34
2015
Scenarios@run.time - Distributed Execution of Specifications on IoT-connected Robots.
2
0.42
2015
Synthesizing tests for combinatorial coverage of modal scenario specifications
2
0.39
2015
On-the-Fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications.
4
0.43
2015
Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering
3
0.44
2015
ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.
6
0.53
2014
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems.
3
0.58
2014
A Comparison of Incremental Triple Graph Grammar Tools.
14
0.69
2014
Features meet scenarios: modeling and consistency-checking scenario-based product line specifications
6
0.42
2013
Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications.
15
0.71
2013
A Survey of Triple Graph Grammar Tools.
23
0.80
2013
Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications.
2
0.39
2013
Formalizing correctness criteria of dynamic updates derived from specification changes
11
0.53
2013
The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions.
1
0.37
2013
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis
2
0.37
2012
Applying advanced TGG concepts for a complex transformation of sequence diagram specifications to timed game automata
8
0.65
2011
Preventing information loss in incremental model synchronization by reusing elements
12
0.68
2011
Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars
35
1.50
2010
Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite
8
0.56
2009
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
22
1.20
2007
Reconciling TGGs with QVT
20
1.76
2007
Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations
11
0.80
2007
1
