Prof. Dr. Joel Greenyer

Foto von Prof. Dr. Joel Greenyer

Kontakt

E-Mail E-Mail E-Mail
Telefon +49 - (0)511 / 762 - 3361
Raum G 322

Mehr Informationen finden Sie auf meiner externen Webseite.

Über mich

Seit April 2013 bin ich Juniorprofessor im Fachgebiet Software Engineering. Von 2011 bis 2013 habe ich als "Post-Doc" am Politecnico di Milano geforscht. Ich war dort Mitglied der Gruppe DEpendable Evolvable Pervasive Software Engineering (DEEP-SE), unter der Leitung von Prof Carlo Ghezzi. Zuvor (2007 bis 2011) war ich Doktorand im Fachgebiet Software Engineering an der Uni Paderborn, unter der Leitung von Prof. Wilhelm Schäfer. Von 2000 bis 2006 studierte ich Informatik an der Uni Paderborn.

Forschungsinteressen

Die Softwareentwicklung ist heute weit mehr als das Schreiben einzelner Programme. Heutige Softwaresysteme bestehen typischerweise aus vielen Komponenten, die mit vielen Benutzern interagieren oder komplexe Prozesse einer mechanisch/physikalischen Umwelt steuern. Beispiele sind autonome Transport- und Robotersysteme, moderne Fertigungsanlagen oder vernetzte Informationssystem in Krankenhäusern. Diese Systeme müssen komplexe, teils sicherheitskritische Funktionen erfüllen – und daher ist ein systematischer Entwurf und die Qualitätssicherung äußerst wichtig.

Maßgebend für den eine erfolgreiche und effiziente Entwicklung eines komplexen Softwaresystems sind bereits der Entwurf. Spezifikationen der Anforderungen müssen einerseits intuitiv sein, damit sie schnell von Anwendern und Ingenieuren erfasst und kommuniziert werden können. Zum anderen sollten sie präzise formuliert sein, damit Missverständnisse vermieden werden können. Präzise Spezifikationen sind auch die Voraussetzung für den Einsatz automatischer Analysemethoden, um Wiedersprüche zu finden oder fehlerhafte Annahmen früh zu entdecken, die sonst in der weiteren Entwicklung kostenintensiven Iterationen erfordern können.

Eine Herangehensweise, komplexes Verhalten intuitiv zu erfassen, ist in Form von Szenarien, welche beschreiben, was ein System in einer bestimmten Situation tun oder nicht tun soll. Ziel ist, dass Anwender und Ingenieure Anforderungen in Form von Szenarien präzise erfassen können und somit nicht nur automatische Analysen möglich werden, sondern dass sogar spätere Entwurfsmodelle und letztlich Programmcode automatisch aus Szenarien synthetisiert werden können.

Um diese Vision zu realisieren beschäftige ich mich mit:

Abschlussarbeiten

Ich biete regelmäßig Abschlussarbieten an. Eine Auflistung der am Fachgebiet angebotenen Abschlussarbeiten finden Sie hier.

Eine Latex-Vorlage für Abschlussarbeiten mit einigen Informationen zur Strukturierung, Arbeit mit Quellen und Bewertungskriterien finden Sie hier.

Vor der Anmeldung von Abschlussarbeiten sollten Sie eine Zielvereibarung formulieren, in der Sie in eigenen Worten die Motiviation und Zielsetzung ihrer Arbeit formulieren. Eine Vorlage für eine solche Zielvereinbarung finden Sie hier.

Lehrveranstaltungen

Aktuell: WS 2014/15

Vorlesung:

Formale Methoden im Software Engineering (FMSE)
Fortgeschrittene Vorlesung auf englisch

Projekt:

Softwareprojekt (SWP)
Pflichtveranstaltung (in Kooperation mit Prof. Schneider)

 

SS 2014

Vorlesung: 

Software-Qualität (SWQ)
Wahlpflichtverantstaltung Bachelor

Labor

Labor "Agile Software-Entwicklung"
Labor mit Blockteil
(Durchgeführt von Olga Liskin)

 

WS 2013/14

Vorlesung: 

Modellierung des dynamischen Verhaltens von Systemen (MDVS)
Wahlpflichtverantstaltung Bachelor

Proseminar

"Software Engineering für ubiquitäre Anwendungen"

 

SS 2013

Vorlesung: Design and Analysis of Distributed, Interacting Systems (DIS)
Fortgeschrittene Vorlesung auf englisch
Proseminar: Moderne Techniken für die Entwicklung von verteilten, dynamischen Anwendungen

 

Publikationen

  • 2017
  • Shlomi Steinberg, Joel Greenyer, Daniel Gritzner, David Harel, Guy Katz, Assaf 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. Bibtex.
  • Joel Greenyer, Daniel Gritzner, Timo Gutahr, Florian König, Nils Glade, Assaf Marron, Guy Katz: ScenarioTools – A Tool Suite for the Scenario-based Modeling and Analysis of Reactive Systems , In Science of Computer Programming , pages - , 2017. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner, Florian König, Jannik Dahlke, Jianwei Shi, Eric Wete: From Scenario Modeling to Scenario Programming for Reactive Systems with Dynamic Topology, In Proceedings of ESEC/FSE'17, Paderborn, Germany, September 4-8, 2017 (to appear). ACM, 2017. Bibtex. Link
  • 2016
  • Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf 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), pages 16-23. CEUR Workshop Proceedings, 2016. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner: An Approach for Synthesizing Energy-Efficient Controllers for Production Systems from Scenario-Based Specifications, 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), pages 87-93. CEUR Workshop Proceedings, 2016. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner, Guy Katz, Assaf Marron, Nils Glade, Timo Gutjahr, Florian König: Distributed Execution of Scenario-based Specifications of Structurally Dynamic Cyber-Physical Systems, In Procedia Technology, volume 26, pages 552 - 559, 2016. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner, Nils Glade, Timo Gutjahr, Florian König: Scenario-based Specification of Car-to-X systems, In Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), pages 118-123. CEUR Workshop Proceedings, 2016. Bibtex. Link
  • 2015
  • Cordy, Maxime, Davril, Jean-Marc, Greenyer, Joel, Gressi, Erika, Heymans, Patrick: All-at-once-synthesis of Controllers from Scenario-based Product Line Specifications, In Proceedings of the 19th International Conference on Software Product Line, pages 26-35, New York, NY, USA. ACM, 2015. Bibtex. Link
  • Greenyer, Joel, Haase, Max, Marhenke, Jörg, Bellmer, Rene: 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, pages 1002-1005, New York, NY, USA. ACM, 2015. Bibtex. Link
  • Panzica La Manna, Valerio, Greenyer, Joel, Clun, Donato, Ghezzi, Carlo: Towards Executing Dynamically Updating Finite-State Controllers on a Robot System, In Modeling in Software Engineering (MiSE), 2015 IEEE/ACM 7th International Workshop on, pages 42-47, 2015. Bibtex. Link
  • Kai Niklas, Joel Greenyer, Kurt Schneider: Towards Application and Evolution of Model-Based Heuristics for Improving SOA Service Design, In 7th International Workshop on Modelling in Software Engineering (MiSE 2015), 2015. Bibtex. Abstract.
  • Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi: Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications (Extended Abstract of ESEC/FSE 2013 paper), In Uwe A\ssmann and Birgit Demuth and Thorsten Spitta and Georg P\"{u}schel and Ronny Kaiser, 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, volume 239 of LNI, pages 91--92. GI, 2015. Bibtex.
  • Joel Greenyer, Daniel Gritzner, Timo Gutjahr, Tim Duente, Stefan Dulle, Falk-David Deppe, Nils Glade, Marius Hilbich, Florian Koenig, Jannis Luennemann, Nils Prenner, Kevin Raetz, Thilo Schnelle, Martin Singer, Nicolas Tempelmeier, Raphael 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 (to appear), 2015. Bibtex. Link
  • Christian Brenner, Joel Greenyer, Wilhelm Schäfer: On-the-fly Synthesis of Scarcely Synchronizing Distributed Controllers from Scenario-Based Specifications, In Egyed, Alexander and Schaefer, Ina, Fundamental Approaches to Software Engineering (FASE 2015), volume 9033 of Lecture Notes in Computer Science, pages 51-65. Springer Berlin Heidelberg, 2015. Bibtex. Link
  • 2014
  • Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke, Joel 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). EASST, 2014. Bibtex. Link
  • Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias 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). EASST, 2014. Bibtex. Link
  • Joel Greenyer, Christian Hansen, Jens Kotlarski, Tobias Ortmaier: Towards Synthesizing Energy-Efficient Controllers for Modern Production Systems from Scenario-Based Specifications, In Proceedings of the 2nd International Conference on System-integrated Intelligence (SysInt 2014), 2014. Bibtex. Link
  • 2013
  • Greenyer, Joel, Molzam Sharifloo, Amir, Cordy, Maxime, Heymans, Patrick: Features meet scenarios: modeling and consistency-checking scenario-based product line specifications, In Requirements Engineering, volume 18, pages 175-198, 2013. Bibtex. Link
  • Panzica La Manna, Valerio, Greenyer, Joel, Ghezzi, Carlo, Brenner, Christian: 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. Bibtex. Link
  • Joel Greenyer, Ekkart Kindler: Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications, In Proceedings of the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013. Bibtex. Link
  • Joel Greenyer, Christian Brenner, Maxime Cordy, Patrick Heymans, Erika Gressi: Incrementally Synthesizing Controllers from Scenario-Based Product Line Specifications, In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pages 433--443, New York, NY, USA. ACM, 2013. Bibtex. Link
  • Stephan Hildebrandt, Leen Lambers, Holger Giese, Jan Rieke, Joel Greenyer, Wilhelm Schäfer, Marius Lauder, Anthony Anjorin, Andy Schürr: A Survey of Triple Graph Grammar Tools, In Second International Workshop on Bidirectional Transformations (BX 2013), 2013. Bibtex. Link
  • Christian Brenner, Joel Greenyer, Valerio 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). EASST, 2013. Bibtex. Link
  • Joel Greenyer, Valerio Panzica La Manna, Christian Brenner, Carlo Ghezzi: Synthesizing Safe Dynamic Updates from Evolving Specifications, Technical report n. 2013.2, Dipartimento di Elettronica, Informazione e Bioingegneria, Politecnico di Milano, http://scenariotools.org/docs/2013/SynthesizingDynamicallyUpdatingControllers-TechRep.pdf, 2013. Bibtex. Link
  • 2012
  • Joel Greenyer, Jan Rieke: Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata, In Proceedings of the International Symposium on Applications of Graph Transformation With Industrial Relevance (AGTIVE 2011), 2012. Bibtex. Link
  • Carlo Ghezzi, Joel Greenyer, Valerio Panzica La 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), pages 145-154, 2012. Bibtex. Link
  • Maxime Cordy, Joel Greenyer, Patrick Heymans, Amir Molzam Sharifloo: Efficient Consistency Checking of Scenario-based Product Line Specifications, In Mats Per Erik Heimdahl and Pete Sawyer, Proceedings of the 20th International Requirements Engineering Conference (RE 2012), pages 161-170. IEEE, 2012. Bibtex. Link
  • 2011
  • Christopher Brink, Joel Greenyer, Wilhelm Schäfer, Martin Hahn, Mattias Tichy: Simulation von hybridem Verhalten in CAMeL-View, In Wissenschaftsforum Intelligente Technische Systeme 2011, Paderborn, 2011. Bibtex. Link
  • Greenyer, Joel, Rieke, Jan, Schäfer, Wilhelm, Sudmann, Oliver: The {Mechatronic UML} Development Process, In Tarr, Peri L. and Wolf, Alexander L., Engineering of Software - The Continuing Contributions of Leon J. Osterweil, pages 311-322. Springer Verlag Berlin/Heidelberg, 2011. Bibtex. Link
  • Greenyer, Joel, Pook, Sebastian, Rieke, Jan: Preventing Information Loss in Incremental Model Synchronization by Reusing Elements, In France, Robert and Kuester, Jochen and Bordbar, Behzad and Paige, Richard, Modelling Foundations and Applications - Proceedings of the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011, Birmingham, UK, June 6-9, 2011, volume 6698 of Lecture Notes in Computer Science, pages 144-159. Springer Verlag Berlin/Heidelberg, 2011. Bibtex. Link
  • Joel Greenyer: Scenario-based Design of Mechatronic Systems, University of Paderborn, 2011. Bibtex. Link
  • 2010
  • Joel Greenyer, Ekkart Kindler: Comparing relational model transformation technologies: implementing Query/View/Transformation with {Triple Graph Grammars}, In Software and Systems Modeling (SoSyM), volume 9, pages 21-46, 2010. Bibtex. Link
  • Joel Greenyer: Synthesizing {Modal Sequence Diagram} Specifications with Uppaal-Tiga, Technical report tr-ri-10-310, University of Paderborn, http://www.cs.uni-paderborn.de/fileadmin/Informatik/FG-Schaefer/Personen/jgreen/msd-to-tga/msd-to-tiga.pdf, 2010. Bibtex. Link
  • 2009
  • Joel Greenyer: Integrating Models for the Design of Mechatronic Systems (abstract), In Proceedings des gemeinsamen Workshops der Informatik-Graduiertenkollegs und Forschungskollegs, pages 173--174, Dagstuhl, 2009. Bibtex.
  • Jürgen Gausemeier, Wilhelm Schäfer, Joel Greenyer, Sascha Kahl, Sebastian Pook, Jan Rieke: Management of Cross-Domain Model Consistency During the Development of Advanced Mechatronic Systems, In Margareta Norell Bergendahl and Martin Grimheden and Larry Leifer, Proceedings of the 17th International Conference on Engineering Design (ICED'09), pages 1--12, University of Stanford, CA, USA. Design Society, 2009. Bibtex.
  • 2008
  • Varr\'o, D\'aniel, Asztalos, M\'ark, Bisztray, D\'enes, Boronat, Artur, Dang, Duc-Hanh, Gei\ss, 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 Schürr, Andy and Nagl, Manfred and Zündorf, Albert, Applications of Graph Transformations with Industrial Relevance, pages 540-565. Springer-Verlag Berlin/Heidelberg, 2008. Bibtex. Link
  • 2007
  • Joel Greenyer, Ekkart Kindler: Reconciling TGGs with QVT, In Engels, G. and Opdyke, B. and Schmidt, D.C. and Weil, F., Proceedings of the 10th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2007, September 30 - October 5, 2007, Nashville, USA, LNCS, volume Volume 4735 of Lecture Notes in Computer Science, pages pp. 16-30. Springer Verlag Berlin/Heidelberg, 2007. Bibtex. Link
  • 2006
  • Joel Greenyer: A Study of Technologies for Model Transformation: Reconciling TGGs with QVT, Diplomarbeit, University of Paderborn, 2006. Bibtex. Link