Betriebseinrichtung SGI – Servicegruppe Informatik

Tätigkeiten

  • Geschäftsführer der Geschäftsstelle der Studienkommission Informatik
  • Leitung der Servicegruppe Informatik
  • Mitglied der Studienkommission Informatik
  • Fachbereichskoordinator
  • Studiengangkoordinator für die Bachelor- und Master-Studiengänge Informatik, Medieninformatik, Software Engineering sowie die Master-Studiengänge Cognitive Systems und Künstliche Intelligenz
  • Modulmanagement
  • Lehre in den Informatik-Studiengängen
  • Mitglied der internen Akkreditierungskommission
  • Betreuung von Softwareprojekten
  • Notfallhelfer

Interessen

  • Studiengang- / Wissenschaftsmanagement
  • Softwaretechnik / Software Engineering
  • Projektmanagement
  • Modellierung mit UML 2
  • Modellgetriebene Softwareentwicklung (MDD, MDSD)
  • Bioinformatik (Modellierung und Simulation biologischer Prozesse)

Lebenslauf

  • seit 11/2023: Akademischer Direktor in der Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • seit 10/2018: Geschäftsführer der Geschäftsstelle der Studienkommission Informatik, Leitung der Servicegruppe Informatik
  • 07/2017 - 10/2023: Akademischer Oberrat in der Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • 04/2014 - 06/2017: Akademischer Rat in der Fakultät für Ingenieurwissenschaften, Informatik und Psychologie
  • 09/2011 - 03/2014: Softwareentwicklungs-Ingenieur (Radar-Sensor-Tracking, Radartechnik, Luftraumüberwachung)
  • 11/2008 - 08/2011: Akademischer Mitarbeiter in der Servicegruppe Informatik
  • 10/2003 - 10/2008: Wissenschaftlicher Mitarbeiter am Institut für Programmiermethodik und Compilerbau

Aktuelle Lehre im WiSe 2024/2025

  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik 1
  • Programmierstarthilfe

Archiv Lehrtätigkeit

  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Sommersemester 2024)
  • Programmierstarthilfe (Sommersemester 2024)
  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Wintersemester 2023)
  • Programmierstarthilfe (Wintersemester 2023)
  • Vorlesung Einführung in die Informatik II - Vertiefung / Allgemeine Informatik II (Sommersemester 2023)
  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Sommersemester 2023)
  • Programmierstarthilfe (Sommersemester 2023)
  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Wintersemester 2022)
  • Programmierstarthilfe (Wintersemester 2022)
  • Vorlesung Einführung in die Informatik II - Vertiefung / Allgemeine Informatik II (Sommersemester 2022)
  • Programmierstarthilfe (Sommersemester 2022)
  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Wintersemester 2021)
  • Programmierstarthilfe (Wintersemester 2021)
  • Vorlesung Einführung in die Informatik II - Vertiefung / Allgemeine Informatik II (Sommersemester 2021)
  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Sommersemester 2021)
  • Programmierstarthilfe (Sommersemester 2021)
  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Wintersemester 2020)
  • Programmierstarthilfe (Wintersemester 2020)
  • Vorlesung Einführung in die Informatik II - Vertiefung / Allgemeine Informatik II (Sommersemester 2020)
  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Wintersemester 2019)
  • Vorlesung Einführung in die Informatik II - Vertiefung / Allgemeine Informatik II (Sommersemester 2019)
  • Vorlesung Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Wintersemester 2018)
  • Vorlesung Einführung in die Programmierung (Sommersemester 2018)
  • Vorlesung Einführung in die Informatik (Wintersemester 2017)
  • Vorlesung Einführung in die Informatik (Sommersemester 2017)
  • Programmierstarthilfe (Wintersemester 2016)
  • Vorlesung Einführung in die Informatik (Sommersemester 2016)
  • Vorlesung Einführung in die Informatik (Wintersemester 2015)
  • Projekt Hiwibörse (Wintersemester 2015)
  • Software Engineerung Projekt Prüfungsplanungssystem II (Sommersemester 2015)
  • Software Engineerung Projekt Prüfungsplanungssystem I (Wintersemester 2014)
  • Programmierstarthilfe (Sommersemester 2014)
  • Software-Grundprojekt II für Medieninformatiker (Sommersemester 2011)
  • Software-Grundprojekt II für Informatiker (Sommersemester 2011)
  • Software-Grundprojekt I für Medieninformatiker (Wintersemester 2010)
  • Software-Grundprojekt I für Informatiker (Wintersemester 2010)
  • Software-Grundprojekt II (Sommersemester 2010)
  • Software-Grundprojekt I (Wintersemester 2009)
  • Proseminar "Modellierung mit UML 2.0"(Sommersemester 2008)
  • Software-Grundpraktikum (Wintersemester 2008)
  • Übungen zu "Requirements Engineering" (Wintersemester 2007)
  • Übungen zu "Requirements Engineering" (Wintersemester 2006)
  • Praktikum "Montage und Simulation von Anwendungen mit der UML2" (Sommersemester 2006)
  • Übungen zu "Requirements Engineering" (Wintersemester 2005)
  • Praktikum "Montage und Simulation von Anwendungen mit der UML2" (Sommersemester 2005)
  • Übungen zu "Requirements Engineering" (Wintersemester 2004)
  • Praktikum "Experimentelles Software Engineering" (Sommersemester 2004)

Veröffentlichungen / Vorträge

  • Jens Kohlmeyer: Radar-Sensor-Tracking - automatische Zielerkennung und -verfolgung, Vortrag bei der Konzept IS GmbH, 2013
  • Jens Kohlmeyer: Modellgetriebene Softwareentwicklung mit der UML, Vortrag im Rahmen der GI Vortragsreihe an der Universität Stuttgart, 2012
  • Helmuth Partsch, Marcel Dausend, Dominik Gessenharter, Jens Kohlmeyer, and Alexander Raschke: From Formal Semantics to Executable Models: A Pragmatic Approach to Model-Driven Development: in No.1-2, Part2, 2011, International Journal of Software and Informatics
  • Jens Kohlmeyer, Walter Guttmann: Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. In: Pnueli, A., I. Virbitskaite und A. Voronkov (Herausgeber): Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Band 5947 der Reihe Lecture Notes in Computer Science, Seiten 206-217. Springer-Verlag, 2010.
  • Jens Kohlmeyer: Eine formale Semantik für die Verknüpfung von Verhaltensbeschreibungen in der UML 2, Dissertation, Universität Ulm, 2009
  • Jens Kohlmeyer, Walter Guttmann: Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. In: Pnueli, A., I. Virbitskaite und A. Voronkov (Herausgeber): Perspectives of System Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Lecture Notes in Computer Science. Springer-Verlag.
  • Jens Kohlmeyer: Executing UML 2 Diagrams in ActiveCharts - A formal Semantics for the Combination of Behavior Specifications in the UML 2, European Simulation and Modeling Conference 2008, Le Havre
  • Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Dominik Gessenharter: ActiveChartsIDE - Eine pragmatische Umsetzung der MDA mit UML2-Aktivitätsdiagrammen. OBJEKTspektrum 6/2007, SIGS-DATACOM GmbH Troisdorf, ISBN 0945-0491
  • Jens Kohlmeyer: ActiveCharts - Verknüpfung von Modellen und Code bei der modellgetriebenen Softwareentwicklung mit UML2, Vortrag im Rahmen der Konferenz SEE 2007
  • Jens Kohlmeyer: ActiveCharts - Verknüpfung von Modellen und Code bei der modellgetriebenen Softwareentwicklung mit UML2, Vortrag im Rahmen der REConf 2007
  • Alexander Raschke, Jens Kohlmeyer, Helmuth Partsch, Harald Wolf, Wolfgang Mader: Virtueller Biobaukasten - Einsatz von Modellierungswerkzeugen aus der Informatik zur Simulation komplexer biologischer Prozesse. In: K. Haasis, A. Heinzl, D. Klumpp (Hrsg.): Aktuelle Trends in der Softwareforschung, Heidelberg, 2006
  • Jens Kohlmeyer, Alexander Raschke, Ramin Tavakoli Kolagari: Eine qualitative Untersuchung zur Produktlinien-Integration über Organisationsgrenzen hinweg. Universität Ulm, Ulmer Informatik Berichte Nr. 2006-03, März 2006
  • Stefan Sarstedt, Dominik Gessenharter, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan: ActiveChartsIDE - An Integrated Software Development Environment comprising a Component for Simulating UML 2 Activity Charts. The 2005 European Simulation and Modelling Conference (ESM'05), Seiten 66-73, Oktober 2005
  • Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan: Targeting System Evolution by Explicit Modeling of Control Flows using UML 2 Activity Charts.</strong> In: Arabnia, H.R. (Herausgeber): Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC'05), Seiten 237-246, Juni 2005.
  • Stefan Sarstedt, Jens Kohlmeyer, Alexander Raschke, Matthias Schneiderhan: A New Approach to Combine Models and Code in Model Driven Development. In: Arabnia, H.R. und H. Reza (Herausgeber): Proceedings of the 2005 International Conference on Software Engineering Research and Practice (SERP'05), Band 1, Seiten 396-400, Juni 2005.
  • Schmid, M. und J. Kohlmeyer: Combining simulated biological components to achieve a powerful simulation environment. In: Proceedings of the European Simulation and Modelling Conference ESMc2004, Paris, France, Seiten 140-142, Oktober 2004.
  • Sarstedt, S., A. Raschke und J. Kohlmeyer: Transparente Programmierung der Anwendungslogik durch attributgesteuerte Konfiguration von Datenbanksperren. In: Dadam, P. und M. Reichert (Herausgeber): Informatik 2004, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI), Ulm, Band 2, Seiten 408-417, September 2004.
  • Kohlmeyer, J., S. Sarstedt und W. Mader: bModelling and Simulation of a biological Process (Neural Action Potential) with hybrid Tools used in Computer Science. In: Proceedings of The 2003 European Simulation and Modelling Conference ESM2003, Naples, Italy, Seiten 328-332, Oktober 2003.
  • Kohlmeyer, J.: Modellierung und Simulation eines biologischen Prozesses (neuronales Aktionspotential) mit hybriden Beschreibungswerkzeugen aus der Informatik, Diplomarbeit, Universität Ulm, 2003

Betreute Abschlussarbeiten

  • Raffala Groner: Untersuchung von Ansätzen um komplexe Transformationsregeln aus Metamodellversionen zu lernen (Juli 2017)
  • Jan Gugenheimer: Konzeption und prototypische Realisierung eines Werkzeugs zur Visualisierung von AUTOSAR-Softwarekomponenten im Fahrzeug (Oktober 2010)
  • Halit Ünver: Entwicklung einer ASM–Spezifikation für das Kommunikationsmodell der UML 2 (November 2008)
  • Eman el Koshairy: Conception, Development und Implementation of a Framework for the Integration of Co-operating Matlab Simulink Models (September 2008)
  • Mathias Rück: Entwicklung eines Modularisierungskonzepts für datenbankorientierte Softwaresystemeanhand einer Fallstudie aus der Praxis (Juni 2008)
  • Joachim Fürst: Entwicklung einer ASM-Spezifikation für die Semantik von UML 2 Sequenzdiagrammen zur Anbindung an ActiveCharts (Februar 2008)
  • Tobias van Tricht: Konzeption und Realisierung eines Persistenz-Frameworks für ActiveCharts (Oktober 2007)
  • Karim Maarouf: Design of a Software Development Process for the MDA Approach ActiveCharts Based on a Comprehensive Analysis of Existing Processes (August 2007)
  • Marcel Dausend: Entwicklung einer ASM-Spezifikation der Semantik der Zustandsautomaten der UML 2.0 (Juni 2007)
  • Christine Zähringer: Vergleich der Unterstützung von Aktivitätsdiagrammen verschiedener UML2 Werkzeuge anhand verschiedener Fallstudien (August 2006)
  • Alexander Busch: Vergleich von Einsatzgebieten und Anwendungsmöglichkeiten von UML2 Zustands- und Aktivitätsdiagrammen (November 2005)
  • Daniel Bernauer: Testfälle für Klassen- und Aktivitätsdiagramme der UML2 zur Überprüfung der Sprachkonformität und -vollständigkeit von UML2 Werkzeugen (September 2005)
  • Michael Schmid: Modellierung eines mechanischen Sinnesorgans mit Werkzeugen der Informatik (2004)