auszeichnung-category-award-winner

Home » Unsere Community » Hochschul-Team » Prof. Dr. Harald König

Softwareengineering, Theoretische Grundlagen der Informatik

Prof. Dr. Harald König

Die Fachhochschule für die Wirtschaft Hannover - Prof. Dr. Harald König

Prof. Dr. Harald König

Vita

  • Jahrgang 1968
  • Studium der Mathematik an der Universität Hannover mit den Schwerpunkten Komplexe Analysis, Algebra und Topologie
  • 1993 – 1996 wissenschaftlicher Mitarbeiter am Mathematischen Institut der Universität Hannover
  • 1996 Promotion zum Dr. rer. nat. mit dem Thema “Konforme Konjugation in Baker-Gebieten”
  • 1996 – 2001 Angestellter in der Softwareentwicklung der SAP AG, Walldorf ; Mitarbeit in unterschiedlichen Projekten im Bereich Financial Services sowie SAP Insurance u.a. als Leiter des Software-Entwicklungsprojektes Claims Management
  • Seit Oktober 2001 Professor für Informatik und Wirtschaftsinformatik an der FHDW Hannover
  • 2019 – 2021 Abteilungsleiter der technischen Studiengänge
  • Tätigkeit als freiberuflicher Berater im Bereich Software-Engineering
Mann und Frau Grafik

Forschungs- und Beratungsschwerpunkte

  • Geschäftsprozessmanagement
  • Modell Transformationen
  • Formale Grundlagen der Objektorientierten Softwaremodellierung
  • Graph Transformationen
  • Kategorientheorie und Software-Engineering
FHDW Hannover - Bücher

Veröffentlichungen

  • Stünkel, P., König, H.: Single pushout rewriting in comprehensive systems of graph-like structures. Theor. Comput. Sci. 884 (2021) 23–43
  • Stünkel, P., König, H., Rutle, A., Lamo, Y.: Multi-model evolution through model repair. J. Object Technol. 20(1) (2021) 1:1–25
  • Stünkel, P., König, H., Rutle, A., Lamo, Y.: Comprehensive systems: A formal foundation for multi-model consistency management. Formal Aspects Comput. 56 (2021)
  • König, H., Wolter, U.: A general methodology for internalising multi-level model typing. In: MULTI 2021, held as part of 24th international conference on Model Driven Engineering Languages and Systems, MoDELS 2021, Fukuoka, Japan, Oktober 10-15, 2021, Proceedings, Springer (2021)
  • Rutle, A., Iovino, L., König, H., Diskin, Z.: A query-retyping approach to model transformation co-evolution. Softw. Syst. Model. 19(5) (2020) 1107–1138
  • Stünkel, P., König, H., Lamo, Y., Rutle, A.: Towards multiple model synchronization with comprehensive systems. In Wehrheim, H., Cabot, J., eds.: Fundamental Approaches to Software Engineering – 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings. Volume 12076 of Lecture Notes in Computer Science., Springer (2020) 335–356
  • König, H., Stünkel, P.: Single pushout rewriting in comprehensive systems. In Gadducci, F., Kehrer, T., eds.: Graph Transformation – 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Volume 12150 of Lecture Notes in Computer Science., Springer (2020) 91–108
  • Diskin, Z., König, H., Lawford, M.: Multiple model synchronization with multiary delta lenses with amendment and k-putput. Formal Aspects Comput. 31(5) (2019) 611–640
  • König, H.: A health informatics scenario. In Cleve, A., Kindler, E., Stevens, P., Zaytsev, V., eds.: Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491), Proceedings. Volume 18491 of Dagstuhl Reports., Dagstuhl, Germany, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik (2019) 46–47
  • König, H., Wolter, U.: Van kampen colimits and path uniqueness. Log. Methods Comput. Sci. 14(2) (2018)
  • Wolter, U., Diskin, Z., König, H.: Graph operations and free graph algebras. In Heckel, R., Taentzer, G., eds.: Graph Transformation, Specifications, and Nets – In Memory of Hartmut Ehrig. Volume 10800 of Lecture Notes in Computer Science., Springer (2018) 313–331
  • Rutle, A., Iovino, L., König, H., Diskin, Z.: Automatic transformation co-evolution using traceability models and graph transformation. In Pierantonio, A., Trujillo, S., eds.: Modelling Foundations and Applications – 14th European Conference, ECMFA@STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings. Volume 10890 of Lecture Notes in Computer Science., Springer (2018) 80–96
  • Diskin, Z., König, H., Lawford, M.: Multiple model synchronization with multiary delta lenses. In Russo, A., Sch urr, A., eds.: Fundamental Approaches to Software Engineering, 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings. Volume 10802 of Lecture Notes in Computer Science., Springer (2018) 21–37
  • Stünkel, P., König, H., Lamo, Y., Rutle, A.: Multimodel correspondence through inter-model constraints. In Marr, S., Sartor, J.B., eds.: Conference Companion of the 2nd international Conference on Art, Science, and Engineering of Programming, Nice, France, April 09-12, 2018, ACM (2018) 9–17
  • König, H., Wolter, U.: Being van kampen in presheaf topoi is a uniqueness property. In Bonchi, F., König, B., eds.: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. Volume 72 of LIPIcs., Schloss Dagstuhl – Leibniz-Zentrum f ur Informatik (2017) 16:1–16:15
  • König, H., Diskin, Z.: Efficient consistency checking of interrelated models. In Anjorin, A., Espinoza, H., eds.: Modelling Foundations and Applications – 13th European Conference, ECMFA@STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings. Volume 10376 of Lecture Notes in Computer Science., Springer (2017) 161–178
  • Diskin, Z., König, H., Lawford, M., Maibaum, T.: Toward product lines of mathematical models for software model management. In Seidl, M., Zschaler, S., eds.: Software Technologies: Applications and Foundations – STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Volume 10748 of Lecture Notes in Computer Science., Springer (2017) 200–216
  • König, H., Diskin, Z.: Advanced local checking of global consistency in heterogeneous multimodeling. In Wasowski, A., L onn, H., eds.: Modelling Foundations and Applications – 12th European Conference, ECMFA@STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Volume 9764 of Lecture Notes in Computer Science., Springer (2016) 19–35
  • Diskin, Z., König, H.: Incremental consistency checking of heterogeneous multimodels. In Milazzo, P., Varr o, D., Wimmer, M., eds.: Software Technologies: Applications and Foundations – STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers. Volume 9946 of Lecture Notes in Computer Science., Springer (2016) 274–288
  • Wolter, U., König, H.: Fibred amalgamation, descent data, and van kampen squares in topoi. Appl. Categorical Struct. 23(3) (2015) 447–486
  • Löwe, M., König, H., Schulz, C., Schultchen, M.: Algebraic graph transformations with inheritance and abstraction. Sci. Comput. Program. 107-108 (2015) 2–18
  • Löwe, M., König, H., Schulz, C.: Polymorphic single-pushout graph transformation. In Gnesi, S., Rensink, A., eds.: Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings. Volume 8411 of Lecture Notes in Computer Science., Springer (2014) 355–369
  • König, H., Löwe, M., Schulz, C., Wolter, U.: Van kampen squares for graph transformation. In Giese, H., König, B., eds.: Graph Transformation – 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings. Volume 8571 of Lecture Notes in Computer Science., Springer (2014) 222–236
  • Löwe, M., König, H., Schulz, C., Schultchen, M.: Algebraic graph transformations with inheritance. In Iyoda, J., de Moura, L.M., eds.: Formal Methods: Foundations and Applications – 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 – October 4, 2013, Proceedings. Volume 8195 of Lecture Notes in Computer Science., Springer (2013) 211–226
  • Schulz, C., Löwe, M., König, H.: Composition of model transformations: A categorical framework. In Gheyi, R., Naumann, D.A., eds.: Formal Methods: Foundations and Applications – 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Volume 7498 of Lecture Notes in Computer Science., Springer (2012) 163–178
  • Wolter, U., König, H.: Fibred amalgamation, descent data, and van kampen squares in topoi. http://www.ii.uib.no/publikasjoner/texrap/pdf/2012-404.pdf, Tech. Report, Department of Informatics, University of Bergen 404 (2012)
  • König, H., Wolter, U., Löwe, M.: Characterizing van kampen squares via descent data. In Golas, U., Soboll, T., eds.: Proceedings Seventh ACCAT Workshop on Applied and computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012. Volume 93 of EPTCS. (2012) 61–81
  • Schulz, C., Löwe, M., König, H.: A categorical framework for the transformation of object-oriented systems: Models and data. J. Symb. Comput. 46(3) (2011) 316–337
  • König, H., Löwe, M., Schulz, C.: Model transformation and induced instance migration: A universal framework. In da Silva Sim˜ao, A., Morgan, C., eds.: Formal Methods, Foundations and Applications – 14th Brazilian Symposium, SBMF 2011, S˜ao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Volume 7021 of Lecture Notes in Computer Science., Springer (2011) 1–15
  • Schulz, C., Löwe, M., König, H.: Categorical framework for the transformation of object-oriented systems: Operations and methods. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 26 (2010)
  • Löwe, M., König, H., Peters, M., Schulz, C.: Refactoring informations systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 3 (2006)
  • Löwe, M., König, H., Schulz, C.: Algebraic properties of interfaces. In Kreowski, H., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G., eds.: Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday. Volume 3393 of Lecture Notes in Computer Science., Springer (2005) 190–203
  • König, H.: The only constant is change: Domain models in the health care industry. SAP Info (7) (2003) 10–16
  • König, H., Löwe, M.: Anwendungssysteme in der versicherungswirtschaft. In Disterer, G., Fels, F., Hausotter, A., eds.: Taschenbuch der Wirtschaftsinformatik. Volume 2 of Hardback Version., Carl Hanser Verlag (2002) 490–512
  • König, H.: Conformal conjugacies in baker domains. J.London Math.Soc. (2) 59 (1999) 153–170
Zurück zur Übersicht