Startseite > Publikationen > Publikationen

Publikationen von Joel Greenyer


Unsere Publikationen aus dem Jahr 2017:



Schmelter, David; Greenyer, Joel; Holtmann, Jörg: Toward Learning Realizable Scenario-based, Formal Requirements Specifications. In: 4th International Workshop on Artificial Intelligence for Requirements Engineering (AIRE), Lisbon, Portugal, Sep. 2017, IEEE (Details)


Unsere Publikationen aus dem Jahr 2015:




Unsere Publikationen aus dem Jahr 2014:



Leblebici, Erhan; Anjorin, Anthony; Schürr, Andy; Hildebrandt, Stephan; Rieke, Jan; Greenyer, Joel: A Comparison of Incremental Triple Graph Grammar Tools. In: 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2014), 5. - 6. Apr. 2014 (Details)

Brenner, Christian; Greenyer, Joel; Holtmann, Jörg; Liebel, Grischa; Stieglbauer, Gerald; Tichy, Matthias: 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), Apr. 2014 (Details)


Unsere Publikationen aus dem Jahr 2013:



Greenyer, Joel; Brenner, Christian; Cordy, Maxime; Heymans, Patrick; Gressi, Erika: Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications. In: Proc. 9th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2013), S. 433-443, New York, NY, USA, Aug. 2013 (Details)

Panzica La Manna, Valerio; Greenyer, Joel; Ghezzi, Carlo; Brenner, Christian: Formalizing Correctness Criteria of Dynamic Updates Derived from Specification Changes. In: Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), Mai 2013 (Details)

Brenner, Christian; Greenyer, Joel; Panzica La Manna, Valerio: 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), Mrz. 2013 (Details)

Hildebrandt, Stephan; Lambers, Leen; Giese, Holger; Rieke, Jan; Greenyer, Joel; Schäfer, Wilhelm; Lauder, Marius; Anjorin, Anthony; Schürr, Andy: A Survery of Triple Graph Grammar Tools. In: BX 2013 - 2nd International Workshop on Bidirectional Transformations, 2013 (Details)


Unsere Publikationen aus dem Jahr 2012:



Greenyer, Joel; Frieben, Jens: Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis. In: Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, The 4th Workshop on Behavioural Modelling - Foundations and Application (BM-FA 2012), S. 2:1--2:9, Jul. 2012 ACM, ACM, New York, NY, USA (Details)


Unsere Publikationen aus dem Jahr 2011:



Greenyer, Joel; Rieke, Jan: Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata. In: Applications of Graph Transformations with Industrial Relevance -- 4th International Symposium, AGTIVE 2011, Lecture Notes in Computer Science (LNCS), Budapest, Hungary, 4. - 7. Okt. 2011, Springer (Details)

Greenyer, Joel; Pook, Sebastian; Rieke, Jan: Preventing Information Loss in Incremental Model Synchronization by Reusing Elements. In: Proceedings of the Seventh European Conference on Modelling Foundations and Applications (ECMFA 2011), Lecture Notes in Computer Science, Band 6698 , S. 144-159, Jun. 2011, Springer Berlin/Heidelberg (Details)

Brink, Christopher; Greenyer, Joel; Schäfer, Wilhelm; Hahn, Martin; Tichy, Matthias: Simulation von hybridem Verhalten in CAMeL-View. In: Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn, Mai 2011 (Details)

Greenyer, Joel; Rieke, Jan; Schäfer, Wilhelm; Sudmann, Oliver: The Mechatronic UML Development Process. In: Tarr, Peri L.; Wolf, Alexander L. (Hrsg.) Engineering of Software - The Continuing Contributions of Leon J. Osterweil, S. 311-322. Springer Berlin Heidelberg, 2011 (Details)


Unsere Publikationen aus dem Jahr 2010:



Legros, Elodie; Schäfer, Wilhelm; Schürr, Andy; Stürmer, Ingo; Greenyer, Joel; Heinzemann, Christian; Henkler, Stefan; Ristov, Renate; Travkin, Dietrich; Yalcin, Coni: MATE - A Model Analysis and Transformation Environment for MATLAB Simulink. In: Model-Based Engineering of Embedded Real-Time Systems (MBEERTS), Lecture Notes in Computer Science (LNCS), Band 6100 , S. 323-328, Jan. 2010, Springer Verlag (Details)


Unsere Publikationen aus dem Jahr 2009:



Gausemeier, Jürgen; Schäfer, Wilhelm; Greenyer, Joel; Kahl, Sascha; Pook, Sebastian; Rieke, Jan: 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), Band 6 , S. 1-12, University of Stanford, CA, USA, 2009, Design Society (Details)

Greenyer, Joel: Integrating Models for the Design of Mechatronic Systems. In: Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs, S. 173-174, Dagstuhl, Jun. 2009 (Details)

Henkler, Stefan; Greenyer, Joel; Hirsch, Martin; Schäfer, Wilhelm; Alhawash, Kahtan; Eckardt, Tobias; Heinzemann, Christian; Löffler, Renate; Seibel, Andreas; Giese, Holger: Synthesis of Timed Behavior From Scenarios in the Fujaba Real-Time Tool Suite. In: Proc. of the 31th International Conference on Software Engineering (ICSE), Vancouver, Canada, S. 615-618, Mai 2009 (Details)


Unsere Publikationen aus dem Jahr 2008:



Varro, Daniel; Asztalos, Mark; Bisztray, Denes; Boronat, Artur; Dang, Duc-Hanh; Geiß, Rubino; Greenyer, Joel; Van Gorp, Pieter; Kniemeyer, Ole; Narayanan, Anantha; Rencis, Edgars; Weinell, Erhard: Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In: Proc. of the 3rd International Workshop on Applications of Graph Transformation with Industrial Relevance (AGTIVE '07), Kassel, Germany, Band 5088/-1 / 2008 , S. 540-565, 2008, Springer Verlag (Details)

Alhawash, Kahtan; Ceylan, Toni; Eckardt, Tobias; Fazal-Baqaie, Masud; Greenyer, Joel; Heinzemann, Christian; Henkler, Stefan; Ristov, Renate; Travkin, Dietrich; Yalcin, Coni: The Fujaba Automotive Tool Suite. In: Proceedings of 6th International Fujaba Days (Fujaba Days 2008), Dresden, Germany, September 18-19, 2008, Band TUD-FI08-09 , S. 36-39, Dresden, Germany, Sep. 2008, Technische Universitaet Dresden (Details)


Unsere Publikationen aus dem Jahr 2007:



Lohmann, Carsten; Greenyer, Joel; Jiang, Juanjuan; Systä, Tarja: Applying Triple Graph Grammars For Pattern-Based Workflow Model Transformations. In: Journal of Object Technology, Special Issue: TOOLS EUROPE 2007, October 2007, JOT, Band 6 , S. 253-273, 2007 (Details)

Greenyer, Joel; Kindler, Ekkart: Reconciling TGGs with QVT. In: Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007., LNCS, Band 4735 , S. 16-30, 2007, Springer Verlag (Details)


Unsere Publikationen aus dem Jahr 2005:



Gepting, A.; Greenyer, Joel; Kindler, Ekkart; Maas, A.; Munkelt, S.; Pales, C.; Pivl, T.; Rohe, O.; Rubin, Vladimir; Sanders, Markus; Scholand, Anderas; Wagner, C.; Wagner, Robert: Component Tools. In: Tagungsband der Informatiktage 2005, Schloss Birlinghoven, St. Augustin, S. 13-16, 2005 (Details)


Unsere Publikationen aus dem Jahr 2004:



Gepting, A.; Greenyer, Joel; Kindler, Ekkart; Maas, A.; Munkelt, S.; Pales, C.; Pivl, T.; Rohe, O.; Rubin, Vladimir; Sanders, Markus; Scholand, Anderas; Wagner, C.; Wagner, Robert: 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, S. 37-42, Sep. 2004 (Details)