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

Meine Forschung fokussiert sich auf modellbasierte, automatische und formale Techniken des Software Engineerings. Insbesondere interessiere ich mich für intuitive, aber dennoch formale Ansätze für die Spezifikation von software-intensiven, ubiquitären und cyber-physischen Systemen und die Anwendung von formalen Verifikations- und Synthese-Methoden. Diese Methoden sollen Softwareingenieuren helfen, komplexe Entwurfsaufgaben zu meistern, und automatisiert Fehler zu finden, zu verstehen, und zu beheben.

Abschlussarbeiten

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

Lehrveranstaltungen

SS 2017

Vorlesung Software-Qualität (SWQ) 
Wahlvorlesung
Vorlesung:

Modellbasiertes Software Engineering 
Fortgeschrittene Vorlesung

Proseminar: Proseminar Informatik -- Entwurf, Programmierung und Simulation komplexer Softwaresysteme 

WS 2016/17

Vorlesung:

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

SS 2016

Vorlesung Software-Qualität (SWQ) 
Wahlvorlesung
Vorlesung:

Modellbasiertes Software Engineering 
Fortgeschrittene Vorlesung auf englisch

Projekt:

Modellbasiertes Software Engineering für cyber-physische Systeme 
Fortgeschrittenes Softwareentwicklungsprojekt

WS 2015/16

Vorlesung:

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

Seminar:

Moderne Verfahren für die Entwicklung ubiquitärer, cyber-physischer und adaptiver Softwaresysteme 
Seminar

SS 2015

Vorlesung:

Software-Qualität (SWQ) 
Pflicht (in Kompetenzbereich)

Projekt:

UbiBots – Modellbasiertes Software Engineering für ubiquitäre cyber-physische Systeme 
Fortgeschrittenes Softwareentwicklungsprojekt

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

  • 2018
  • Joel Greenyer, Timo Gutjahr: Symbolic Execution for Realizability-Checking of Scenario-Based Specifications (Extended Abstract of MODELS 2017 paper), In Tagungsband der SE 2018 -- Tagungen Software Engineering (SE) der Gesellschaft f\"ur Informatik (GI) und Software Management (SWM) des GI-Fachausschusses WI-MAW, 6.-9. M\"arz 2018, Ulm, Germany (to appear). GI, 2018. Bibtex.
  • Joel Greenyer, Daniel Gritzner, David Harel, Assaf Marron: Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models, In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development MODELSWARD, 2018. Bibtex. Link
  • Daniel Gritzner, Joel Greenyer: Synthesis of Cost-optimized Controllers from Scenario-based GR(1) Specifications, In Ina Schaefer, Dimitris Karagiannis, Andreas Vogelsang, Daniel Méndez, Christoph Seidl, Modellierung 2018, pages 167-182, Bonn. Gesellschaft für Informatik e.V., 2018. Bibtex.
  • 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.
  • Daniel Gritzner, Joel Greenyer: Synthesizing Executable PLC Code for Robots from Scenario-based GR(1) Specifications, In Electronic Pre-Proceedings of the 4th International Workshop on Model-driven Robot Software Engineering (MORSE'17), co-located with STAF 2017, 2017. Bibtex. Link
  • Joel Greenyer, Daniel Gritzner, Jianwei Shi, Eric Wete: A Scenario-based MDE Process for Developing Reactive Systems: A Cleaning Robot Example, In Loli Burgueño, Jonathan Corley, Nelly Bencomo, Peter J. Clarke, Philippe Collet, Michalis Famelis, Sudipto Ghosh, Martin Gogolla, Joel Greenyer, Esther Guerra, Sahar Kokaly, Alfonso Pierantonio, Julia Rubin, Davide Di Ruscio, Proceedings of MODELS 2017 Satellite Events, co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), volume 2019 of CEUR Workshop Proceedings, pages 71-80. CEUR, 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 the 2017 11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2017), pages 974--978, New York, NY, USA. ACM, 2017. Bibtex. Link
  • 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
  • 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
  • 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.
  • 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
  • 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 König, 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 Sebastian Götz and Nelly Bencomo and Gordon Blair and Hui Song, Proceedings of the 10th International Workshop on Models@Run.Time (MRT 2015), co-located with MODELS 2015, volume 1474 of CEUR Workshop Proceedings, pages 71-80. CEUR, 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
  • 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
  • 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
  • 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