Home > Publications > Publikationen

Publications of Joel Greenyer


Our publications from 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 (more)


Our publications from 2015:




Our publications from 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), Apr 5 - 6, 2014 (more)

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 (more)


Our publications from 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), pp. 433-443, New York, NY, USA, Aug 2013 (more)

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), May 2013 (more)

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), Mar 2013 (more)

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 (more)


Our publications from 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), pp. 2:1--2:9, July 2012 ACM, ACM, New York, NY, USA (more)


Our publications from 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, Oct 4 - 7, 2011, Springer (more)

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, volume 6698 , pp. 144-159, June 2011, Springer Berlin/Heidelberg (more)

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, May 2011 (more)

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


Our publications from 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), volume 6100 , pp. 323-328, Jan 2010, Springer Verlag (more)


Our publications from 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), volume 6 , pp. 1-12, University of Stanford, CA, USA, 2009, Design Society (more)

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

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, pp. 615-618, May 2009 (more)


Our publications from 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, volume 5088/-1 / 2008 , pp. 540-565, 2008, Springer Verlag (more)

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, volume TUD-FI08-09 , pp. 36-39, Dresden, Germany, Sep 2008, Technische Universitaet Dresden (more)


Our publications from 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, volume 6 , pp. 253-273, 2007 (more)

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, volume 4735 , pp. 16-30, 2007, Springer Verlag (more)


Our publications from 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, pp. 13-16, 2005 (more)


Our publications from 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, pp. 37-42, Sep 2004 (more)