Journal Articles
2024
- C. Wiecher, C. Mandel, M. Günther, J. Fischbach, J. Greenyer, M. Greinert, C. Wolff, R. Dumitrescu, D. Mendez, and A. Albers, “Model-based analysis and specification of functional requirements and tests for complex automotive systems,” Systems Engineering, 2024. doi:https://doi.org/10.1002/sys.21748
[BibTeX] [Abstract] [Download PDF]
Abstract The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and evolving systems with complex interactions when following traditional development processes. To address this research gap, we propose a technique that starts with the early identification of validation concerns from a stakeholder perspective, which we use to systematically design tests that drive a scenario-based modeling and analysis of system requirements. To ensure complete and consistent requirements and test specifications in a form that is required in automotive development projects, we develop a Model-Based Systems Engineering (MBSE) methodology. This methodology supports system architects and test designers in the collaborative application of our technique and in maintaining a central system model, in order to automatically derive the required specifications. We evaluate our methodology by applying it at KOSTAL (Tier1 supplier) and within student projects as part of the masters program Embedded Systems Engineering. Our study corroborates that our methodology is applicable and improves existing requirements and test specification processes by supporting the integrated and stakeholder-focused modeling of product and validation systems, where the early definition of stakeholder and validation concerns fosters a problem-oriented, iterative and test-driven requirements modeling.
@article{Wiecher2024, author = {Wiecher, Carsten and Mandel, Constantin and G\"unther, Matthias and Fischbach, Jannik and Greenyer, Joel and Greinert, Matthias and Wolff, Carsten and Dumitrescu, Roman and Mendez, Daniel and Albers, Albert}, title = {Model-based analysis and specification of functional requirements and tests for complex automotive systems}, journal = {Systems Engineering}, volume = {}, number = {}, pages = {}, year = {2024}, keywords = {model-based systems engineering, requirements specification, scenario-based requirements engineering, test specification, validation, verification}, doi = {https://doi.org/10.1002/sys.21748}, url = {https://incose.onlinelibrary.wiley.com/doi/abs/10.1002/sys.21748}, eprint = {https://incose.onlinelibrary.wiley.com/doi/pdf/10.1002/sys.21748}, abstract = {Abstract The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and evolving systems with complex interactions when following traditional development processes. To address this research gap, we propose a technique that starts with the early identification of validation concerns from a stakeholder perspective, which we use to systematically design tests that drive a scenario-based modeling and analysis of system requirements. To ensure complete and consistent requirements and test specifications in a form that is required in automotive development projects, we develop a Model-Based Systems Engineering (MBSE) methodology. This methodology supports system architects and test designers in the collaborative application of our technique and in maintaining a central system model, in order to automatically derive the required specifications. We evaluate our methodology by applying it at KOSTAL (Tier1 supplier) and within student projects as part of the masters program Embedded Systems Engineering. Our study corroborates that our methodology is applicable and improves existing requirements and test specification processes by supporting the integrated and stakeholder-focused modeling of product and validation systems, where the early definition of stakeholder and validation concerns fosters a problem-oriented, iterative and test-driven requirements modeling.} }
2017
- J. Greenyer, D. Gritzner, T. Gutjahr, F. König, N. Glade, A. Marron, and G. Katz, “ScenarioTools – A tool suite for the scenario-based modeling and analysis of reactive systems,” Science of Computer Programming, vol. 149, iss. Supplement C, pp. 15-27, 2017. doi:https://doi.org/10.1016/j.scico.2017.07.004
[BibTeX] [Download PDF]@article{Greenyer2017a, title = "ScenarioTools -- A tool suite for the scenario-based modeling and analysis of reactive systems", journal = "Science of Computer Programming", volume = "149", number = "Supplement C", pages = "15 - 27", year = "2017", note = "Special Issue on MODELS'16", issn = "0167-6423", doi = "https://doi.org/10.1016/j.scico.2017.07.004", url = "http://jgreen.de/wp-content/documents/2017/ScenarioTools-2017-SCP-OSP-article.pdf", author = "Joel Greenyer and Daniel Gritzner and Timo Gutjahr and Florian K{\"o}nig and Nils Glade and Assaf Marron and Guy Katz", keywords = "Reactive systems, Dynamic system structure, Scenarios, Realizability, Controller synthesis" }
2013
- J. Greenyer, A. Molzam Sharifloo, M. Cordy, and P. Heymans, “Features meet scenarios: modeling and consistency-checking scenario-based product line specifications,” Requirements Engineering, vol. 18, iss. 2, pp. 175-198, 2013. doi:10.1007/s00766-013-0169-4
[BibTeX] [Download PDF]@ARTICLE{Greenyer2013, author = {Greenyer, Joel and Molzam Sharifloo, Amir and Cordy, Maxime and Heymans, Patrick}, title = {Features meet scenarios: modeling and consistency-checking scenario-based product line specifications}, journal = {Requirements Engineering}, year = {2013}, volume = {18}, pages = {175-198}, number = {2}, doi = {10.1007/s00766-013-0169-4}, issn = {0947-3602}, keywords = {Scenario-based specification; Product lines; Feature compositions; Consistency}, language = {English}, publisher = {Springer-Verlag}, url = {http://jgreen.de/wp-content/documents/2013/Greenyer-Sharifloo-Cordy-Heymans-Features-meet-Scenarios-REJ13.pdf} }
2010
- J. Greenyer and E. Kindler, “Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars,” Software and Systems Modeling (SoSyM), vol. 9, iss. 1, p. 21–46, 2010. doi:10.1007/s10270-009-0121-8
[BibTeX] [Download PDF]@ARTICLE{Greenyer2010, author = {Joel Greenyer and Ekkart Kindler}, title = {Comparing relational model transformation technologies: implementing {Query/View/Transformation} with {Triple Graph Grammars}}, journal = {Software and Systems Modeling (SoSyM)}, year = {2010}, volume = {9}, pages = {21--46}, number = {1}, month = {January}, note = {Published online July 15, 2009}, doi = {10.1007/s10270-009-0121-8}, publisher = {Springer-Verlag}, url = {http://jgreen.de/wp-content/documents/2010/reconcilingTGGsWithQVT-SoSyM-Special-Issue.pdf} }
Conferences
2024
- F. Beringhoff, J. Greenyer, C. Roesener, and M. Tichy, “Realizing Scenario-Based Verification Tests of Automated Vehicles with an AI-Controlled Surrounding Vehicle in a Practice-Relevant Context,” in 2024 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) (to appear), 2024.
[BibTeX]@INPROCEEDINGS{Beringhoff2024-Realizing-Scenario-Based--Tests-of-Automated-Vehicles, author={Beringhoff, Felix and Greenyer, Joel and Roesener, Christian and Tichy, Matthias}, booktitle={2024 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC) (to appear)}, title={Realizing Scenario-Based Verification Tests of Automated Vehicles with an AI-Controlled Surrounding Vehicle in a Practice-Relevant Context}, year={2024}, volume={}, number={}, pages={}, keywords={}, doi={} }
- E. Wete, J. Greenyer, D. Kudenke, and W. Nejdl, “Multi-Robot Motion and Task Planning in Automotive Production Using Controller-based Safe Reinforcement Learning,” in Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), May 6 – 10, 2024 (to appear), Richland, SC, 2024.
[BibTeX] [Abstract] [Download PDF]
Using synthesis- and AI-planning-based approaches, recent works investigated methods to support engineers with the automation of design, planning, and execution of multi-robot cells. However, real-time constraints and stochastic processes were not well covered due, e.g., to the high abstraction level of the problem modeling, and these methods do not scale well. In this paper, using probabilistic model checking, we construct a controller and integrate it with reinforcement learning approaches to synthesize the most efficient and correct multi-robot task schedules. Statistical Model Checking (SMC) is applied for system requirement verification. Our method is aware of uncertainties and considers robot movement times, interruption times, and stochastic interruptions that can be learned during multi-robot cell operations. We developed a model-at-runtime that integrates the execution of the production cell and optimizes its performance using a controller-based AI system. For this purpose and to derive the best policy, we implemented and compared AI-based methods, namely, Monte Carlo Tree Search, a heuristic AI-planning technique, and Q-learning, a model-free reinforcement learning method. Our results show that our methodology can choose time-efficient task sequences that consequently improve the cycle time and efficiently adapt to stochastic events, e.g., robot interruptions. Moreover, our approach scales well compared to previous investigations using SMC, which did not reveal any violation of the requirements.
@inproceedings{WETE2024, author = {Wete, Eric and Greenyer, Joel and Kudenke, Daniel and Nejdl, Wolfgang}, title = {Multi-Robot Motion and Task Planning in Automotive Production Using Controller-based Safe Reinforcement Learning}, year = {2024}, isbn = {}, publisher = {International Foundation for Autonomous Agents and Multiagent Systems}, address = {Richland, SC}, abstract = {Using synthesis- and AI-planning-based approaches, recent works investigated methods to support engineers with the automation of design, planning, and execution of multi-robot cells. However, real-time constraints and stochastic processes were not well covered due, e.g., to the high abstraction level of the problem modeling, and these methods do not scale well. In this paper, using probabilistic model checking, we construct a controller and integrate it with reinforcement learning approaches to synthesize the most efficient and correct multi-robot task schedules. Statistical Model Checking (SMC) is applied for system requirement verification. Our method is aware of uncertainties and considers robot movement times, interruption times, and stochastic interruptions that can be learned during multi-robot cell operations. We developed a model-at-runtime that integrates the execution of the production cell and optimizes its performance using a controller-based AI system. For this purpose and to derive the best policy, we implemented and compared AI-based methods, namely, Monte Carlo Tree Search, a heuristic AI-planning technique, and Q-learning, a model-free reinforcement learning method. Our results show that our methodology can choose time-efficient task sequences that consequently improve the cycle time and efficiently adapt to stochastic events, e.g., robot interruptions. Moreover, our approach scales well compared to previous investigations using SMC, which did not reveal any violation of the requirements.}, booktitle = {Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024), May 6 - 10, 2024 (to appear)}, pages = {}, numpages = {}, keywords = {Multi-robot Motion Planning; Multi-robot Task Planning; Model Checking; Safe Reinforcement Learning; Q-Learning}, location = {Auckland, New Zealand}, url = {http://jgreen.de/wp-content/documents/2024/AAMAS_24_Multi-Robot-Motion-and-Task-Planning-in-Automotive-Production-Using-Controller-based-Safe-Reinforcement-Learning.pdf}, series = {AAMAS '24} }
2023
- E. Wete, J. Greenyer, A. Wortmann, D. Kudenko, and W. Nejdl, “MDE and Learning for flexible Planning and optimized Execution of Multi-Robot Choreographies,” in Proc. 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023, Sinaia, Romania, September 12-15, 2023, 2023, pp. 1-4. doi:10.1109/ETFA54631.2023.10275559
[BibTeX] [Download PDF]@inproceedings{WETE2023, author = {Eric Wete and Joel Greenyer and Andreas Wortmann and Daniel Kudenko and Wolfgang Nejdl}, title = {{MDE} and Learning for flexible Planning and optimized Execution of Multi-Robot Choreographies}, year = {2023}, isbn = {}, publisher = {IEEE}, abstract = {}, booktitle = {Proc. 28th {IEEE} International Conference on Emerging Technologies and Factory Automation, {ETFA} 2023, Sinaia, Romania, September 12-15, 2023}, pages = {1-4}, numpages = {}, keywords = {}, doi = {10.1109/ETFA54631.2023.10275559}, url = {http://jgreen.de/wp-content/documents/2023/ETFA_23-MDE-and-Learning-for-flexible-Planning-and-optimized-Execution-of-Multi-Robot-Choreographies.pdf}, series = {} }
2022
- F. Beringhoff, J. Greenyer, C. Roesener, and M. Tichy, “Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research,” in 2022 IEEE Intelligent Vehicles Symposium (IV), 2022, pp. 360-366. doi:10.1109/IV51971.2022.9827097
[BibTeX] [Download PDF]@INPROCEEDINGS{Beringhoff2022, author={Beringhoff, Felix and Greenyer, Joel and Roesener, Christian and Tichy, Matthias}, booktitle={2022 IEEE Intelligent Vehicles Symposium (IV)}, title={Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research}, year={2022}, volume={}, number={}, pages={360-366}, url = {http://jgreen.de/wp-content/documents/2022/IV2022_Paper_ThirtyOneChallenges_Final.pdf}, doi={10.1109/IV51971.2022.9827097} }
2021
- C. Wiecher, J. Fischbach, J. Greenyer, A. Vogelsang, C. Wolff, and R. Dumitrescu, “Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal,” in Proceedings of the 24th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2021. doi:10.1109/MODELS50736.2021.00020
[BibTeX] [Download PDF]@inproceedings{Wiecher2021, author = {Wiecher, Carsten and Fischbach, Jannik and Greenyer, Joel and Vogelsang, Andreas and Wolff, Carsten and Dumitrescu, Roman}, title = {Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal}, year = {2021}, isbn = {978-1-6654-3495-9}, publisher = {IEEE Computer Society}, address = {}, url = {http://jgreen.de/wp-content/documents/2021/Integrated-and-Iterative-Requirements-Analysis-and-Test-Specification-A-Case-Study-At-Kostal-MODELS2021}, doi = {10.1109/MODELS50736.2021.00020}, abstract = {}, booktitle = {Proceedings of the 24th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems}, pages = {}, numpages = {}, keywords = {}, location = {Virtual Event, Japan}, series = {MODELS '21} }
- E. Wete, J. Greenyer, A. Wortmann, O. Flegel, and M. Klein, “Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines,” in Proceedings of the 24th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2021. doi:10.1109/MODELS50736.2021.00039
[BibTeX] [Abstract] [Download PDF]
In automotive production cells, complex processes involving multiple robots must be optimized for cycle time. We investigated using a symbolic GR(1) controller synthesis algorithm for automating multi-robot task planning. Given a specification of the order of tasks and states to avoid, often multiple valid strategies can be computed; in many states there are multiple choices to satisfy the specification, such as choosing different robots to perform a certain task. To determine the best choices under the consideration of movement times and probabilities that robots may be interrupted for repairs or corrections, we investigated combining the execution of the synthesized controller with Monte Carlo Tree Search (MCTS), a heuristic AI-planning technique. We present our approach by the example of a multi-robot spot welding cell and report on experiments showing that the approach (1) can reduce cycle times by choosing time-efficient movement sequences and (2) can choose executions that react efficiently to interruptions by choosing to delay tasks that, if an interruption of one robot should occur later, can be reallocated to another robot. Most interestingly, we found, however, that (3) in some cases there is a conflict between time-efficient movement sequences and ones that may react efficiently to probable future interruptions?and when interruption probabilities are low, increasing the time allocated for MCTS, i.e., increasing the number of iterations may not perform better.
@inproceedings{Wete2021, author = {Wete, Eric and Greenyer, Joel and Wortmann, Andreas and Flegel, Oliver and Klein, Martin}, title = {Monte Carlo Tree Search and GR(1) Synthesis for Robot Tasks Planning in Automotive Production Lines}, year = {2021}, isbn = {978-1-6654-3495-9}, publisher = {IEEE Computer Society}, address = {}, url = {http://jgreen.de/wp-content/documents/2021/MCTS-GR1-Synthesis-for-Robot-Tasks-Planning-in-Automotive-Production-Lines-MODELS2021.pdf}, doi = {10.1109/MODELS50736.2021.00039}, abstract = {In automotive production cells, complex processes involving multiple robots must be optimized for cycle time. We investigated using a symbolic GR(1) controller synthesis algorithm for automating multi-robot task planning. Given a specification of the order of tasks and states to avoid, often multiple valid strategies can be computed; in many states there are multiple choices to satisfy the specification, such as choosing different robots to perform a certain task. To determine the best choices under the consideration of movement times and probabilities that robots may be interrupted for repairs or corrections, we investigated combining the execution of the synthesized controller with Monte Carlo Tree Search (MCTS), a heuristic AI-planning technique. We present our approach by the example of a multi-robot spot welding cell and report on experiments showing that the approach (1) can reduce cycle times by choosing time-efficient movement sequences and (2) can choose executions that react efficiently to interruptions by choosing to delay tasks that, if an interruption of one robot should occur later, can be reallocated to another robot. Most interestingly, we found, however, that (3) in some cases there is a conflict between time-efficient movement sequences and ones that may react efficiently to probable future interruptions?and when interruption probabilities are low, increasing the time allocated for MCTS, i.e., increasing the number of iterations may not perform better.}, booktitle = {Proceedings of the 24th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems}, pages = {}, numpages = {}, keywords = {}, location = {Virtual Event, Japan}, series = {MODELS '21} }
- C. Wiecher, J. Greenyer, C. Wolff, H. Anacker, and R. Dumitrescu, “Iterative and Scenario-Based Requirements Specification in a System of Systems Context,” in Requirements Engineering: Foundation for Software Quality (REFSQ 2021), F. Dalpiaz and P. Spoletini, Eds., 2021, p. 165–181. doi:10.1007/978-3-030-73128-1_12
[BibTeX] [Abstract] [Download PDF]
[Context {&} Motivation] Due to the managerial, operational and evolutionary independence of constituent systems (CSs) in a System of Systems (SoS) context, top-down and linear requirements engineering (RE) approaches are insufficient. RE techniques for SoS must support iterating, changing, synchronizing, and communicating requirements across different abstraction and hierarchy levels as well as scopes of responsibility. [Question/Problem] We address the challenge of SoS requirements specification, where requirements can describe the SoS behavior, but also the behavior of CSs that are developed independently. [Principal Ideas] To support the requirements specification in an SoS environment, we propose a scenario-based and iterative specification technique. This allows requirements engineers to continuously model and jointly execute and test the system behavior for the SoS and the CS in order to detect contradictions in the requirement specifications at an early stage. [Contribution] In this paper, we describe an extension for the scenario-modeling language for Kotlin (SMLK) to continuously and formally model requirements on SoS and CS level. To support the iterative requirements specification and modeling we combine SMLK with agile development techniques. We demonstrate the applicability of our approach with the help of an example from the field of e-mobility.
@InProceedings{Wiecher2021, author={Wiecher, Carsten and Greenyer, Joel and Wolff, Carsten and Anacker, Harald and Dumitrescu, Roman}, editor={Dalpiaz, Fabiano and Spoletini, Paola}, title={Iterative and Scenario-Based Requirements Specification in a System of Systems Context}, booktitle={Requirements Engineering: Foundation for Software Quality (REFSQ 2021)}, year={2021}, doi={10.1007/978-3-030-73128-1_12}, publisher={Springer International Publishing}, address={}, pages={165--181}, abstract={[Context {\&} Motivation] Due to the managerial, operational and evolutionary independence of constituent systems (CSs) in a System of Systems (SoS) context, top-down and linear requirements engineering (RE) approaches are insufficient. RE techniques for SoS must support iterating, changing, synchronizing, and communicating requirements across different abstraction and hierarchy levels as well as scopes of responsibility. [Question/Problem] We address the challenge of SoS requirements specification, where requirements can describe the SoS behavior, but also the behavior of CSs that are developed independently. [Principal Ideas] To support the requirements specification in an SoS environment, we propose a scenario-based and iterative specification technique. This allows requirements engineers to continuously model and jointly execute and test the system behavior for the SoS and the CS in order to detect contradictions in the requirement specifications at an early stage. [Contribution] In this paper, we describe an extension for the scenario-modeling language for Kotlin (SMLK) to continuously and formally model requirements on SoS and CS level. To support the iterative requirements specification and modeling we combine SMLK with agile development techniques. We demonstrate the applicability of our approach with the help of an example from the field of e-mobility.}, isbn={978-3-030-73128-1}, URL = {http://jgreen.de/wp-content/documents/2021/Iterative-and-Scenario-Based-Requirements-Specification-in-a-System-of-Systems-Context-REFSQ2021.pdf} }
2018
- D. Gritzner, E. Knöchelmann, J. Greenyer, K. Eggers, S. Tappe, and T. Ortmaier, “Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation,” in 2018 IEEE 14th International Conference on Automation Science and Engineering (CASE), 2018, pp. 408-413. doi:10.1109/COASE.2018.8560544
[BibTeX]@inproceedings{Gritzner2018b, author = {Daniel Gritzner AND Elias Kn{\"o}chelmann AND Joel Greenyer AND Kai Eggers AND Svenja Tappe AND Tobias Ortmaier}, booktitle={2018 IEEE 14th International Conference on Automation Science and Engineering (CASE)}, title={Specifying and Synthesizing Energy-Efficient Production System Controllers that Exploit Braking Energy Recuperation}, volume={}, number={}, pages={408-413}, doi={10.1109/COASE.2018.8560544}, ISSN={2161-8089}, month={Aug}, year = {2018} }
- Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS 2018, Copenhagen, Denmark, October 14-19, 2018{ACM}, 2018.
[BibTeX] [Download PDF]@proceedings{models2018c, editor = {{\"{O}}nder Babur and Daniel Str{\"{u}}ber and Silvia Abrah{\~{a}}o and Loli Burgue{\~{n}}o and Martin Gogolla and Joel Greenyer and Sahar Kokaly and Dimitris S. Kolovos and Tanja Mayerhofer and Mansooreh Zahedi}, title = {Proceedings of the 21st {ACM/IEEE} International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, {MODELS} 2018, Copenhagen, Denmark, October 14-19, 2018}, publisher = {{ACM}}, year = {2018}, url = {http://dl.acm.org/citation.cfm?id=3270112} }
- D. Gritzner and J. Greenyer, “Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications,” in Modellierung 2018, Bonn: Gesellschaft für Informatik e.V., 2018, p. 167–182.
[BibTeX] [Download PDF]@incollection{Gritzner2018-Synthesis-Cost-optimized-Controllers-scenario-based-GR1, author = {Gritzner, Daniel and Greenyer, Joel}, title = {Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications}, year = 2018, booktitle = {Modellierung 2018}, publisher = {Gesellschaft für Informatik e.V.}, address = {Bonn}, pissn = {1617-5468}, isbn = {978-3-88579-674-9}, pages = {167--182}, URL = {https://dl.gi.de/server/api/core/bitstreams/7b84db6a-6176-453d-ba1f-b189858b15b8/content} }
- D. Gritzner and J. Greenyer, “Generating Correct, Compact, and Efficient PLC Code from Scenario-based GR(1) Specifications,” Procedia Manufacturing, vol. 24 (4th International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2018), pp. 153-158, 2018. doi:10.1016/j.promfg.2018.06.046
[BibTeX] [Download PDF]@Article{Gritzner2018, author={Daniel Gritzner and Joel Greenyer}, title={Generating Correct, Compact, and Efficient PLC Code from Scenario-based GR(1) Specifications}, Journal = {Procedia Manufacturing}, Year = {2018}, Note = {}, Number = {}, Pages = {153 - 158}, Volume = {24 (4th International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2018)}, Abstract = {}, Comment = {}, DOI = {10.1016/j.promfg.2018.06.046}, ISSN = {2351-9789}, Keywords = {code generation, assume-guarantee specification, scenarios, controller synthesis, programmable logic controller}, URL = {http://www.sciencedirect.com/science/article/pii/S2351978918305651} }
- J. Greenyer, D. Gritzner, D. Harel, and A. Marron, “Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models,” in Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira – Portugal, January 22-24, 2018., S. Hammoudi, L. F. Pires, and B. Selic, Eds., 2018, p. 560–566. doi:10.5220/0006671105600566
[BibTeX] [Download PDF]@InProceedings{Greenyer2018b, author={Joel Greenyer and Daniel Gritzner and David Harel and Assaf Marron}, title={Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models}, booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, {MODELSWARD} 2018, Funchal, Madeira - Portugal, January 22-24, 2018.}, editor = {Slimane Hammoudi and Lu{\'{\i}}s Ferreira Pires and Bran Selic}, year={2018}, pages={560--566}, publisher={SciTePress}, organization={}, doi={10.5220/0006671105600566}, isbn={978-989-758-283-7}, URL = {http://jgreen.de/wp-content/documents/2018/Towards-Systematic-and-Automatic-Handling-of-Execution-Traces-Associated-with-Scenario-based-Models-MODELSWARD2018.pdf} }
- J. Greenyer and T. Gutjahr, “Symbolic Execution for Realizability-Checking of Scenario-Based Specifications,” in Software Engineering und Software Management 2018 (SE 2018), M. Tichy, E. Bodden, M. Kuhrmann, S. Wagner, and J. Steghöfer, Eds., Bonn, 2018, pp. 145-146.
[BibTeX]@InProceedings{Greenyer2018a, Title = {Symbolic Execution for Realizability-Checking of Scenario-Based Specifications}, Author = {Joel Greenyer and Timo Gutjahr}, Booktitle = {Software Engineering und Software Management 2018 (SE 2018)}, Year = {2018}, editor = {Tichy, Matthias AND Bodden, Eric AND Kuhrmann, Marco AND Wagner, Stefan AND Steghöfer, Jan-Philipp} , pages = { 145-146 }, publisher = {Gesellschaft für Informatik}, address = {Bonn}, isbn = {978-3-88579-673-2}, issn={1617-5468}, Series = {LNI}, Volume = {}, }
2017
- J. Greenyer and T. Gutjahr, “Symbolic Execution for Realizability-Checking of Scenario-Based Specifications,” in 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), 2017, pp. 312-322. doi:10.1109/MODELS.2017.35
[BibTeX] [Download PDF]@INPROCEEDINGS{Greenyer2017d, Author = {Joel Greenyer and Timo Gutjahr}, booktitle = {2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)}, title = {Symbolic Execution for Realizability-Checking of Scenario-Based Specifications}, year = {2017}, volume = {00}, number = {}, pages = {312-322}, keywords={Temperature measurement;Concrete;Temperature sensors;Ovens;Heating systems;Topology}, doi = {10.1109/MODELS.2017.35}, URL = {http://jgreen.de/wp-content/documents/2017/MODELS2017-symbolic-execution-scenario-specifications.pdf}, ISSN = {}, month={Sept.} }
- J. Greenyer, D. Gritzner, F. König, J. Dahlke, J. Shi, and E. Wete, “From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology,” in Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017), New York, NY, USA, 2017, p. 974–978. doi:10.1145/3106237.3122827
[BibTeX] [Download PDF]@inproceedings{Greenyer:2017, author = {Greenyer, Joel and Gritzner, Daniel and K\"{o}nig, Florian and Dahlke, Jannik and Shi, Jianwei and Wete, Eric}, title = {From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology}, booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017)}, series = {ESEC/FSE 2017}, year = {2017}, isbn = {978-1-4503-5105-8}, location = {Paderborn, Germany}, pages = {974--978}, numpages = {5}, doi = {10.1145/3106237.3122827}, acmid = {3122827}, publisher = {ACM}, address = {New York, NY, USA}, keywords = {Scenario-based modeling, assume/guarantee specifications, distributed embedded systems, dynamic topologies, reactive systems}, URL = {http://jgreen.de/wp-content/documents/2017/ESECFSE2017-tool-demo-Greenyer-et-al-From-Scenario-Modeling-to-Scenario-Programming-for-Reactive-Systems-with-Dynamic-Topology.pdf} }
- S. Steinberg, J. Greenyer, D. Gritzner, D. Harel, G. Katz, and A. Marron, “Distributing Scenario-based Models: A Replicate-and-Project Approach,” in Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development – Volume 1: MODELSWARD, 2017, pp. 182-195. doi:10.5220/0006271301820195
[BibTeX] [Download PDF]@conference{modelsward17, author={Shlomi Steinberg and Joel Greenyer and Daniel Gritzner and David Harel and Guy Katz and Assaf Marron}, title={Distributing Scenario-based Models: A Replicate-and-Project Approach}, booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD}, year={2017}, pages={182-195}, publisher={ScitePress}, organization={INSTICC}, doi={10.5220/0006271301820195}, isbn={978-989-758-210-3}, URL = {http://jgreen.de/wp-content/documents/2017/Distributed-Scenario-Based-Models-MODELSWARD2017.pdf} }
2016
- J. Greenyer, D. Gritzner, G. Katz, A. Marron, N. Glade, T. Gutjahr, and F. König, “Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems,” Procedia Technology (Proceedings of the 3nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2016), vol. 26, pp. 552-559, 2016. doi:10.1016/j.protcy.2016.08.069
[BibTeX] [Abstract] [Download PDF]
Cyber-physical systems are found in many areas, such as manufacturing, or smart cities. They consist of many components that cooperate to provide the desired functionality. This need for cooperation causes complex interactions between components, which makes developing cyber-physical systems difficult, especially systems whose component structure changes dynamically at runtime. We have created a formal, scenario-based specification method which makes it easier to develop distributed cyber-physical systems. We previously presented an approach for the distributed execution of such specifications based on naive and inefficient broadcasting. In this paper we propose a more efficient approach which uses the available network resources more economically.
@Article{Greenyer2016, Title = {Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems}, Author = {Joel Greenyer and Daniel Gritzner and Guy Katz and Assaf Marron and Nils Glade and Timo Gutjahr and Florian K{\"o}nig}, Journal = {Procedia Technology (Proceedings of the 3nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2016)}, Year = {2016}, Note = {3rd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering (SysInt 2016)}, Pages = {552 - 559}, Volume = {26}, Abstract = {Cyber-physical systems are found in many areas, such as manufacturing, or smart cities. They consist of many components that cooperate to provide the desired functionality. This need for cooperation causes complex interactions between components, which makes developing cyber-physical systems difficult, especially systems whose component structure changes dynamically at runtime. We have created a formal, scenario-based specification method which makes it easier to develop distributed cyber-physical systems. We previously presented an approach for the distributed execution of such specifications based on naive and inefficient broadcasting. In this paper we propose a more efficient approach which uses the available network resources more economically.}, DOI = {10.1016/j.protcy.2016.08.069}, ISSN = {2212-0173}, Keywords = {scenario-based specification}, Owner = {jgreen}, Timestamp = {2016.04.07}, URL = {http://www.sciencedirect.com/science/article/pii/S2212017316304169} }
- J. Greenyer, D. Gritzner, G. Katz, and A. Marron, “Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools,” in 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), J. de Lara, P. J. Clarke, and M. Sabetzadeh, Eds., 2016, pp. 16-32.
[BibTeX] [Download PDF]@InProceedings{Greenyer2016a, Title = {Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools}, Author = {Joel Greenyer and Daniel Gritzner and Guy Katz and Assaf Marron}, Booktitle = {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)}, Year = {2016}, Editor = {de Lara, Juan and Clarke, Peter J. and Sabetzadeh, Mehrdad}, Pages = {16-32}, Publisher = {CEUR}, Volume = {1725}, Owner = {jgreen}, Timestamp = {2016.10.11}, URL = {http://jgreen.de/wp-content/documents/2016/MODELS2016-ScenarioTools-Tooldemo.pdf} }
- J. Greenyer and D. Gritzner, “Synthesizing Energy-Efficient Controllers from Scenarios (Poster Paper),” in 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), J. de Lara, P. J. Clarke, and M. Sabetzadeh, Eds., 2016, pp. 87-93.
[BibTeX] [Download PDF]@InProceedings{Greenyer2016b, Title = {Synthesizing Energy-Efficient Controllers from Scenarios (Poster Paper)}, Author = {Joel Greenyer and Daniel Gritzner}, Booktitle = {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)}, Year = {2016}, Editor = {de Lara, Juan and Clarke, Peter J. and Sabetzadeh, Mehrdad}, Pages = {87-93}, Publisher = {CEUR}, Volume = {1725}, Owner = {jgreen}, Timestamp = {2016.10.11}, URL = {http://jgreen.de/wp-content/documents/2016/MODELS2016-Synthesizing-Energy-Efficient-Controllers-from-Scenarios-Poster-Paper.pdf} }
2015
- C. Brenner, J. Greenyer, and W. Schäfer, “On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications,” in Fundamental Approaches to Software Engineering (FASE 2015), A. Egyed and I. Schaefer, Eds., Springer Berlin Heidelberg, 2015, vol. 9033, pp. 51-65. doi:10.1007/978-3-662-46675-9_4
[BibTeX] [Download PDF]@InCollection{Brenner2015, Title = {On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications}, Author = {Christian Brenner and Joel Greenyer and Wilhelm Sch{\"a}fer}, Booktitle = {Fundamental Approaches to Software Engineering (FASE 2015)}, Publisher = {Springer Berlin Heidelberg}, Year = {2015}, Editor = {Egyed, Alexander and Schaefer, Ina}, Pages = {51-65}, Series = {Lecture Notes in Computer Science}, Volume = {9033}, DOI = {10.1007/978-3-662-46675-9_4}, ISBN = {978-3-662-46674-2}, Language = {English}, Owner = {jgreen}, Timestamp = {2014.12.19}, URL = {http://jgreen.de/wp-content/documents/2015/Brenner-On-the-fly-Synthesis-of-Scarcely-Synchronizing-Distributed-Controllers-from-Scenario-Based-Specifications-FASE2015.pdf} }
- M. Cordy, J. Davril, J. Greenyer, E. Gressi, and P. Heymans, “All-at-once-synthesis of Controllers from Scenario-based Product Line Specifications,” in Proceedings of the 19th International Conference on Software Product Line, New York, NY, USA, 2015, p. 26–35. doi:10.1145/2791060.2791111
[BibTeX] [Download PDF]@InProceedings{Cordy2015, Title = {All-at-once-synthesis of Controllers from Scenario-based Product Line Specifications}, Author = {Cordy, Maxime and Davril, Jean-Marc and Greenyer, Joel and Gressi, Erika and Heymans, Patrick}, Booktitle = {Proceedings of the 19th International Conference on Software Product Line}, Year = {2015}, Address = {New York, NY, USA}, Pages = {26--35}, Publisher = {ACM}, Series = {SPLC '15}, Acmid = {2791111}, DOI = {10.1145/2791060.2791111}, ISBN = {978-1-4503-3613-0}, Keywords = {controller synthesis, features, message sequence diagrams}, Location = {Nashville, Tennessee}, Numpages = {10}, URL = {http://jgreen.de/wp-content/documents/2015/SPLC2015-All-at-once-synthesis.pdf} }
- J. Greenyer, M. Haase, J. Marhenke, and R. Bellmer, “Evaluating a Formal Scenario-based Method for the Requirements Analysis in Automotive Software Engineering,” in Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015), Bergamo, Italy, New York, NY, USA, 2015, p. 1002–1005. doi:10.1145/2786805.2804432
[BibTeX] [Download PDF]@InProceedings{Greenyer2015, Title = {Evaluating a Formal Scenario-based Method for the Requirements Analysis in Automotive Software Engineering}, Author = {Greenyer, Joel and Haase, Max and Marhenke, J\"{o}rg and Bellmer, Rene}, Booktitle = {Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015), Bergamo, Italy}, Year = {2015}, Address = {New York, NY, USA}, Pages = {1002--1005}, Publisher = {ACM}, Series = {ESEC/FSE 2015}, Acmid = {2804432}, DOI = {10.1145/2786805.2804432}, ISBN = {978-1-4503-3675-8}, Keywords = {Automotive Software, Modal Sequence Diagrams, Reactive Systems, Realizability, Requirements Analysis}, Location = {Bergamo, Italy}, Numpages = {4}, URL = {http://jgreen.de/wp-content/documents/2015/greenyer-et-al-ESEC-FSE-scenarios-in-automotive-camera-ready.pdf} }
- V. Panzica La Manna, I. Segall, and J. Greenyer, “Synthesizing tests for combinatorial coverage of modal scenario specifications,” in Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on, 2015, pp. 126-135.
[BibTeX] [Download PDF]@InProceedings{PanzicaLaManna2015, Title = {Synthesizing tests for combinatorial coverage of modal scenario specifications}, Author = {Valerio {Panzica La Manna} and Itai Segall and Joel Greenyer}, Booktitle = {Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on}, Year = {2015}, Month = {Sept}, Pages = {126-135}, Owner = {jgreen}, Timestamp = {2015.07.11}, URL = {http://jgreen.de/wp-content/documents/2015/models15found-foundp064-p-0a5d9b3-25013-preprint.pdf} }
- J. Greenyer, C. Brenner, M. Cordy, P. Heymans, and E. Gressi, “Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications (Extended Abstract of ESEC/FSE 2013 paper),” in Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März – 20. März 2015, Dresden, Germany, U. Aßmann, B. Demuth, T. Spitta, G. Püschel, and R. Kaiser, Eds., 2015, p. 91–92.
[BibTeX]@InProceedings{Greenyer2015a, Title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications (Extended Abstract of ESEC/FSE 2013 paper)}, Author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi}, Booktitle = {Software Engineering {\&} Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik {(SWT)} und Wirtschaftsinformatik (WI), {FA} WI-MAW, 17. M{\"{a}}rz - 20. M{\"{a}}rz 2015, Dresden, Germany}, Year = {2015}, Editor = {Uwe A{\ss}mann and Birgit Demuth and Thorsten Spitta and Georg P{\"{u}}schel and Ronny Kaiser}, Pages = {91--92}, Publisher = {GI}, Series = {LNI}, Volume = {239}, Owner = {jgreen}, Timestamp = {2015.08.19} }
2014
- J. Greenyer, C. Hansen, J. Kotlarski, and T. Ortmaier, “Towards Synthesizing Energy-efficient Controllers for Modern Production Systems from Scenario-based Specifications,” Procedia Technology, vol. 15 (2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2014), pp. 388-397, 2014. doi:http://dx.doi.org/10.1016/j.protcy.2014.09.093
[BibTeX] [Abstract] [Download PDF]
Abstract Due to continuously rising electricity prices, the energy efficiency of production systems is an increasingly important factor in industrial manufacturing. One goal is therefore to reuse the braking energy of manipulator axes. The acceleration and deceleration phases of axes must be synchronized such that, ideally, the braking energy can be reused immediately within the system. In our current technique for the energy-efficient motion planning of concurrent movements of axes, we do not yet consider changing the discrete control logic to reorder movement sequences. This is difficult, since this reordering must not violate critical system requirements. In this paper, we outline a new technique for automatically synthesizing energy-efficient discrete controllers from a scenario-based specification of a production system, which we enrich with information about consumed and generated energy. Last, we provide an outlook on challenging open research problems.
@Article{Greenyer2014, Title = {Towards Synthesizing Energy-efficient Controllers for Modern Production Systems from Scenario-based Specifications}, Author = {Joel Greenyer and Christian Hansen and Jens Kotlarski and Tobias Ortmaier}, Journal = {Procedia Technology}, Year = {2014}, Note = {}, Number = {0}, Pages = {388 - 397}, Volume = {15 (2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2014)}, Abstract = {Abstract Due to continuously rising electricity prices, the energy efficiency of production systems is an increasingly important factor in industrial manufacturing. One goal is therefore to reuse the braking energy of manipulator axes. The acceleration and deceleration phases of axes must be synchronized such that, ideally, the braking energy can be reused immediately within the system. In our current technique for the energy-efficient motion planning of concurrent movements of axes, we do not yet consider changing the discrete control logic to reorder movement sequences. This is difficult, since this reordering must not violate critical system requirements. In this paper, we outline a new technique for automatically synthesizing energy-efficient discrete controllers from a scenario-based specification of a production system, which we enrich with information about consumed and generated energy. Last, we provide an outlook on challenging open research problems.}, Comment = {http://authors.elsevier.com/sd/article/S2212017314002084}, DOI = {http://dx.doi.org/10.1016/j.protcy.2014.09.093}, ISSN = {2212-0173}, Keywords = {Energy-efficiency}, URL = {http://jgreen.de/wp-content/documents/2014/20140505-Towards-Synthesizing-Energy-Efficient-Controllers-SysInt2014-CRV_ver2.pdf} }
- S. Winetzhammer, J. Greenyer, and M. Tichy, “Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems,” in System Analysis and Modeling: Models and Reusability (SAM 2014), D. Amyot, P. Fonseca i Casas, and G. Mussbacher, Eds., Springer International Publishing, 2014, vol. 8769, pp. 126-141. doi:10.1007/978-3-319-11743-0_9
[BibTeX] [Download PDF]@InCollection{Winetzhammer2014, Title = {Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems}, Author = {Winetzhammer, Sabine and Greenyer, Joel and Tichy, Matthias}, Booktitle = {System Analysis and Modeling: Models and Reusability (SAM 2014)}, Publisher = {Springer International Publishing}, Year = {2014}, Editor = {Amyot, Daniel and Fonseca i Casas, Pau and Mussbacher, Gunter}, Pages = {126-141}, Series = {Lecture Notes in Computer Science}, Volume = {8769}, DOI = {10.1007/978-3-319-11743-0_9}, ISBN = {978-3-319-11742-3}, Keywords = {scenario-based specification; reactive systems; embedded systems; automotive; simulation; validation; testing}, Language = {English}, Owner = {jgreen}, Timestamp = {2014.06.26}, URL = {http://jgreen.de/wp-content/documents/2014/Integrating-Graph-Transformations-and-Modal-Sequence-Diagrams-for-Specifying-Structurally-Dynamic-Reactive-Systems-SAM2014.pdf} }
2013
- J. Greenyer and E. Kindler, “Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications,” in Model-Driven Engineering Languages and Systems: Proceedings of the ACM/IEEE 16th International Conference (MODELS 2013), A. Moreira, B. Schätz, J. Gray, A. Vallecillo, and P. Clarke, Eds., Springer Berlin Heidelberg, 2013, vol. 8107, pp. 774-789. doi:10.1007/978-3-642-41533-3_47
[BibTeX] [Download PDF]@InCollection{Greenyer2013a, Title = {Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications}, Author = {Joel Greenyer and Ekkart Kindler}, Booktitle = {Model-Driven Engineering Languages and Systems: Proceedings of the ACM/IEEE 16th International Conference (MODELS 2013)}, Publisher = {Springer Berlin Heidelberg}, Year = {2013}, Editor = {Moreira, Ana and Sch{\"a}tz, Bernhard and Gray, Jeff and Vallecillo, Antonio and Clarke, Peter}, Pages = {774-789}, Series = {Lecture Notes in Computer Science}, Volume = {8107}, DOI = {10.1007/978-3-642-41533-3_47}, ISBN = {978-3-642-41532-6}, Keywords = {Scenario-Based Specification; Compositional Controller Synthesis; Consistency Checking; Assume-Guarantee}, Owner = {jgreen}, Timestamp = {2013.06.10}, URL = {http://jgreen.de/wp-content/documents/2013/compositionalSynthesisMSDs-MODELS2013.pdf} }
- J. Greenyer, C. Brenner, M. Cordy, P. Heymans, and E. Gressi, “Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications,” in Proceedings of the 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 13), New York, NY, USA, 2013, p. 433–443. doi:10.1145/2491411.2491445
[BibTeX] [Download PDF]@InProceedings{Greenyer2013, Title = {Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications}, Author = {Joel Greenyer and Christian Brenner and Maxime Cordy and Patrick Heymans and Erika Gressi}, Booktitle = {Proceedings of the 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 13)}, Year = {2013}, Address = {New York, NY, USA}, Pages = {433--443}, Publisher = {ACM}, Series = {ESEC/FSE 2013}, DOI = {10.1145/2491411.2491445}, ISBN = {978-1-4503-2237-9}, Keywords = {Controller synthesis, Features, Message sequence diagrams}, Location = {Saint Petersburg, Russia}, Numpages = {11}, Owner = {jgreen}, Timestamp = {2013.06.10}, URL = {http://jgreen.de/wp-content/documents/2013/greenyer-et-al-Incrementally-Synthesizing-Controllers-from-Scenario-Based-Product-Line-Specifications-ESEC-FSE-2013-camera-ready.pdf} }
- V. Panzica La Manna, J. Greenyer, C. Ghezzi, and C. Brenner, “Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes,” in Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), 2013, p. 63–72.
[BibTeX] [Download PDF]@InProceedings{PanzicaLaManna2013, Title = {Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes}, Author = {Panzica La Manna, Valerio and Greenyer, Joel and Ghezzi, Carlo and Brenner, Christian}, Booktitle = {Proceeding of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013)}, Year = {2013}, Pages = {63--72}, Publisher = {IEEE Press}, Series = {SEAMS '13}, Acmid = {2487349}, ISBN = {978-1-4673-4401-2}, Location = {San Francisco, CA, USA}, Numpages = {10}, URL = {http://jgreen.de/wp-content/documents/2013/panzica-greenyer-ghezzi-brenner-StudyingAdditionalCriteriaOfDynamicUpdates-SEAMS2013.pdf} }
2012
- M. Cordy, J. Greenyer, P. Heymans, and A. M. Sharifloo, “Efficient Consistency Checking of Scenario-based Product Line Specifications,” in Proceedings of the 20th International Requirements Engineering Conference (RE 2012), M. P. E. Heimdahl and P. Sawyer, Eds., 2012, pp. 161-170. doi:10.1109/RE.2012.6345800
[BibTeX] [Download PDF]@InProceedings{Cordy2012, Title = {Efficient Consistency Checking of Scenario-based Product Line Specifications}, Author = {Maxime Cordy and Joel Greenyer and Patrick Heymans and Amir Molzam Sharifloo}, Booktitle = {Proceedings of the 20th International Requirements Engineering Conference (RE 2012)}, Year = {2012}, Editor = {Mats Per Erik Heimdahl and Pete Sawyer}, Pages = {161-170}, Publisher = {IEEE}, DOI = {10.1109/RE.2012.6345800}, ISSN = {1090-750X}, Owner = {jgreen}, Timestamp = {2012.04.24}, URL = {http://jgreen.de/wp-content/documents/2012/ConsistencyCheckingScenarioBasedProductLineSpecifications.pdf} }
- C. Ghezzi, J. Greenyer, and V. P. L. Manna, “Synthesizing Dynamically Updating Controllers from Changes in Scenario-based Specifications,” in Proceeding of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), 2012, pp. 145-154. doi:10.1109/SEAMS.2012.6224401
[BibTeX] [Download PDF]@InProceedings{Ghezzi2012, Title = {Synthesizing Dynamically Updating Controllers from Changes in Scenario-based Specifications}, Author = {Carlo Ghezzi and Joel Greenyer and Valerio Panzica La Manna}, Booktitle = {Proceeding of the 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012)}, Year = {2012}, Pages = {145-154}, DOI = {10.1109/SEAMS.2012.6224401}, ISSN = {2157-2305}, URL = {http://jgreen.de/wp-content/documents/2012/SynthesizingDynamicallyUpdatingControllers.pdf} }
- J. Greenyer and J. Rieke, “Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata,” in Proceedings of the 4th International Conference on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011), 2012, p. 222–237. doi:10.1007/978-3-642-34176-2_19
[BibTeX] [Download PDF]@InProceedings{Greenyer2012, Title = {Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata}, Author = {Joel Greenyer and Jan Rieke}, Booktitle = {Proceedings of the 4th International Conference on Applications of Graph Transformations with Industrial Relevance (AGTIVE 2011)}, Year = {2012}, Pages = {222--237}, Publisher = {Springer-Verlag}, Series = {AGTIVE'11}, Acmid = {2403501}, DOI = {10.1007/978-3-642-34176-2_19}, ISBN = {978-3-642-34175-5}, Location = {Budapest, Hungary}, Numpages = {16}, URL = {http://jgreen.de/wp-content/documents/2012/advanced-tgg-concepts-AGTIVE2011.pdf} }
2011
- J. Greenyer, S. Pook, and J. Rieke, “Preventing Information Loss in Incremental Model Synchronization by Reusing Elements,” in Modelling Foundations and Applications – Proceedings of the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011, Birmingham, UK, June 6-9, 2011, R. France, J. Kuester, B. Bordbar, and R. Paige, Eds., 2011, pp. 144-159. doi:10.1007/978-3-642-21470-7_11
[BibTeX] [Download PDF]@InProceedings{Greenyer2011a, Title = {Preventing Information Loss in Incremental Model Synchronization by Reusing Elements}, Author = {Greenyer, Joel and Pook, Sebastian and Rieke, Jan}, Booktitle = {Modelling Foundations and Applications -- Proceedings of the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011, Birmingham, UK, June 6-9, 2011}, Year = {2011}, Editor = {France, Robert and Kuester, Jochen and Bordbar, Behzad and Paige, Richard}, Pages = {144-159}, Publisher = {Springer Verlag Berlin/Heidelberg}, Series = {Lecture Notes in Computer Science}, Volume = {6698}, Affiliation = {Software Engineering Group, Department of Computer Science, University of Paderborn, 33098 Paderborn, Germany}, DOI = {10.1007/978-3-642-21470-7_11}, URL = {http://jgreen.de/wp-content/documents/2011/tgg-incremental-model-synch-ECMFA2011.pdf} }
2009
- S. Henkler, J. Greenyer, M. Hirsch, W. Schafer, K. Alhawash, T. Eckardt, C. Heinzemann, R. Löffler, A. Seibel, and H. Giese, “Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite,” in Proceedings of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, Washington, DC, USA, 2009, p. 615–618. doi:10.1109/ICSE.2009.5070569
[BibTeX] [Download PDF]@InProceedings{Henkler2009, Title = {Synthesis of timed behavior from scenarios in the {Fujaba Real-Time Tool Suite}}, Author = {Stefan Henkler AND Joel Greenyer AND Martin Hirsch AND Wilhelm Schafer AND Kahtan Alhawash AND Tobias Eckardt AND Christian Heinzemann AND Renate L{\"o}ffler AND Andreas Seibel AND Holger Giese}, Booktitle = {Proceedings of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada}, Year = {2009}, Address = {Washington, DC, USA}, Pages = {615--618}, Publisher = {IEEE Computer Society}, Acmid = {1555088}, DOI = {10.1109/ICSE.2009.5070569}, File = {:sources\\henkler-greenyer-hirsch--synthesis-of-timed-behavior-from-scenarios-in-Fujaba.pdf:PDF}, ISBN = {978-1-4244-3453-4}, Numpages = {4}, URL = {http://dx.doi.org/10.1109/ICSE.2009.5070569} }
- J. Gausemeier, W. Schäfer, J. Greenyer, S. Kahl, S. Pook, and J. Rieke, “Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems,” in Proceedings of the 17th International Conference on Engineering Design (ICED’09), M. N. Bergendahl, M. Grimheden, and L. Leifer, Eds., University of Stanford, CA, USA, 2009, p. 1–12.
[BibTeX]@InProceedings{Gausemeier2009a, Title = {Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems}, Author = {J{\"u}rgen Gausemeier and Wilhelm Sch{\"a}fer and Joel Greenyer and Sascha Kahl and Sebastian Pook and Jan Rieke}, Booktitle = {Proceedings of the 17th International Conference on Engineering Design (ICED'09)}, Year = {2009}, Address = {University of Stanford, CA, USA}, Editor = {Margareta Norell Bergendahl and Martin Grimheden and Larry Leifer}, Month = {August}, Pages = {1--12}, Publisher = {Design Society}, Volume = {6}, Language = {english} }
2008
- K. Alhawash, T. Ceylan, T. Eckardt, M. Fazal-Baqaie, J. Greenyer, C. Heinzemann, S. Henkler, R. Ristov, D. Travkin, and C. Yalcin, “The Fujaba Automotive Tool Suite,” in Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008, 2008.
[BibTeX] [Download PDF]@InProceedings{Alhawash08, Title = {The {Fujaba Automotive Tool Suite}}, Author = {Kahtan Alhawash AND Toni Ceylan AND Tobias Eckardt AND Masud Fazal-Baqaie AND Joel Greenyer AND Christian Heinzemann AND Stefan Henkler AND Renate Ristov AND Diertrich Travkin AND Coni Yalcin}, Booktitle = {Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008}, Year = {2008}, URL = {http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/ACEetal08_ag.pdf} }
2007
- C. Lohmann, J. Greenyer, J. Jiang, and T. Systä, “Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations,” in Journal of Object Technology, Special Issue: TOOLS EUROPE 2007, October 2007, 2007.
[BibTeX] [Download PDF]@InProceedings{CGJS2007, Title = {Applying {Triple Graph Grammars} For Pattern-Based Workflow Model Transformations}, Author = {Carsten Lohmann AND Joel Greenyer AND Juanjuan Jiang AND Tarja Syst\"{a}}, Booktitle = {Journal of Object Technology, Special Issue: TOOLS EUROPE 2007, October 2007}, Year = {2007}, URL = {http://www.jot.fm/issues/issue_2007_10/paper13.pdf} }
- J. Greenyer and E. Kindler, “Reconciling TGGs with QVT,” in Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, September 30 – October 5, 2007, Nashville, USA, LNCS, G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, Eds., 2007, p. pp. 16-30. doi:10.1007/978-3-540-75209-7_2
[BibTeX] [Download PDF]@InProceedings{Greenyer2007, Title = {Reconciling {TGG}s with {QVT}}, Author = {Joel Greenyer and Ekkart Kindler}, Booktitle = {Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, September 30 - October 5, 2007, Nashville, USA, LNCS}, Year = {2007}, Editor = {Engels, G. and Opdyke, B. and Schmidt, D.C. and Weil, F.}, Pages = {pp. 16-30}, Publisher = {Springer Verlag Berlin/Heidelberg}, Series = {Lecture Notes in Computer Science}, Volume = {Volume 4735}, DOI = {10.1007/978-3-540-75209-7_2}, Mylabel = {GK07b}, URL = {http://dx.doi.org/10.1007/978-3-540-75209-7_2} }
Workshops
2021
- J. Greenyer, “Scenario-Based Modeling and Programming of Distributed Systems (Extended Abstract for an Invited Talk),” in 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), M. Köhler-Bussmeier, E. Kindler, and H. Rölke, Eds., 2021, pp. 241-252.
[BibTeX] [Download PDF]@InProceedings{Greenyer2021, author = {Greenyer, Joel}, title = {Scenario-Based Modeling and Programming of Distributed Systems (Extended Abstract for an Invited Talk)}, booktitle = {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)}, year = {2021}, editor = {K\"{o}hler-Bussmeier, Michael and Kindler, Ekkart and R\"{o}lke, Heiko}, volume = {2907}, series = {CEUR Workshop Proceedings}, pages = {241-252}, publisher = {CEUR}, owner = {jgreen}, URL = {http://ceur-ws.org/Vol-2907/invited1.pdf} }
- C. Wiecher and J. Greenyer, “BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems,” in Joint Proceedings of REFSQ-2021 Workshops, OpenRE,Posters and Tools Track, and Doctoral Symposium, Essen, Germany, 12-04-2021, F. B. Aydemir, C. Gralha, S. Abualhaija, T. Breaux, M. Daneva, N. Ernst, A. Ferrari, X. Franch, S. Ghanavati, E. Groen, R. Guizzardi, J. Guo, A. Herrmann, J. Horkoff, P. Mennig, E. Paja, A. Perini, N. Seyff, A. Susi, and A. Vogelsang, Eds., 2021.
[BibTeX] [Download PDF]@InProceedings{Wiecher2021a, author = {Wiecher, Carsten and Greenyer, Joel}, title = {BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems}, booktitle = {Joint Proceedings of REFSQ-2021 Workshops, OpenRE,Posters and Tools Track, and Doctoral Symposium, Essen, Germany, 12-04-2021}, year = {2021}, editor = {Aydemir, F.B. and Gralha, C. and Abualhaija, S. and Breaux, T. and Daneva, M. and Ernst, N. and Ferrari, A. and Franch, X. and Ghanavati, S. and Groen, E. and Guizzardi, R. and Guo, J. and Herrmann, A. and Horkoff, J. and Mennig, P. and Paja, E. and Perini, A. and Seyff, N. and Susi, A. and Vogelsang, A. }, volume = {2857}, series = {CEUR Workshop Proceedings}, pages = {}, publisher = {CEUR}, owner = {jgreen}, URL = {http://ceur-ws.org/Vol-2857/pt1.pdf}, }
2020
- C. Wiecher, S. Japs, L. Kaiser, J. Greenyer, R. Dumitrescu, and C. Wolff, “Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation,” in Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, New York, NY, USA, 2020. doi:10.1145/3417990.3421264
[BibTeX] [Abstract] [Download PDF]
The development of safety-relevant systems in the automotive industry requires the definition of high-quality requirements and tests for the coordination and monitoring of development activities in an agile development environment. In this paper we describe a Scenarios in the Loop (SCIL) approach. SCIL combines (1) natural language requirements specification based on Behavior-Driven Development (BDD) with (2) formal and test-driven requirements modeling and analysis, and (3) integrates discipline-specific tools for software and system validation during development. A central element of SCIL is a flexible and executable scenario-based modeling language, the Scenario Modeling Language for Kotlin (SMLK). SMLK allows for an intuitive requirements formalization, and supports engineers to move iteratively, and continuously aided by automated checks, from stakeholder requirements to the validation of the implemented system. We evaluated the approach using a real example from the field of e-mobility.
@InProceedings{Wiecher2020, author = {Wiecher, Carsten and Japs, Sergej and Kaiser, Lydia and Greenyer, Joel and Dumitrescu, Roman and Wolff, Carsten}, title = {Scenarios in the Loop: Integrated Requirements Analysis and Automotive System Validation}, year = {2020}, isbn = {9781450381352}, publisher = {Association for Computing Machinery}, address = {New York, NY, USA}, url = {http://jgreen.de/wp-content/documents/2020/MASE2020-SCIL-scenarios-in-the-loop-integrated-requirements-analysis-and-automotive-system-validation.pdf}, doi = {10.1145/3417990.3421264}, abstract = {The development of safety-relevant systems in the automotive industry requires the definition of high-quality requirements and tests for the coordination and monitoring of development activities in an agile development environment. In this paper we describe a Scenarios in the Loop (SCIL) approach. SCIL combines (1) natural language requirements specification based on Behavior-Driven Development (BDD) with (2) formal and test-driven requirements modeling and analysis, and (3) integrates discipline-specific tools for software and system validation during development. A central element of SCIL is a flexible and executable scenario-based modeling language, the Scenario Modeling Language for Kotlin (SMLK). SMLK allows for an intuitive requirements formalization, and supports engineers to move iteratively, and continuously aided by automated checks, from stakeholder requirements to the validation of the implemented system. We evaluated the approach using a real example from the field of e-mobility.}, booktitle = {Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings}, articleno = {35}, numpages = {10}, keywords = {system validation, BizDevOps, requirements analysis, automotive systems engineering}, location = {Virtual Event, Canada}, series = {MODELS '20} }
2019
- M. Blumreiter, J. Greenyer, V. Klös, M. Schwammberger, C. Sommer, A. Vogelsang, and A. Wortmann, “Towards Self-Explainable Cyber-Physical Systems,” in The 14th International Workshop on Models@run.time, Proceedings of MODELS 2019 Workshops (to appear), co-located with ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 2019., 2019.
[BibTeX] [Download PDF]@InProceedings{Greenyer2019b, author = {Mathias Blumreiter and Joel Greenyer and Verena Kl{\"{o}}s and Maike Schwammberger and Christoph Sommer and Andreas Vogelsang and Andreas Wortmann}, title = {Towards Self-Explainable Cyber-Physical Systems}, booktitle = {The 14th International Workshop on Models@run.time, Proceedings of {MODELS} 2019 Workshops (to appear), co-located with {ACM/IEEE} 22nd International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2019), Munich, Germany, September 2019.}, year = {2019}, editor = {}, volume = {}, series = {CEUR Workshop Proceedings}, pages = {}, publisher = {CEUR}, owner = {jgreen}, url = {http://jgreen.de/wp-content/documents/2019/MRT19_paper_3.pdf}, }
- C. Wiecher, J. Greenyer, and J. Korte, “Test-Driven Scenario Specification of Automotive Software Components,” in The 2nd International Workshop on Modeling in Automotive Software Engineering, Proceedings of MODELS 2019 Workshops (to appear), co-located with ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 2019., 2019.
[BibTeX] [Download PDF]@InProceedings{Greenyer2019a, author = {Carsten Wiecher and Joel Greenyer and Jan Korte}, title = {Test-Driven Scenario Specification of Automotive Software Components}, booktitle = {The 2nd International Workshop on Modeling in Automotive Software Engineering, Proceedings of {MODELS} 2019 Workshops (to appear), co-located with {ACM/IEEE} 22nd International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2019), Munich, Germany, September 2019.}, year = {2019}, editor = {}, volume = {}, series = {CEUR Workshop Proceedings}, pages = {}, publisher = {CEUR}, owner = {jgreen}, url = {http://jgreen.de/wp-content/documents/2019/MASE19_paper_2.pdf}, }
2018
- J. Greenyer, M. Bar-Sinai, G. Weiss, A. Sadon, and A. Marron, “Modeling and programming a leader-follower challenge problem with scenario-based tools,” in Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018), Copenhagen, Denmark, October, 14, 2018., R. Hebig and T. Berger, Eds., 2018, p. 376–385.
[BibTeX] [Download PDF]@InProceedings{Greenyer2018f, author = {Joel Greenyer and Michael Bar-Sinai and Gera Weiss and Aviran Sadon and Assaf Marron}, title = {Modeling and programming a leader-follower challenge problem with scenario-based tools}, booktitle = {Proceedings of {MODELS} 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, {PAINS} co-located with {ACM/IEEE} 21st International Conference on Model Driven Engineering Languages and Systems {(MODELS} 2018), Copenhagen, Denmark, October, 14, 2018.}, year = {2018}, editor = {Regina Hebig and Thorsten Berger}, volume = {2245}, series = {CEUR Workshop Proceedings}, pages = {376--385}, publisher = {CEUR}, owner = {jgreen}, url = {http://jgreen.de/wp-content/documents/2018/MDETools18challengeSBP.pdf}, }
- J. Greenyer, L. Chazette, D. Gritzner, and E. Wete, “A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems – Early Virtual Prototyping of Car-to-X System Specifications,” in Proceedings Workshops zur Modellierung in der Entwicklung von kollaborativen eingebetteten Systemen (MEKES), Joint Proceedings of the Workshops co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018., I. Schaefer, L. Cleophas, M. Felderer, S. Becker, W. Böhm, D. Fahland, H. -, R. Heinrich, K. Kirchner, M. K. -, M. Konersmann, H. C. Mayr, D. Moldt, A. Oberweis, F. Reher, M. Riebisch, S. Sauer, H. Schlingloff, B. Thalheim, A. Vogelsang, R. Weißbach, and T. Weyer, Eds., 2018, p. 111–120.
[BibTeX] [Download PDF]@INPROCEEDINGS{Greenyer2018d, author={Joel Greenyer and Larissa Chazette and Daniel Gritzner and Eric Wete}, booktitle = {Proceedings Workshops zur Modellierung in der Entwicklung von kollaborativen eingebetteten Systemen (MEKES), Joint Proceedings of the Workshops co-located with Modellierung 2018, Braunschweig, Germany, February 21, 2018.}, title={A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems -- Early Virtual Prototyping of Car-to-X System Specifications}, editor = {Ina Schaefer and Loek Cleophas and Michael Felderer and Steffen Becker and Wolfgang B{\"{o}}hm and Dirk Fahland and Hans{-}Georg Fill and Robert Heinrich and Kathrin Kirchner and Michael K{\"{o}}hler{-}Bu{\ss}meier and Marco Konersmann and Heinrich C. Mayr and Daniel Moldt and Andreas Oberweis and Felix Reher and Matthias Riebisch and Stefan Sauer and Holger Schlingloff and Bernhard Thalheim and Andreas Vogelsang and R{\"{u}}diger Wei{\ss}bach and Thorsten Weyer}, series = {{CEUR} Workshop Proceedings}, volume = {2060}, publisher = {CEUR-WS.org}, year={2018}, pages = {111--120}, year = {2018}, url = {http://ceur-ws.org/Vol-2060/mekes8.pdf}, }
- D. Gritzner and J. Greenyer, “Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications,” in Software Technologies: Applications and Foundations, Proceedings of the 4th Workshop on Model-Driven Robot Software Engineering (MORSE 2017), M. Seidl and S. Zschaler, Eds., Cham, 2018, p. 247–262.
[BibTeX] [Abstract] [Download PDF]
Robots are found in most, if not all, modern production facilities and they increasingly enter other domains, e.g., health care. Robots participate in complex processes and often need to cooperate with other robots to fulfill their goals. They must react to a variety of events, both external, e.g., user inputs, and internal, i.e., actions of other components or robots in the system. Designing such a system, in particular developing the software for the robots contained in it, is a difficult and error-prone task. We developed a formal scenario-based modeling method which supports engineers in this task. Using short, intuitive scenarios engineers can express requirements, desired behavior, and assumptions made about the system’s environment. These models can be created early in the design process and enable simulation as well as an automated formal analysis of the system and its components. Scenario-based models can drive the execution at runtime or can be used to generate executable code, e.g., programmable logic controller code. In this paper we describe how to use our scenario-based approach to not only improve the quality of a system through formal methods, but also how to reduce the manual implementation effort by generating executable PLC code.
@InProceedings{Greenyer2017, author="Gritzner, Daniel and Greenyer, Joel", editor="Seidl, Martina and Zschaler, Steffen", title="Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications", booktitle="Software Technologies: Applications and Foundations, Proceedings of the 4th Workshop on Model-Driven Robot Software Engineering (MORSE 2017)", Series = {Lecture Notes in Computer Science}, Volume = {Volume 10748}, location = {Marburg, Germany}, year="2018", publisher="Springer International Publishing", address="Cham", pages="247--262", abstract="Robots are found in most, if not all, modern production facilities and they increasingly enter other domains, e.g., health care. Robots participate in complex processes and often need to cooperate with other robots to fulfill their goals. They must react to a variety of events, both external, e.g., user inputs, and internal, i.e., actions of other components or robots in the system. Designing such a system, in particular developing the software for the robots contained in it, is a difficult and error-prone task. We developed a formal scenario-based modeling method which supports engineers in this task. Using short, intuitive scenarios engineers can express requirements, desired behavior, and assumptions made about the system's environment. These models can be created early in the design process and enable simulation as well as an automated formal analysis of the system and its components. Scenario-based models can drive the execution at runtime or can be used to generate executable code, e.g., programmable logic controller code. In this paper we describe how to use our scenario-based approach to not only improve the quality of a system through formal methods, but also how to reduce the manual implementation effort by generating executable PLC code.", isbn="978-3-319-74730-9", URL = {http://jgreen.de/wp-content/documents/2017/controller-synthesis-and-PCL-Code-Generation-from-GR-1-robot-scenario-specs-MORSE2017.pdf} }
2017
- D. Schmelter, J. Greenyer, and J. Holtmann, “Toward Learning Realizable Scenario-Based, Formal Requirements Specifications,” in 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), 2017, pp. 372-378. doi:10.1109/REW.2017.14
[BibTeX]@INPROCEEDINGS{Greenyer2017e, author={D. Schmelter and J. Greenyer and J. Holtmann}, booktitle={2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE)}, title={Toward Learning Realizable Scenario-Based, Formal Requirements Specifications}, year={2017}, volume={}, number={}, pages={372-378}, keywords={Encoding;Evolutionary computation;Grammar;Manuals;Production;Requirements engineering;Evolutionary Computation;Formal Requirements Analysis;Multi-objective Optimization;Scenario-based Requirements}, doi={10.1109/REW.2017.14}, ISSN={}, month={Sept}, }
- J. Greenyer, D. Gritzner, J. Shi, and E. Wete, “A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example,” in Proceedings of MODELS 2017 Satellite Events, co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), L. Burgueño, J. Corley, N. Bencomo, P. J. Clarke, P. Collet, M. Famelis, S. Ghosh, M. Gogolla, J. Greenyer, E. Guerra, S. Kokaly, A. Pierantonio, J. Rubin, and D. D. Ruscio, Eds., 2017, pp. 71-80.
[BibTeX] [Download PDF]@InProceedings{Greenyer2017b, author = {Joel Greenyer and Daniel Gritzner and Jianwei Shi and Eric Wete}, title = {A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example}, booktitle = {Proceedings of MODELS 2017 Satellite Events, co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017)}, year = {2017}, editor = {Loli Burgue{\~n}o and Jonathan Corley and Nelly Bencomo and Peter J. Clarke and Philippe Collet and Michalis Famelis and Sudipto Ghosh and Martin Gogolla and Joel Greenyer and Esther Guerra and Sahar Kokaly and Alfonso Pierantonio and Julia Rubin and Davide Di Ruscio}, volume = {2019}, series = {CEUR Workshop Proceedings}, pages = {71-80}, publisher = {CEUR}, owner = {jgreen}, url = {http://jgreen.de/wp-content/documents/2017/paper-MDETOOLS2017.pdf}, }
2016
- J. Greenyer, D. Gritzner, N. Glade, T. Gutjahr, and F. König, “Scenario-based Specification of Car-to-X systems,” in Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), CEUR Workshop Proceedings, volume 1559, pages 118-123, 2016.
[BibTeX] [Download PDF]@InProceedings{Greenyer2016, Title = {Scenario-based Specification of Car-to-X systems}, Author = {Joel Greenyer and Daniel Gritzner and Nils Glade and Timo Gutjahr and Florian K{\"o}nig}, Booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), CEUR Workshop Proceedings, volume 1559, pages 118-123}, Year = {2016}, Owner = {jgreen}, URL = {http://jgreen.de/wp-content/documents/2016/greenyer-et-al-scenario-based-specificationcar-of-car-to-x-systems-CPSSC-2016.pdf} }
2015
- V. Panzica La Manna, J. Greenyer, D. Clun, and C. Ghezzi, “Towards Executing Dynamically Updating Finite-State Controllers on a Robot System,” in Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on, 2015, pp. 42-47. doi:10.1109/MiSE.2015.15
[BibTeX] [Download PDF]@InProceedings{PanzicaLaManna2015a, Title = {Towards Executing Dynamically Updating Finite-State Controllers on a Robot System}, Author = {Panzica La Manna, Valerio and Greenyer, Joel and Clun, Donato and Ghezzi, Carlo}, Booktitle = {Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on}, Year = {2015}, Month = {May}, Pages = {42-47}, DOI = {10.1109/MiSE.2015.15}, URL = {http://jgreen.de/wp-content/documents/2015/mise-2015.pdf} }
- K. Niklas, J. Greenyer, and K. Schneider, “Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design,” in Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on, 2015, pp. 60-65. doi:10.1109/MiSE.2015.18
[BibTeX] [Download PDF]@InProceedings{Niklas2015, Title = {Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design}, Author = {Niklas, K. and Greenyer, J. and Schneider, K.}, Booktitle = {Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on}, Year = {2015}, Month = {May}, Pages = {60-65}, DOI = {10.1109/MiSE.2015.18}, URL = {http://jgreen.de/wp-content/documents/2015/mise-2015-niklas-et-al.pdf} }
- J. Greenyer, D. Gritzner, T. Gutjahr, T. Duente, S. Dulle, F. Deppe, N. Glade, M. Hilbich, F. Koenig, J. Luennemann, N. Prenner, K. Raetz, T. Schnelle, M. Singer, N. Tempelmeier, and R. Voges, “Scenarios@run.time – Distributed Execution of Specifications on IoT-Connected Robots,” in Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015, S. Götz, N. Bencomo, G. Blair, and H. Song, Eds., 2015, pp. 71-80.
[BibTeX] [Download PDF]@InProceedings{Greenyer2015f, Title = {Scenarios@run.time -- Distributed Execution of Specifications on IoT-Connected Robots}, Author = {Joel Greenyer and Daniel Gritzner and Timo Gutjahr and Tim Duente and Stefan Dulle and Falk-David Deppe and Nils Glade and Marius Hilbich and Florian Koenig and Jannis Luennemann and Nils Prenner and Kevin Raetz and Thilo Schnelle and Martin Singer and Nicolas Tempelmeier and Raphael Voges}, Booktitle = {Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015}, Year = {2015}, Editor = {Sebastian G{\"o}tz and Nelly Bencomo and Gordon Blair and Hui Song}, Pages = {71-80}, Series = {CEUR Workshop Proceedings}, Publisher = {CEUR}, Volume = {1474}, Owner = {jgreen}, Timestamp = {2015.07.23}, URL = {http://jgreen.de/wp-content/documents/2015/scenarios-at-runtime.pdf} }
2014
- E. Leblebici, A. Anjorin, A. Schürr, S. Hildebrandt, J. Rieke, and J. Greenyer, “A Comparison of Incremental Triple Graph Grammar Tools,” in Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
[BibTeX] [Download PDF]@InProceedings{Leblebici2014, Title = {A Comparison of Incremental Triple Graph Grammar Tools}, Author = {Erhan Leblebici and Anthony Anjorin and Andy Sch{\"u}rr and Stephan Hildebrandt and Jan Rieke and Joel Greenyer}, Booktitle = {Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}, Year = {2014}, Publisher = {EASST}, Volume = {67}, Journal = {Electronic Communications of EASST}, Owner = {jgreen}, Timestamp = {2014.05.22}, URL = {http://jgreen.de/wp-content/documents/2014/A-Comparison-of-Incremental-TGG-Tools-GT-VMT2014.pdf} }
- C. Brenner, J. Greenyer, J. Holtmann, G. Liebel, G. Stieglbauer, and M. Tichy, “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study,” in Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 2014.
[BibTeX] [Download PDF]@InProceedings{Brenner2014, Title = {ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study}, Author = {Christian Brenner and Joel Greenyer and Jörg Holtmann and Grischa Liebel and Gerald Stieglbauer and Matthias Tichy}, Booktitle = {Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014)}, Year = {2014}, Publisher = {EASST}, Volume = {67}, Journal = {Electronic Communications of the EASST}, Owner = {jgreen}, Timestamp = {2016.03.13}, URL = {http://jgreen.de/wp-content/documents/2014/ScenarioTools-Real-Time-Play-Out-for-Test-Sequence-Validation-Automotive-Case Study-GT-VMT14.pdf} }
2013
- C. Brenner, J. Greenyer, and V. Panzica La Manna, “The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions,” in Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013), 2013.
[BibTeX] [Download PDF]@InProceedings{Brenner2013, Title = {The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions}, Author = {Christian Brenner and Joel Greenyer and Valerio {Panzica La Manna}}, Booktitle = {Proceedings of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013)}, Year = {2013}, Publisher = {EASST}, Volume = {58}, Journal = {Electronic Communications of the EASST}, Owner = {jgreen}, Timestamp = {2013.01.22}, URL = {http://jgreen.de/wp-content/documents/2013/Brenner-Greenyer-Panzica-scenariotools-playout-w-environment-assumptions-GTVMT2013.pdf} }
- S. Hildebrandt, L. Lambers, H. Giese, J. Rieke, J. Greenyer, W. Schäfer, M. Lauder, A. Anjorin, and A. Schürr, “A Survey of Triple Graph Grammar Tools,” in Second International Workshop on Bidirectional Transformations (BX 2013), 2013, pp. 1-18.
[BibTeX] [Download PDF]@InProceedings{Hildebrandt2013, Title = {A Survey of Triple Graph Grammar Tools}, Author = {Stephan Hildebrandt and Leen Lambers and Holger Giese and Jan Rieke and Joel Greenyer and Wilhelm Sch\"{a}fer and Marius Lauder and Anthony Anjorin and Andy Sch{\"u}rr}, Booktitle = {Second International Workshop on Bidirectional Transformations (BX 2013)}, Year = {2013}, Pages = { 1-18 }, Publisher = {EC-EASST}, Volume = { 57 }, Journal = {Electronic Communications of the EASST}, Owner = {jgreen}, Timestamp = {2013.01.22}, URL = {http://jgreen.de/wp-content/documents/2013/bx13.pdf} }
2012
- J. Frieben and J. Greenyer, “Consistency Checking Scenario-Based Specifications of Dynamic Systems,” in Workshop on Behaviour Modelling – Foundations and Applications (BMFA 2012), 2012.
[BibTeX] [Download PDF]@InProceedings{Frieben2012, Title = {Consistency Checking Scenario-Based Specifications of Dynamic Systems}, Author = {Jens Frieben AND Joel Greenyer}, Booktitle = {Workshop on Behaviour Modelling -- Foundations and Applications (BMFA 2012)}, Year = {2012}, URL = {http://jgreen.de/wp-content/documents/2012/consistency-checking-scenario-based-specifications-of-dynamic-systems.pdf} }
2011
- C. Brink, J. Greenyer, W. Schäfer, M. Hahn, and M. Tichy, “Simulation von hybridem Verhalten in CAMeL-View,” in Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn, 2011.
[BibTeX] [Download PDF]@InProceedings{Brink2011, Title = {Simulation von hybridem Verhalten in CAMeL-View}, Author = {Christopher Brink AND Joel Greenyer AND Wilhelm Sch\"{a}fer AND Martin Hahn AND Mattias Tichy}, Booktitle = {Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn}, Year = {2011}, URL = {http://jgreen.de/wp-content/documents/2011/Simulation-von-hybridem-Verhalten-in-CAMeL-View_EMS2011.pdf} }
2009
- J. Greenyer, “Integrating Models for the Design of Mechatronic Systems (abstract),” in Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs, Dagstuhl, 2009, p. 173–174.
[BibTeX]@InProceedings{Greenyer2009, Title = {Integrating Models for the Design of Mechatronic Systems (abstract)}, Author = {Joel Greenyer}, Booktitle = {Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs}, Year = {2009}, Address = {Dagstuhl}, Month = {June}, Pages = {173--174} }
2004
- A. Gepting, J. Greenyer, E. Kindler, A. Maas, S. Munkelt, C. Pales, T. Pivl, O. Rohe, V. Rubin, M. Sanders, A. Scholand, C. Wagner, and R. Wagner, “Component Tools: A vision of a tool,” in Proc. of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN2004), Paderborn, Germany, September 30 – October 1, 2004.
[BibTeX] [Download PDF]@InProceedings{GGK+04_ag, Title = {Component Tools: A vision of a tool}, Author = {Alexander Gepting AND Joel Greenyer AND Ekkart Kindler AND Alexander Maas AND Sebastian Munkelt AND Csaba Pales AND Thorsten Pivl AND Oliver Rohe AND Vladimir Rubin AND Markus Sanders AND Andreas Scholand AND Christian Wagner AND Robert Wagner}, Booktitle = {Proc. of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN2004), Paderborn, Germany, September 30 - October 1}, Year = {2004}, URL = {http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/GGK_04.pdf} }
Book Contributions
2019
- D. Lübke, J. Greenyer, and D. Vatlin, “Effectiveness of Combinatorial Test Design with Executable Business Processes,” in Empirical Studies on the Development of Executable Business Processes, D. Lübke and C. Pautasso, Eds., Cham: Springer International Publishing, 2019, p. 199–223. doi:10.1007/978-3-030-17666-2_9
[BibTeX] [Abstract] [Download PDF]
Executable business processes contain complex business rules, control flow, and data transformations, which makes designing good tests difficult and, in current practice, requires extensive expert knowledge. In order to reduce the time and errors in manual test design, we investigated using automatic combinatorial test design (CTD) instead. CTD is a test selection method that aims at covering all interactions of a few input parameters. For this investigation, we integrated CTD algorithms with an existing framework that combines equivalence class partitioning with automatic BPELUnit test generation. Based on several industrial cases, we evaluated the effectiveness and efficiency of test suites selected via CTD algorithms against those selected by experts and random tests. The experiments show that CTD tests are not more efficient than tests designed by experts, but that they are a sufficiently effective automatic alternative.
@Inbook{Lübke2019, author="L{\"u}bke, Daniel and Greenyer, Joel and Vatlin, David", editor="L{\"u}bke, Daniel and Pautasso, Cesare", title="Effectiveness of Combinatorial Test Design with Executable Business Processes", bookTitle="Empirical Studies on the Development of Executable Business Processes", year="2019", publisher="Springer International Publishing", address="Cham", pages="199--223", abstract="Executable business processes contain complex business rules, control flow, and data transformations, which makes designing good tests difficult and, in current practice, requires extensive expert knowledge. In order to reduce the time and errors in manual test design, we investigated using automatic combinatorial test design (CTD) instead. CTD is a test selection method that aims at covering all interactions of a few input parameters. For this investigation, we integrated CTD algorithms with an existing framework that combines equivalence class partitioning with automatic BPELUnit test generation. Based on several industrial cases, we evaluated the effectiveness and efficiency of test suites selected via CTD algorithms against those selected by experts and random tests. The experiments show that CTD tests are not more efficient than tests designed by experts, but that they are a sufficiently effective automatic alternative.", isbn="978-3-030-17666-2", doi="10.1007/978-3-030-17666-2_9", URL = {http://jgreen.de/wp-content/documents/2019/ESDEBP-book-chapter-Effectiveness_of_Combinatorial_Test_Design_with_Executable_BusinessProcesses.pdf} }
2017
- Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and DemonstrationsCEUR, 2017.
[BibTeX] [Download PDF]@Proceedings{, title = {Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations}, year = {2017}, editor = {Burgue{\~n}o, Loli and Corley, Jonathan and Bencomo, Nelly and Clarke, Peter J. and Collet, Philippe and Famelis, Michalis and Ghosh, Sudipto and Gogolla, Martin and Greenyer, Joel and Guerra, Esther and Kokaly, Sahar and Pierantonio, Alfonso and Rubin, Julia and Di Ruscio, Davide}, volume = {2019}, publisher = {CEUR}, month = dec, url = {http://ceur-ws.org/Vol-2019/}, }
2011
- J. Greenyer, J. Rieke, W. Schäfer, and O. Sudmann, “The Mechatronic UML Development Process,” in Engineering of Software – The Continuing Contributions of Leon J. Osterweil, P. L. Tarr and A. L. Wolf, Eds., Springer Verlag Berlin/Heidelberg, 2011, pp. 311-322. doi:10.1007/978-3-642-19823-6_16
[BibTeX] [Download PDF]@INCOLLECTION{Schafer2011, author = {Greenyer, Joel and Rieke, Jan and Sch\"{a}fer, Wilhelm and Sudmann, Oliver}, title = {The {Mechatronic UML} Development Process}, booktitle = {Engineering of Software -- The Continuing Contributions of Leon J. Osterweil}, publisher = {Springer Verlag Berlin/Heidelberg}, year = {2011}, editor = {Tarr, Peri L. and Wolf, Alexander L.}, pages = {311-322}, affiliation = {Software Engineering Group, Heinz Nixdorf Institute, Department of Computer Science, University of Paderborn, Warburger Str. 100, 33098 Paderborn, Germany}, doi = {10.1007/978-3-642-19823-6_16}, isbn = {978-3-642-19823-6}, keyword = {Computer Science}, url = {http://dx.doi.org/10.1007/978-3-642-19823-6_16} }
2008
- D. Varró, M. Asztalos, D. Bisztray, A. Boronat, D. Dang, R. Geiß, J. Greenyer, P. Van Gorp, O. Kniemeyer, A. Narayanan, E. Rencis, and E. Weinell, “Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools,” in Applications of Graph Transformations with Industrial Relevance, A. Schürr, M. Nagl, and A. Zündorf, Eds., Springer-Verlag Berlin/Heidelberg, 2008, p. 540–565. doi:10.1007/978-3-540-89020-1_36
[BibTeX] [Download PDF]@INCOLLECTION{Varro:2008:TUM:1479817.1479862, author = {Varr\'{o}, D\'{a}niel and Asztalos, M\'{a}rk and Bisztray, D\'{e}nes and Boronat, Artur and Dang, Duc-Hanh and Gei\ss, Rubino and Greenyer, Joel and Van Gorp, Pieter and Kniemeyer, Ole and Narayanan, Anantha and Rencis, Edgars and Weinell, Erhard}, title = {Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools}, booktitle = {Applications of Graph Transformations with Industrial Relevance}, publisher = {Springer-Verlag Berlin/Heidelberg}, year = {2008}, editor = {Sch\"{u}rr, Andy and Nagl, Manfred and Z\"{u}ndorf, Albert}, pages = {540--565}, acmid = {1479862}, doi = {10.1007/978-3-540-89020-1_36}, isbn = {978-3-540-89019-5}, numpages = {26}, url = {http://dx.doi.org/10.1007/978-3-540-89020-1_36} }
Technical Reports and Other Publications
2022
- C. Wiecher, C. Mandel, M. Günther, J. Fischbach, J. Greenyer, M. Greinert, C. Wolff, R. Dumitrescu, D. Méndez, and A. Albers, “Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems,” Arxiv Preprint, vol. abs/2209.01473, 2022. doi:10.48550/ARXIV.2209.01473
[BibTeX] [Download PDF]@article{Wiecher2022, author = {Carsten Wiecher and Constantin Mandel and Matthias G{\"{u}}nther and Jannik Fischbach and Joel Greenyer and Matthias Greinert and Carsten Wolff and Roman Dumitrescu and Daniel M{\'{e}}ndez and Albert Albers}, title = {Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems}, journal = {Arxiv Preprint}, volume = {abs/2209.01473}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.01473}, doi = {10.48550/ARXIV.2209.01473}, eprinttype = {arXiv}, eprint = {2209.01473}, url = {https://arxiv.org/abs/2209.01473} }
2013
- J. Greenyer, V. Panzica La Manna, C. Brenner, and C. Ghezzi, “Synthesizing Safe Dynamic Updates from Evolving Specifications,” Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, n. 2013.2, 2013.
[BibTeX] [Download PDF]@TECHREPORT{Greenyer2013, author = {Joel Greenyer and Valerio {Panzica La Manna} and Christian Brenner and Carlo Ghezzi}, title = {Synthesizing Safe Dynamic Updates from Evolving Specifications}, institution = {Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano}, year = {2013}, number = {n. 2013.2}, month = {Jan.}, note = {http://scenariotools.org/docs/2013/SynthesizingDynamicallyUpdatingControllers-TechRep.pdf}, owner = {jgreen}, timestamp = {2013.01.17}, url = {http://scenariotools.org/docs/2013/SynthesizingDynamicallyUpdatingControllers-TechRep.pdf} }
2011
- J. Greenyer and J. Rieke, “An Improved Algorithm for Preventing Information Loss in Incremental Model Synchronization,” Software Engineering Group, Heinz Nixdorf Institute, tr-ri-11-324, 2011.
[BibTeX] [Download PDF]@TECHREPORT{Greenyer2011, author = {J. Greenyer AND J. Rieke}, title = {An Improved Algorithm for Preventing Information Loss in Incremental Model Synchronization}, institution = {Software Engineering Group, Heinz Nixdorf Institute}, year = {2011}, number = {tr-ri-11-324}, url = {http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/GR11_tr.pdf} }
2010
- J. Greenyer, “Synthesizing Modal Sequence Diagram Specifications with Uppaal-Tiga,” University of Paderborn, tr-ri-10-310, 2010.
[BibTeX] [Download PDF]@TECHREPORT{Greenyer2010a, author = {Joel Greenyer}, title = {Synthesizing {Modal Sequence Diagram} Specifications with {Uppaal-Tiga}}, institution = {University of Paderborn}, year = {2010}, number = {tr-ri-10-310}, month = {February}, series = {Technical Report}, url = {http://www.cs.uni-paderborn.de/fileadmin/Informatik/FG-Schaefer/Personen/jgreen/msd-to-tga/msd-to-tiga.pdf}, volume = {tr-ri-10-310} }
2008
- J. Greenyer, E. Kindler, J. Rieke, and O. Travkin, “TGGs for Transforming UML to CSP: Contribution to the AGTIVE 2007 Graph Transformation Tools Contest,” Software Engineering Group, Department of Computer Science, University of Paderborn, tr-ri-08-287, 2008.
[BibTeX] [Download PDF]@TECHREPORT{GKRT2008_ag, author = {Joel Greenyer AND Ekkart Kindler AND Jan Rieke AND Oleg Travkin}, title = {{TGGs} for Transforming {UML} to {CSP}: Contribution to the {AGTIVE} 2007 Graph Transformation Tools Contest}, institution = {Software Engineering Group, Department of Computer Science, University of Paderborn}, year = {2008}, number = {tr-ri-08-287}, url = {http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/tr-ri-08-287.pdf} }
2005
- A. Gepting, J. Greenyer, E. Kindler, Alexander Maas, S. Munkelt, C. Pales, T. Pivl, O. Rohe, V. Rubin, M. Sanders, A. Scholand, C. Wagner, and R. Wagner, “Component Tools,” in Tagungsband der Informatiktage 2005, Schloss Birlinghoven, St. Augustin, 2005.
[BibTeX]@INPROCEEDINGS{GGKetal05_ag, author = {Alexander Gepting AND Joel Greenyer AND Ekkart Kindler AND Alexander Maas AND Sebastian Munkelt AND Csaba Pales AND Thorsten Pivl AND Oliver Rohe AND Vladimir Rubin AND Markus Sanders AND Andreas Scholand AND Christian Wagner AND Robert Wagner}, title = {Component Tools}, booktitle = {Tagungsband der Informatiktage 2005, Schloss Birlinghoven, St. Augustin}, year = {2005} }
Theses
2011
- J. Greenyer, “Scenario-based Design of Mechatronic Systems,” PhD Thesis, Paderborn, 2011.
[BibTeX] [Download PDF]@PHDTHESIS{Greenyer2011, author = {Joel Greenyer}, title = {Scenario-based Design of Mechatronic Systems}, school = {University of Paderborn}, year = {2011}, address = {Paderborn}, month = {October 2011}, comment = {Thesis defense on 12 Sept 2011}, url = {http://dups.ub.uni-paderborn.de/hs/urn/urn:nbn:de:hbz:466:2-7690} }
2006
- J. Greenyer, “A Study of Technologies for Model Transformation: Reconciling TGGs with QVT,” Diplomarbeit Master Thesis, Paderborn, 2006.
[BibTeX] [Download PDF]@MASTERSTHESIS{Greenyer06, author = {Joel Greenyer}, title = {A Study of Technologies for Model Transformation: Reconciling {TGGs} with {QVT}}, school = {University of Paderborn}, year = {2006}, type = {Diplomarbeit}, address = {Paderborn}, month = {July}, url = {sources/DiplomarbeitJGreenyer.pdf} }