Dr. Jens Kohlmeyer
Tasks
- Managing Director of the Office of the Study Commission for Computer Science
- Head of the SGI
- Member of the Study Commission for Computer Science
- Departmental Coordinator
- Programme coordinator for the Bachelor's and Master's programmes in Computer Science, Media Informatics, Software Engineering and the Master's programme in Cognitive Systems
- Module Management
- Teaching in the Computer Science degree programmes
- Member of the internal accreditation commission
- Supervision of software projects
- Emergency helper
Interests
- Programme / Science Management
- Software Technology / Software Engineering
- Project Management
- Modelling with UML 2
- Model-Driven Software Development (MDD, MDSD)
- Bioinformatics (modelling and simulation of biological processes)
Curriculum vitae
- since 10/2018: Managing Director of the Office of the Study Commission for Computer Science, Head of the SGI
- since 07/2017: Academic Senior Councillor in the Faculty of Engineering, Computer Science and Psychology
- 04/2014 - 06/2017: Academic Councillor in the Faculty of Engineering, Computer Science and Psychology
- 09/2011 - 03/2014: Software development engineer (radar sensor tracking, radar technology, airspace surveillance)
- 11/2008 - 08/2011: Academic Assistant in the SGI
- 10/2003 - 10/2008: Research assistant at the Institute for Programming Methodology and Compiler Construction
Current teaching in the summer semester 2022
- Lecture Einführung in die Informatik II (EidI 2) / Allgemeine Informatik 2
- Programmierstarthilfe
Archive - Past Lectures
- Lecture Einführung in die Informatik I - Basics / Allgemeine Informatik I (Winter semester 2021)
- Programmierstarthilfe (Winter semester 2021)
- Lecture Einführung in die Informatik II - Vertiefung / Allgemeine Informatik II (Summer semester 2021)
- Lecture Einführung in die Informatik I - Basics / Allgemeine Informatik I (Summer semester 2021)
- Programmierstarthilfe (Summer semester 2021)
- Lecture Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Winter semester 2020)
- Programmierstarthilfe (Winter semester 2020)
- Lecture Einführung in die Informatik II - Vertiefung / Allgemeine Informatik II (Summer semester 2020)
- Lecture Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Winter semester 2019)
- Lecture Einführung in die Informatik II - Vertiefung / Allgemeine Informatik II (Summer semester 2019)
- Lecture Einführung in die Informatik I - Grundlagen / Allgemeine Informatik I (Winter semester 2018)
- Lecture Einführung in die Programmierung (Sommer semester 2018)
- Lecture Einführung in die Informatik (Winter semester 2017)
- Lecture Einführung in die Informatik (Summer semester 2017)
- Programmierstarthilfe (Winter semester 2016)
- Lecture Einführung in die Informatik (Summer semester 2016)
- Lecture Einführung in die Informatik (Winter semester 2015)
- Projekt Hiwibörse (Winter semester 2015)
- Software Engineerung Projekt Prüfungsplanungssystem II (Summer semester 2015)
- Software Engineerung Projekt Prüfungsplanungssystem I (Winter semester 2014)
- Programmierstarthilfe (Summer semester 2014)
- Software-Grundprojekt II für Medieninformatiker (Summer semester 2011)
- Software-Grundprojekt II für Informatiker (Summer semester 2011)
- Software-Grundprojekt I für Medieninformatiker (Winter semester 2010)
- Software-Grundprojekt I für Informatiker (Winter semester 2010)
- Software-Grundprojekt II (Summer semester 2010)
- Software-Grundprojekt I (Winter semester 2009)
- Proseminar "Modellierung mit UML 2.0"(Summer semester 2008)
- Software-Grundpraktikum (Winter semester 2008)
- Exercises on "Requirements Engineering" (Winter semester 2007)
- Exercises on "Requirements Engineering" (Winter semester 2006)
- Internship "Montage und Simulation von Anwendungen mit der UML2" (Summer semester 2006)
- Exercises on "Requirements Engineering" (Winter semester 2005)
- Internship "Montage und Simulation von Anwendungen mit der UML2" (Summer semester 2005)
- Exercises on "Requirements Engineering" (Winter semester 2004)
- Internship "Experimentelles Software Engineering" (Summer semester 2004)
Publications / Presentations
- 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
Supervised theses
- 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)