Shapira, I. and Weiss, G. (2025) “Guarded Process Trees: Translation to Petri Nets and Application in Process Mining”, available: https://www.uni-kassel.de/eecs/index.php?eID=dumpFile&t=f&f=40956&token=6ff5615c876f8034c6c7ba5d903786275d7eebe3.

Herwig, M., Hundeshagen, N., Kollenberg, C., and Weber, R. (2025) “On AI Generated Reductions from Natural Language Descriptions”, in 23. Fachtagung Bildungstechnologien (DELFI 2025), Bonn: Gesellschaft für Informatik e.V., 289–293, available: https://doi.org/10.18420/delfi2025_30.

Herwig, M., Hundeshagen, N., and Lange, M. (2025) “An Earley-Based Universal Error-Correcting Parser”, in International Conference on Implementation and Application of Automata, Springer, 208–222, available: https://doi.org/10.1007/978-3-032-02602-6_15.

Wete, E., Greenyer, J., Yaacov, T., Kudenko, D., and Nejdl, W. (2025) “Streamlined Integration of GR(1) Synthesis and Reinforcement Learning for Optimizing Critical Cyber-Physical Systems”, in 2025 ACM IEEE 28th International Conference on Model Driven Engineering Languages and Systems (MODELS), 36–47, available: https://doi.org/10.1109/MODELS67397.2025.00010.

Herwig, M., Hundeshagen, N., and Lange, M. (2025) “Problem-specific visual feedback in discrete modelling”, eleed-e-learning and education, available: https://www.eleed.de/eleed/article/view/257.

Herwig, M., Hundeshagen, N., Kastaun, M., and Kollenberg, C. (2024) “Towards Computer-Aided Teaching of Reductions in Theoretical Computer Science”, in Proceedings of DELFI 2024, Gesellschaft für Informatik eV, 10–18420, available: https://doi.org/10.18420/delfi2024_45.

Beringhoff, F., Greenyer, J., Roesener, C., and Tichy, M. (2024) “Realizing Scenario-Based Verification Tests of Automated Vehicles with an AI-Controlled Surrounding Vehicle in a Practice-Relevant Context”, in 2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC), Edmonton, Canada (accepted, to Appear), available: http://jgreen.de/wp-content/documents/2024/Beringhoff2024_Realizing Scenario Based Verification Tests _AcceptedVersion.pdf.

Bruse, F., Herwig, M., and Lange, M. (2024) “Weights of formal languages based on geometric series with an application to automatic grading”, Theor. Comput. Sci., 983, 114295, available: https://doi.org/10.1016/j.tcs.2023.114295.

Herwig, M., Hundeshagen, N., Hundhausen, J., Kablowski, S., and Lange, M. (2024) “Problem-Specific Visual Feedback in Discrete Modelling”, in DELFI 2024 - Die 22. Fachtagung Bildungstechnologien Der Gesellschaft Für Informatik E.V., DELFI 2024, Gesellschaft für Informatik e.V., available: https://doi.org/10.18420/DELFI2024\_08.

Wiecher, C., Mandel, C., Günther, M., Fischbach, J., Greenyer, J., Greinert, M., Wolff, C., Dumitrescu, R., Mendez, D., and Albers, A. (2024) “Model-based analysis and specification of functional requirements and tests for complex automotive systems”, Systems Engineering, available: https://doi.org/https://doi.org/10.1002/sys.21748.

Wete, E., Greenyer, J., Kudenke, D., and Nejdl, W. (2024) “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), AAMAS ’24, Auckland, New Zealand: International Foundation for Autonomous Agents and Multiagent Systems, available: 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.

Wete, E., Greenyer, J., Wortmann, A., Kudenko, D., and Nejdl, W. (2023) “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, IEEE, 1–4, available: https://doi.org/10.1109/ETFA54631.2023.10275559.

Wiecher, C., Mandel, C., Günther, M., Fischbach, J., Greenyer, J., Greinert, M., Wolff, C., Dumitrescu, R., Méndez, D., and Albers, A. (2022) “Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems”, Arxiv Preprint, abs/2209.01473, available: https://doi.org/10.48550/ARXIV.2209.01473.

Wete, E., Greenyer, J., Kudenko, D., Nejdl, W., Flegel, O., and Eisner, D. (2022) “A tool for the automation of efficient multi-robot choreography planning and execution”, in Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS ’22, Montreal, Quebec, Canada: Association for Computing Machinery, 37–41, available: https://doi.org/10.1145/3550356.3559090.

Copei, S., Emme, C., Freiherr von Künßberg, M., Malik, A., Nolte, N., Norbisrath, U., and Zündorf, A. (2022) “Supporting Requirements Engineering and Development with Event Modeling - an Overview.”, in Riebisch, M. and Tropmann-Frick, M., eds., Modellierung 2022, Bonn: Gesellschaft für Informatik e.V., 145–154, available: https://doi.org/10.18420/modellierung2022-007.

Bruse, F., Herwig, M., and Lange, M. (2022) “A Similarity Measure for Formal Languages Based on Convergent Geometric Series”, in International Conference on Implementation and Application of Automata, Springer, 80–92, available: https://doi.org/10.1007/978-3-031-07469-1_6.

Beringhoff, F., Greenyer, J., Roesener, C., and Tichy, M. (2022) “Thirty-One Challenges in Testing Automated Vehicles: Interviews with Experts from Industry and Research”, in 2022 IEEE Intelligent Vehicles Symposium (IV), 360–366, available: https://doi.org/10.1109/IV51971.2022.9827097.

Wiecher, C., Fischbach, J., Greenyer, J., Vogelsang, A., Wolff, C., and Dumitrescu, R. (2021) “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, MODELS ’21, Virtual Event, Japan: IEEE Computer Society, available: https://doi.org/10.1109/MODELS50736.2021.00020.

Wete, E., Greenyer, J., Wortmann, A., Flegel, O., and Klein, M. (2021) “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, MODELS ’21, Virtual Event, Japan: IEEE Computer Society, available: https://doi.org/10.1109/MODELS50736.2021.00039.

Wiecher, C. and Greenyer, J. (2021) “BeSoS: A Tool for Behavior-driven and Scenario-based Requirements Modeling for Systems of Systems”, in Aydemir, F., Gralha, C., Abualhaija, S., Breaux, T., Daneva, M., Ernst, N., Ferrari, A., Franch, X., Ghanavati, S., Groen, E., Guizzardi, R., Guo, J., Herrmann, A., Horkoff, J., Mennig, P., Paja, E., Perini, A., Seyff, N., Susi, A. and Vogelsang, A., eds., Joint Proceedings of REFSQ-2021 Workshops, OpenRE,Posters and Tools Track, and Doctoral Symposium, Essen, Germany, 12-04-2021, CEUR Workshop Proceedings, CEUR, available: http://ceur-ws.org/Vol-2857/pt1.pdf.

Wiecher, C., Greenyer, J., Wolff, C., Anacker, H., and Dumitrescu, R. (2021) “Iterative and Scenario-Based Requirements Specification in a System of Systems Context”, in Dalpiaz, F. and Spoletini, P., eds., Requirements Engineering: Foundation for Software Quality (REFSQ 2021), Springer International Publishing, 165–181, available: https://doi.org/10.1007/978-3-030-73128-1_12.

Greenyer, J. (2021) “Scenario-Based Modeling and Programming of Distributed Systems (Extended Abstract for an Invited Talk)”, in Köhler-Bussmeier, M., Kindler, E. and Rölke, H., eds., 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), CEUR Workshop Proceedings, CEUR, 241–252, available: http://ceur-ws.org/Vol-2907/invited1.pdf.

Wiecher, C., Japs, S., Kaiser, L., Greenyer, J., Dumitrescu, R., and Wolff, C. (2020) “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, MODELS ’20, Virtual Event, Canada: Association for Computing Machinery, available: https://doi.org/10.1145/3417990.3421264.

Blumreiter, M., Greenyer, J., Klös, V., Schwammberger, M., Sommer, C., Vogelsang, A., and Wortmann, A. (2019) “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., CEUR Workshop Proceedings, CEUR, available: http://jgreen.de/wp-content/documents/2019/MRT19_paper_3.pdf.

Lübke, D., Greenyer, J., and Vatlin, D. (2019) “Effectiveness of Combinatorial Test Design with Executable Business Processes”, in Lübke, D. and Pautasso, C., eds., Empirical Studies on the Development of Executable Business Processes, Cham: Springer International Publishing, 199–223, available: https://doi.org/10.1007/978-3-030-17666-2_9.

Wiecher, C., Greenyer, J., and Korte, J. (2019) “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., CEUR Workshop Proceedings, CEUR, available: http://jgreen.de/wp-content/documents/2019/MASE19_paper_2.pdf.

Gritzner, D. and Greenyer, J. (2018) “Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications”, in Modellierung 2018, Bonn: Gesellschaft für Informatik e.V., 167–182, available: https://dl.gi.de/server/api/core/bitstreams/7b84db6a-6176-453d-ba1f-b189858b15b8/content.

Gritzner, D., Knöchelmann, E., Greenyer, J., Eggers, K., Tappe, S., and Ortmaier, T. (2018) “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), 408–413, available: https://doi.org/10.1109/COASE.2018.8560544.

Greenyer, J., Gritzner, D., Harel, D., and Marron, A. (2018) “Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models”, in Hammoudi, S., Pires, L.F. and Selic, B., eds., Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira - Portugal, January 22-24, 2018., SciTePress, 560–566, available: https://doi.org/10.5220/0006671105600566.

Babur, Ö., Strüber, D., Abrah~a}}o, S., Burgue~n}}o, L., Gogolla, M., Greenyer, J., Kokaly, S., Kolovos, D.S., Mayerhofer, T., and Zahedi, M. (Eds.) (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 [online], ACM, available: http://dl.acm.org/citation.cfm?id=3270112.

Gritzner, D. and Greenyer, J. (2018) “Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications”, in Seidl, M. and Zschaler, S., eds., Software Technologies: Applications and Foundations, Proceedings of the 4th Workshop on Model-Driven Robot Software Engineering (MORSE 2017), Lecture Notes in Computer Science, Marburg, Germany: Springer International Publishing, 247–262, available: http://jgreen.de/wp-content/documents/2017/controller-synthesis-and-PCL-Code-Generation-from-GR-1-robot-scenario-specs-MORSE2017.pdf.

Greenyer, J., Bar-Sinai, M., Weiss, G., Sadon, A., and Marron, A. (2018) “Modeling and programming a leader-follower challenge problem with scenario-based tools”, in Hebig, R. and Berger, T., eds., 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., CEUR Workshop Proceedings, CEUR, 376–385, available: http://jgreen.de/wp-content/documents/2018/MDETools18challengeSBP.pdf.

Greenyer, J. and Gutjahr, T. (2018) “Symbolic Execution for Realizability-Checking of Scenario-Based Specifications”, in Tichy, M., Bodden, E., Kuhrmann, M., Wagner, S. and Steghöfer, J.-P., eds., Software Engineering Und Software Management 2018 (SE 2018), LNI, Bonn: Gesellschaft für Informatik, 145–146.

Greenyer, J., Chazette, L., Gritzner, D., and Wete, E. (2018) “A Scenario-Based MDE Process for Dynamic Topology Collaborative Reactive Systems -- Early Virtual Prototyping of Car-to-X System Specifications”, in Schaefer, I., Cleophas, L., Felderer, M., Becker, S., Böhm, W., Fahland, D., Fill, H.-G., Heinrich, R., Kirchner, K., Köhler-Bußmeier, M., Konersmann, M., Mayr, H.C., Moldt, D., Oberweis, A., Reher, F., Riebisch, M., Sauer, S., Schlingloff, H., Thalheim, B., Vogelsang, A., Weißbach, R. and Weyer, T., eds., 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., CEUR Workshop Proceedings, CEUR-WS.org, 111–120, available: http://ceur-ws.org/Vol-2060/mekes8.pdf.

Gritzner, D. and Greenyer, J. (2018) “Generating Correct, Compact, and Efficient PLC Code from Scenario-based GR(1) Specifications”, Procedia Manufacturing, 24 (4th International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2018), 153–158, available: https://doi.org/10.1016/j.promfg.2018.06.046.

Burgueño, L., Corley, J., Bencomo, N., Clarke, P.J., Collet, P., Famelis, M., Ghosh, S., Gogolla, M., Greenyer, J., Guerra, E., Kokaly, S., Pierantonio, A., Rubin, J., and Di Ruscio, D. (Eds.) (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 Demonstrations [online], CEUR, available: http://ceur-ws.org/Vol-2019/.

Greenyer, J. and Gutjahr, T. (2017) “Symbolic Execution for Realizability-Checking of Scenario-Based Specifications”, in 2017 ACM IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), 312–322, available: https://doi.org/10.1109/MODELS.2017.35.

Schmelter, D., Greenyer, J., and Holtmann, J. (2017) “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), 372–378, available: https://doi.org/10.1109/REW.2017.14.

Greenyer, J., Gritzner, D., Gutjahr, T., König, F., Glade, N., Marron, A., and Katz, G. (2017) “ScenarioTools -- A tool suite for the scenario-based modeling and analysis of reactive systems”, Science of Computer Programming, 149(Supplement C), 15–27, available: https://doi.org/https://doi.org/10.1016/j.scico.2017.07.004.

Steinberg, S., Greenyer, J., Gritzner, D., Harel, D., Katz, G., and Marron, A. (2017) “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, ScitePress, 182–195, available: https://doi.org/10.5220/0006271301820195.

Greenyer, J., Gritzner, D., Shi, J., and Wete, E. (2017) “A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example”, in Burgueño, L., Corley, J., Bencomo, N., Clarke, P.J., Collet, P., Famelis, M., Ghosh, S., Gogolla, M., Greenyer, J., Guerra, E., Kokaly, S., Pierantonio, A., Rubin, J. and Ruscio, D.D., eds., Proceedings of MODELS 2017 Satellite Events, Co-Located With ACM IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), CEUR Workshop Proceedings, CEUR, 71–80, available: http://jgreen.de/wp-content/documents/2017/paper-MDETOOLS2017.pdf.

Greenyer, J., Gritzner, D., König, F., Dahlke, J., Shi, J., and Wete, E. (2017) “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), ESEC/FSE/2017, Paderborn, Germany: ACM, 974–978, available: https://doi.org/10.1145/3106237.3122827.

Greenyer, J. and Gritzner, D. (2016) “Synthesizing Energy-Efficient Controllers from Scenarios (Poster Paper)”, in de Lara, J., Clarke, P.J. and Sabetzadeh, M., eds., 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), CEUR, 87–93, available: http://jgreen.de/wp-content/documents/2016/MODELS2016-Synthesizing-Energy-Efficient-Controllers-from-Scenarios-Poster-Paper.pdf.

Greenyer, J., Gritzner, D., Katz, G., Marron, A., Glade, N., Gutjahr, T., and König, F. (2016) “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), 26, 552–559, available: https://doi.org/10.1016/j.protcy.2016.08.069.

Greenyer, J., Gritzner, D., Glade, N., Gutjahr, T., and König, F. (2016) “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, available: http://jgreen.de/wp-content/documents/2016/greenyer-et-al-scenario-based-specificationcar-of-car-to-x-systems-CPSSC-2016.pdf.

Greenyer, J., Gritzner, D., Katz, G., and Marron, A. (2016) “Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools”, in de Lara, J., Clarke, P.J. and Sabetzadeh, M., eds., 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), CEUR, 16–32, available: http://jgreen.de/wp-content/documents/2016/MODELS2016-ScenarioTools-Tooldemo.pdf.

Panzica La Manna, V., Segall, I., and Greenyer, J. (2015) “Synthesizing tests for combinatorial coverage of modal scenario specifications”, in Model Driven Engineering Languages and Systems (MODELS), 2015 ACM IEEE 18th International Conference on, 126–135, available: http://jgreen.de/wp-content/documents/2015/models15found-foundp064-p-0a5d9b3-25013-preprint.pdf.

Panzica La Manna, V., Greenyer, J., Clun, D., and Ghezzi, C. (2015) “Towards Executing Dynamically Updating Finite-State Controllers on a Robot System”, in Modeling in Software Engineering (MiSE), 2015 IEEE ACM 7th International Workshop on, 42–47, available: https://doi.org/10.1109/MiSE.2015.15.

Niklas, K., Greenyer, J., and Schneider, K. (2015) “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, 60–65, available: https://doi.org/10.1109/MiSE.2015.18.

Cordy, M., Davril, J.-M., Greenyer, J., Gressi, E., and Heymans, P. (2015) “All-at-once-synthesis of Controllers from Scenario-based Product Line Specifications”, in Proceedings of the 19th International Conference on Software Product Line, SPLC ’15, Nashville, Tennessee: ACM, 26–35, available: https://doi.org/10.1145/2791060.2791111.

Brenner, C., Greenyer, J., and Schäfer, W. (2015) “On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications”, in Egyed, A. and Schaefer, I., eds., Fundamental Approaches to Software Engineering (FASE 2015), Lecture Notes in Computer Science, Springer Berlin Heidelberg, 51–65, available: https://doi.org/10.1007/978-3-662-46675-9_4.

Greenyer, J., Gritzner, D., Gutjahr, T., Duente, T., Dulle, S., Deppe, F.-D., Glade, N., Hilbich, M., Koenig, F., Luennemann, J., Prenner, N., Raetz, K., Schnelle, T., Singer, M., Tempelmeier, N., and Voges, R. (2015) “Scenarios@run.time -- Distributed Execution of Specifications on IoT-Connected Robots”, in Götz, S., Bencomo, N., Blair, G. and Song, H., eds., Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), Co-Located With MODELS 2015, CEUR Workshop Proceedings, CEUR, 71–80, available: http://jgreen.de/wp-content/documents/2015/scenarios-at-runtime.pdf.

Greenyer, J., Brenner, C., Cordy, M., Heymans, P., and Gressi, E. (2015) “Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications (Extended Abstract of ESEC/FSE 2013 paper)”, in Aßmann, U., Demuth, B., Spitta, T., Püschel, G. and Kaiser, R., eds., 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, LNI, GI, 91–92.

Greenyer, J., Haase, M., Marhenke, J., and Bellmer, R. (2015) “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, ESEC/FSE/2015, Bergamo, Italy: ACM, 1002–1005, available: https://doi.org/10.1145/2786805.2804432.

Greenyer, J., Hansen, C., Kotlarski, J., and Ortmaier, T. (2014) “Towards Synthesizing Energy-efficient Controllers for Modern Production Systems from Scenario-based Specifications”, Procedia Technology, 15 (2nd International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, SysInt 2014), 388–397, available: https://doi.org/http://dx.doi.org/10.1016/j.protcy.2014.09.093.

Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., and Tichy, M. (2014) “ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study”, in Electronic Communications of the EASST, EASST, available: http://jgreen.de/wp-content/documents/2014/ScenarioTools-Real-Time-Play-Out-for-Test-Sequence-Validation-Automotive-Case Study-GT-VMT14.pdf.

Leblebici, E., Anjorin, A., Schürr, A., Hildebrandt, S., Rieke, J., and Greenyer, J. (2014) “A Comparison of Incremental Triple Graph Grammar Tools”, in Electronic Communications of EASST, EASST, available: http://jgreen.de/wp-content/documents/2014/A-Comparison-of-Incremental-TGG-Tools-GT-VMT2014.pdf.

Winetzhammer, S., Greenyer, J., and Tichy, M. (2014) “Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems”, in Amyot, D., Fonseca i Casas, P. and Mussbacher, G., eds., System Analysis and Modeling: Models and Reusability (SAM 2014), Lecture Notes in Computer Science, Springer International Publishing, 126–141, available: https://doi.org/10.1007/978-3-319-11743-0_9.

Hildebrandt, S., Lambers, L., Giese, H., Rieke, J., Greenyer, J., Schäfer, W., Lauder, M., Anjorin, A., and Schürr, A. (2013) “A Survey of Triple Graph Grammar Tools”, in Electronic Communications of the EASST, EC-EASST, 1–18, available: http://jgreen.de/wp-content/documents/2013/bx13.pdf.

Brenner, C., Greenyer, J., and Panzica La Manna, V. (2013) “The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions”, in Electronic Communications of the EASST, EASST, available: http://jgreen.de/wp-content/documents/2013/Brenner-Greenyer-Panzica-scenariotools-playout-w-environment-assumptions-GTVMT2013.pdf.

Greenyer, J., Molzam Sharifloo, A., Cordy, M., and Heymans, P. (2013) “Features meet scenarios: modeling and consistency-checking scenario-based product line specifications”, Requirements Engineering, 18(2), 175–198, available: https://doi.org/10.1007/s00766-013-0169-4.

Panzica La Manna, V., Greenyer, J., Ghezzi, C., and Brenner, C. (2013) “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), SEAMS ’13, San Francisco, CA, USA: IEEE Press, 63–72, available: http://jgreen.de/wp-content/documents/2013/panzica-greenyer-ghezzi-brenner-StudyingAdditionalCriteriaOfDynamicUpdates-SEAMS2013.pdf.

Greenyer, J., Brenner, C., Cordy, M., Heymans, P., and Gressi, E. (2013) “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), ESEC/FSE/2013, Saint Petersburg, Russia: ACM, 433–443, available: https://doi.org/10.1145/2491411.2491445.

Greenyer, J. and Kindler, E. (2013) “Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications”, in Moreira, A., Schätz, B., Gray, J., Vallecillo, A. and Clarke, P., eds., Model-Driven Engineering Languages and Systems: Proceedings of the ACM IEEE 16th International Conference (MODELS 2013), Lecture Notes in Computer Science, Springer Berlin Heidelberg, 774–789, available: https://doi.org/10.1007/978-3-642-41533-3_47.

Greenyer, J., Panzica La Manna, V., Brenner, C., and Ghezzi, C. (2013) Synthesizing Safe Dynamic Updates from Evolving Specifications, n. 2013.2, Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, available: http://scenariotools.org/docs/2013/SynthesizingDynamicallyUpdatingControllers-TechRep.pdf.

Cordy, M., Greenyer, J., Heymans, P., and Sharifloo, A.M. (2012) “Efficient Consistency Checking of Scenario-based Product Line Specifications”, in Heimdahl, M.P.E. and Sawyer, P., eds., Proceedings of the 20th International Requirements Engineering Conference (RE 2012), IEEE, 161–170, available: https://doi.org/10.1109/RE.2012.6345800.

Greenyer, J. and Rieke, J. (2012) “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), AGTIVE’11, Budapest, Hungary: Springer-Verlag, 222–237, available: https://doi.org/10.1007/978-3-642-34176-2_19.

Ghezzi, C., Greenyer, J., and Manna, V.P.L. (2012) “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), 145–154, available: https://doi.org/10.1109/SEAMS.2012.6224401.

Frieben, J. and Greenyer, J. (2012) “Consistency Checking Scenario-Based Specifications of Dynamic Systems”, in Workshop on Behaviour Modelling -- Foundations and Applications (BMFA 2012), available: http://jgreen.de/wp-content/documents/2012/consistency-checking-scenario-based-specifications-of-dynamic-systems.pdf.

Greenyer, J., Rieke, J., Schäfer, W., and Sudmann, O. (2011) “The Mechatronic UML Development Process”, in Tarr, P.L. and Wolf, A.L., eds., Engineering of Software -- The Continuing Contributions of Leon J. Osterweil, Springer Verlag Berlin/Heidelberg, 311–322, available: https://doi.org/10.1007/978-3-642-19823-6_16.

Greenyer, J., Pook, S., and Rieke, J. (2011) “Preventing Information Loss in Incremental Model Synchronization by Reusing Elements”, in France, R., Kuester, J., Bordbar, B. and Paige, R., eds., Modelling Foundations and Applications -- Proceedings of the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011, Birmingham, UK, June 6-9, 2011, Lecture Notes in Computer Science, Springer Verlag Berlin/Heidelberg, 144–159, available: https://doi.org/10.1007/978-3-642-21470-7_11.

Greenyer, J. and Rieke, J. (2011) An Improved Algorithm for Preventing Information Loss in Incremental Model Synchronization, tr-ri-11-324, Software Engineering Group, Heinz Nixdorf Institute, available: http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/GR11_tr.pdf.

Brink, C., Greenyer, J., Schäfer, W., Hahn, M., and Tichy, M. (2011) “Simulation von hybridem Verhalten in CAMeL-View”, in Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn, available: http://jgreen.de/wp-content/documents/2011/Simulation-von-hybridem-Verhalten-in-CAMeL-View_EMS2011.pdf.

Greenyer, J. (2010) Synthesizing Modal Sequence Diagram Specifications With Uppaal-Tiga, tr-ri-10-310, Technical Report, Technical Report, University of Paderborn, available: http://www.cs.uni-paderborn.de/fileadmin/Informatik/FG-Schaefer/Personen/jgreen/msd-to-tga/msd-to-tiga.pdf.

Greenyer, J. and Kindler, E. (2010) “Comparing relational model transformation technologies: implementing Query/View/Transformation with Triple Graph Grammars”, Software and Systems Modeling (SoSyM), 9(1), 21–46, available: https://doi.org/10.1007/s10270-009-0121-8.

Gausemeier, J., Schäfer, W., Greenyer, J., Kahl, S., Pook, S., and Rieke, J. (2009) “Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems”, in Bergendahl, M.N., Grimheden, M. and Leifer, L., eds., Proceedings of the 17th International Conference on Engineering Design (ICED’09), University of Stanford, CA, USA: Design Society, 1–12.

Greenyer, J. (2009) “Integrating Models for the Design of Mechatronic Systems (abstract)”, in Proceedings Des Gemeinsamen Workshops Der Informatik-Graduiertenkollegs Und Forschungskollegs, Dagstuhl, 173–174.

Henkler, S., Greenyer, J., Hirsch, M., Schafer, W., Alhawash, K., Eckardt, T., Heinzemann, C., Löffler, R., Seibel, A., and Giese, H. (2009) “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: IEEE Computer Society, 615–618, available: https://doi.org/10.1109/ICSE.2009.5070569.

Alhawash, K., Ceylan, T., Eckardt, T., Fazal-Baqaie, M., Greenyer, J., Heinzemann, C., Henkler, S., Ristov, R., Travkin, D., and Yalcin, C. (2008) “The Fujaba Automotive Tool Suite”, in Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008, available: http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/ACEetal08_ag.pdf.

Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D.-H., Geiss, R., Greenyer, J., Van Gorp, P., Kniemeyer, O., Narayanan, A., Rencis, E., and Weinell, E. (2008) “Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools”, in Schürr, A., Nagl, M. and Zündorf, A., eds., Applications of Graph Transformations With Industrial Relevance, Springer-Verlag Berlin/Heidelberg, 540–565, available: https://doi.org/10.1007/978-3-540-89020-1_36.

Greenyer, J., Kindler, E., Rieke, J., and Travkin, O. (2008) TGGs for Transforming UML to CSP: Contribution to the AGTIVE 2007 Graph Transformation Tools Contest, tr-ri-08-287, Software Engineering Group, Department of Computer Science, University of Paderborn, available: http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/tr-ri-08-287.pdf.

Lohmann, C., Greenyer, J., Jiang, J., and Systä, T. (2007) “Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations”, in Journal of Object Technology, Special Issue: TOOLS EUROPE 2007, October 2007, available: http://www.jot.fm/issues/issue_2007_10/paper13.pdf.

Greenyer, J. and Kindler, E. (2007) “Reconciling TGGs with QVT”, in Engels, G., Opdyke, B., Schmidt, D. and Weil, F., eds., Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, September 30 - October 5, 2007, Nashville, USA, LNCS, Lecture Notes in Computer Science, Springer Verlag Berlin/Heidelberg, pp. 16–30, available: https://doi.org/10.1007/978-3-540-75209-7_2.

Gepting, A., Greenyer, J., Kindler, E., Maas, A., Munkelt, S., Pales, C., Pivl, T., Rohe, O., Rubin, V., Sanders, M., Scholand, A., Wagner, C., and Wagner, R. (2005) “Component Tools”, in Tagungsband Der Informatiktage 2005, Schloss Birlinghoven, St. Augustin.

Gepting, A., Greenyer, J., Kindler, E., Maas, A., Munkelt, S., Pales, C., Pivl, T., Rohe, O., Rubin, V., Sanders, M., Scholand, A., Wagner, C., and Wagner, R. (2004) “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, available: http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/GGK_04.pdf.