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

Herwig, M., Hundeshagen, N., Kollenberg, C., und 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, verfügbar unter: https://doi.org/10.18420/delfi2025_30.

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

Wete, E., Greenyer, J., Yaacov, T., Kudenko, D., und 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, verfügbar unter: https://doi.org/10.1109/MODELS67397.2025.00010.

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

Herwig, M., Hundeshagen, N., Kastaun, M., und 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, verfügbar unter: https://doi.org/10.18420/delfi2024_45.

Beringhoff, F., Greenyer, J., Roesener, C., und 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), verfügbar unter: http://jgreen.de/wp-content/documents/2024/Beringhoff2024_Realizing Scenario Based Verification Tests _AcceptedVersion.pdf.

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

Herwig, M., Hundeshagen, N., Hundhausen, J., Kablowski, S., und 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., verfügbar unter: 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., und Albers, A. (2024) „Model-based analysis and specification of functional requirements and tests for complex automotive systems“, Systems Engineering, verfügbar unter: https://doi.org/https://doi.org/10.1002/sys.21748.

Wete, E., Greenyer, J., Kudenke, D., und 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, verfügbar unter: 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., und 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, verfügbar unter: 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., und Albers, A. (2022) „Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems“, Arxiv Preprint, abs/2209.01473, verfügbar unter: https://doi.org/10.48550/ARXIV.2209.01473.

Wete, E., Greenyer, J., Kudenko, D., Nejdl, W., Flegel, O., und 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, verfügbar unter: https://doi.org/10.1145/3550356.3559090.

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

Bruse, F., Herwig, M., und 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, verfügbar unter: https://doi.org/10.1007/978-3-031-07469-1_6.

Beringhoff, F., Greenyer, J., Roesener, C., und 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, verfügbar unter: https://doi.org/10.1109/IV51971.2022.9827097.

Wiecher, C., Fischbach, J., Greenyer, J., Vogelsang, A., Wolff, C., und 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, verfügbar unter: https://doi.org/10.1109/MODELS50736.2021.00020.

Wete, E., Greenyer, J., Wortmann, A., Flegel, O., und 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, verfügbar unter: https://doi.org/10.1109/MODELS50736.2021.00039.

Wiecher, C. und 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. und Vogelsang, A., Hrsg., Joint Proceedings of REFSQ-2021 Workshops, OpenRE,Posters and Tools Track, and Doctoral Symposium, Essen, Germany, 12-04-2021, CEUR Workshop Proceedings, CEUR, verfügbar unter: http://ceur-ws.org/Vol-2857/pt1.pdf.

Wiecher, C., Greenyer, J., Wolff, C., Anacker, H., und Dumitrescu, R. (2021) „Iterative and Scenario-Based Requirements Specification in a System of Systems Context“, in Dalpiaz, F. und Spoletini, P., Hrsg., Requirements Engineering: Foundation for Software Quality (REFSQ 2021), Springer International Publishing, 165–181, verfügbar unter: 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. und Rölke, H., Hrsg., 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, verfügbar unter: http://ceur-ws.org/Vol-2907/invited1.pdf.

Wiecher, C., Japs, S., Kaiser, L., Greenyer, J., Dumitrescu, R., und 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, verfügbar unter: https://doi.org/10.1145/3417990.3421264.

Blumreiter, M., Greenyer, J., Klös, V., Schwammberger, M., Sommer, C., Vogelsang, A., und 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, verfügbar unter: http://jgreen.de/wp-content/documents/2019/MRT19_paper_3.pdf.

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

Wiecher, C., Greenyer, J., und 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, verfügbar unter: http://jgreen.de/wp-content/documents/2019/MASE19_paper_2.pdf.

Gritzner, D. und 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, verfügbar unter: 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., und 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, verfügbar unter: https://doi.org/10.1109/COASE.2018.8560544.

Greenyer, J., Gritzner, D., Harel, D., und Marron, A. (2018) „Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models“, in Hammoudi, S., Pires, L.F. und Selic, B., Hrsg., 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, verfügbar unter: 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., und Zahedi, M. (Hrsg.) (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, verfügbar unter: http://dl.acm.org/citation.cfm?id=3270112.

Gritzner, D. und Greenyer, J. (2018) „Synthesizing Executable PLC Code for Robots from Scenario-Based GR(1) Specifications“, in Seidl, M. und Zschaler, S., Hrsg., 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, verfügbar unter: 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., und Marron, A. (2018) „Modeling and programming a leader-follower challenge problem with scenario-based tools“, in Hebig, R. und Berger, T., Hrsg., 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, verfügbar unter: http://jgreen.de/wp-content/documents/2018/MDETools18challengeSBP.pdf.

Greenyer, J., Chazette, L., Gritzner, D., und 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. und Weyer, T., Hrsg., 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, verfügbar unter: http://ceur-ws.org/Vol-2060/mekes8.pdf.

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

Gritzner, D. und 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, verfügbar unter: 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., und Di Ruscio, D. (Hrsg.) (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, verfügbar unter: http://ceur-ws.org/Vol-2019/.

Greenyer, J. und 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, verfügbar unter: https://doi.org/10.1109/MODELS.2017.35.

Schmelter, D., Greenyer, J., und 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, verfügbar unter: https://doi.org/10.1109/REW.2017.14.

Greenyer, J., Gritzner, D., Gutjahr, T., König, F., Glade, N., Marron, A., und 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, verfügbar unter: https://doi.org/https://doi.org/10.1016/j.scico.2017.07.004.

Steinberg, S., Greenyer, J., Gritzner, D., Harel, D., Katz, G., und 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, verfügbar unter: https://doi.org/10.5220/0006271301820195.

Greenyer, J., Gritzner, D., Shi, J., und 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. und Ruscio, D.D., Hrsg., 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, verfügbar unter: http://jgreen.de/wp-content/documents/2017/paper-MDETOOLS2017.pdf.

Greenyer, J., Gritzner, D., König, F., Dahlke, J., Shi, J., und 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, verfügbar unter: https://doi.org/10.1145/3106237.3122827.

Greenyer, J. und Gritzner, D. (2016) „Synthesizing Energy-Efficient Controllers from Scenarios (Poster Paper)“, in de Lara, J., Clarke, P.J. und Sabetzadeh, M., Hrsg., 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, verfügbar unter: 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., und 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, verfügbar unter: https://doi.org/10.1016/j.protcy.2016.08.069.

Greenyer, J., Gritzner, D., Glade, N., Gutjahr, T., und 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, verfügbar unter: 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., und Marron, A. (2016) „Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools“, in de Lara, J., Clarke, P.J. und Sabetzadeh, M., Hrsg., 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, verfügbar unter: http://jgreen.de/wp-content/documents/2016/MODELS2016-ScenarioTools-Tooldemo.pdf.

Panzica La Manna, V., Segall, I., und 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, verfügbar unter: http://jgreen.de/wp-content/documents/2015/models15found-foundp064-p-0a5d9b3-25013-preprint.pdf.

Panzica La Manna, V., Greenyer, J., Clun, D., und 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, verfügbar unter: https://doi.org/10.1109/MiSE.2015.15.

Niklas, K., Greenyer, J., und 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, verfügbar unter: https://doi.org/10.1109/MiSE.2015.18.

Cordy, M., Davril, J.-M., Greenyer, J., Gressi, E., und 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, verfügbar unter: https://doi.org/10.1145/2791060.2791111.

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., und Voges, R. (2015) „Scenarios@run.time -- Distributed Execution of Specifications on IoT-Connected Robots“, in Götz, S., Bencomo, N., Blair, G. und Song, H., Hrsg., Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015, CEUR Workshop Proceedings, CEUR, 71–80, verfügbar unter: http://jgreen.de/wp-content/documents/2015/scenarios-at-runtime.pdf.

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

Greenyer, J., Brenner, C., Cordy, M., Heymans, P., und 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. und Kaiser, R., Hrsg., 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., und 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, verfügbar unter: https://doi.org/10.1145/2786805.2804432.

Greenyer, J., Hansen, C., Kotlarski, J., und 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, verfügbar unter: https://doi.org/http://dx.doi.org/10.1016/j.protcy.2014.09.093.

Brenner, C., Greenyer, J., Holtmann, J., Liebel, G., Stieglbauer, G., und Tichy, M. (2014) „ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study“, in Electronic Communications of the EASST, EASST, verfügbar unter: 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., und Greenyer, J. (2014) „A Comparison of Incremental Triple Graph Grammar Tools“, in Electronic Communications of EASST, EASST, verfügbar unter: http://jgreen.de/wp-content/documents/2014/A-Comparison-of-Incremental-TGG-Tools-GT-VMT2014.pdf.

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

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

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

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

Panzica La Manna, V., Greenyer, J., Ghezzi, C., und 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, verfügbar unter: http://jgreen.de/wp-content/documents/2013/panzica-greenyer-ghezzi-brenner-StudyingAdditionalCriteriaOfDynamicUpdates-SEAMS2013.pdf.

Greenyer, J., Brenner, C., Cordy, M., Heymans, P., und 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, verfügbar unter: https://doi.org/10.1145/2491411.2491445.

Greenyer, J. und Kindler, E. (2013) „Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications“, in Moreira, A., Schätz, B., Gray, J., Vallecillo, A. und Clarke, P., Hrsg., 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, verfügbar unter: https://doi.org/10.1007/978-3-642-41533-3_47.

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

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

Greenyer, J. und 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, verfügbar unter: https://doi.org/10.1007/978-3-642-34176-2_19.

Ghezzi, C., Greenyer, J., und 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, verfügbar unter: https://doi.org/10.1109/SEAMS.2012.6224401.

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

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

Greenyer, J., Pook, S., und Rieke, J. (2011) „Preventing Information Loss in Incremental Model Synchronization by Reusing Elements“, in France, R., Kuester, J., Bordbar, B. und Paige, R., Hrsg., 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, verfügbar unter: https://doi.org/10.1007/978-3-642-21470-7_11.

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

Brink, C., Greenyer, J., Schäfer, W., Hahn, M., und Tichy, M. (2011) „Simulation von hybridem Verhalten in CAMeL-View“, in Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn, verfügbar unter: 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, verfügbar unter: http://www.cs.uni-paderborn.de/fileadmin/Informatik/FG-Schaefer/Personen/jgreen/msd-to-tga/msd-to-tiga.pdf.

Greenyer, J. und 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, verfügbar unter: https://doi.org/10.1007/s10270-009-0121-8.

Gausemeier, J., Schäfer, W., Greenyer, J., Kahl, S., Pook, S., und Rieke, J. (2009) „Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems“, in Bergendahl, M.N., Grimheden, M. und Leifer, L., Hrsg., 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., und 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, verfügbar unter: 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., und Yalcin, C. (2008) „The Fujaba Automotive Tool Suite“, in Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008, verfügbar unter: 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., und Weinell, E. (2008) „Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools“, in Schürr, A., Nagl, M. und Zündorf, A., Hrsg., Applications of Graph Transformations with Industrial Relevance, Springer-Verlag Berlin/Heidelberg, 540–565, verfügbar unter: https://doi.org/10.1007/978-3-540-89020-1_36.

Greenyer, J., Kindler, E., Rieke, J., und 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, verfügbar unter: http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/tr-ri-08-287.pdf.

Lohmann, C., Greenyer, J., Jiang, J., und 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, verfügbar unter: http://www.jot.fm/issues/issue_2007_10/paper13.pdf.

Greenyer, J. und Kindler, E. (2007) „Reconciling TGGs with QVT“, in Engels, G., Opdyke, B., Schmidt, D. und Weil, F., Hrsg., 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, verfügbar unter: 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., und 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., und 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, verfügbar unter: http://www.cs.uni-paderborn.de/uploads/tx_sibibtex/GGK_04.pdf.