Studienplatz sichern
Infomaterial anfordern

null null

Stelle(n)

  • Studiengangsleiter Angewandte Informatik/Software Engineering (M.Sc.)
  • Professur für Softwareentwicklung

Ämter

  • stellv. Ombudsmann Forschung

 

 

Kontakt

Forschungsschwerpunkte:
  • Softwareentwicklung (komponentenbasiert, effiziente Algorithmen)
  • Modellierung (Modelle, Sprachen, ...)
  • Simulation (Berechnung, Experimente, Software, ...)

Projekte:
  • JAMES II (Open Source Framework for Modeling and Simulation)
Vorlesungen:
  • Analytische Informationssysteme
  • Automatentheorie und formale Sprachen
  • Datenbanken und Business Intelligence
  • Einführung in die Programmierung
  • Einführung in die objektorientierte Programmierung
  • Gestaltung von Informationssystemen
  • Modellierung und Simulation
  • Praxis der Softwareentwicklung
  • Projektmanagement
  • Software Engineering
  • Unternehmensmodellierung
  • Systemmodellierung


Betreute Bachelorarbeiten (exemplarisch):

  • The integration of software to compute BioPEPA models in JAMES II
  • Fallstudie zum Reengineering von ausführbarem Code über objektorientierte Spezifikationen in UML am Beispiel des Spiels "Duke Nukem"
  • Eine Testumgebung für Algorithmen zum Tracking sich bewegender Objekte
  • Data-Mining Methoden in der Simulation
  • Model checking of models in JAMES II by using LoLA
  • Ein Vergleich unterschiedlicher Netzwerkkommunikationsbibliotheken für verteiltes Rechnen in Simulationssoftware basierend auf Java
Efficient parallel computation of cellular automata

Betreute Masterarbeiten (exemplarisch):

  • Exemplarische Migration einer klassischen Client-Server-Architektur zu einer reaktiven Microservices-Architektur mit asynchron angebundenem Webclient
  • Analyse und Simulation im Rahmen modellbasierter Entwicklung am Beispiel zukünftiger Türsteuerungssysteme für zivile Passagierflugzeuge
  • Simulation of load balancing algorithms for discrete event simulations
  • Ein Rahmenwerk für die Erstellung von parallel-verteilten Simulationsalgorithmen in JAMES II
  • Coupling Autominder and James
    Komponentenbasierte Modellierung in der Systembiologie
  • Implementation und Evaluierung einer Umgebung zur parallelen Simulation am Beispiel eines Simulators für Beta-Binders in JAMES II
  • Aggregation verteilter Simulationsdaten
    Entwicklung eines flexiblen Komponentenbaukastens für Lehr-/Lernsysteme
  • ExML - ein Austauschformat für valide Experimentbeschreibungen zum Austausch zwischen verschiedenen Simulationssystemen
  • Entwicklung einer Methodik zur automatisierten Gestaltung von Luftraumsektorisierungen in der Flugsicherung
  • Selektive Instrumentierung von Modellen in JAMES II
  • Parameteroptimierung und Sensitivitätsanalyse in James II
  • Effizientes Speichern und Lesen von Trajektorien während der Berechnung einer Simulation
  • Ein Werkzeug für die Erstellung und Migration von Testdaten
    Arbeitsabläufe in der Modellierung und Simulation
  • Parallele Optimierung von Simulationsmodellen
  • Web-basiertes visuelles Monitoring von JAMES II Simulationen
  • Integration einer Simulations-Engine in eine komponentenbasierte eLearning-Architektur am Beispiel der Entwicklung eines simulationsbasierten Geographie-Lernspiels

Lebenslauf:

  • Promotion an der Universität Rostock, Fakultät für Elektrotechnik und Informatik, zum Dr.-Ing (2007)
  • Abschluss als Diplom-Informatiker (2003)

Akademische Ausbildung:
  • Promotion an der Universität Rostock

Tätigkeiten in der Wirtschaft:
  • IT Unternehmensberatung [Softwareentwicklung] (2013-2015)
  • Unternehmensarchitektur bei einer Versicherung (2015-2016)

Tätigkeiten in der Lehre:
  • Universität Rostock (2003-2013)

Gutachtertätigkeiten:
  • Diverse Fachzeitschriften (TOMACS, Simulation, SimPat, ...)
  • Diverse Fachkonferenzen (Winter Simulation Conference, PADS, TMS/DEVS, ...)
  • Mitglied des technischen Programmkommitees der SimuTools 2017

Mitgliedschaften:
  • GI e.V.
A generalized network generation approach for agent-based models Publikationen öffnen
2021
K Heß & J Himmelspach & O Reinhardt & A Uhrmacher
In Proceedings of the 2021 Winter Simulation Conference; S Kim & B Feng & K Smith & S Masoud & Z Zheng & C Szabo & M Loper(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey
Tagungsbeitrag
Processes - Processes to support the quality of M&S Publikationen öffnen
2015
J Himmelspach & S Rybacki
In Modeling and Simulation-Based Systems Engineering Handbook; D Gianni & A D'Ambrogio & A Tolk(Ed): CRC Press; 321- 338
Buchkapitel
Proceedings of the 6th SimuTools Conference Publikationen öffnen
2013
J Himmelspach
J Himmelspach & W Cai & K Vanmechelen(Ed): ICST; ACM Press
Tagungsband
Building MicCore, a Specialized M&S Software to Simulate Multi-State Demographic Micro Models, Based on JAMES II, a General M&S Framework Publikationen öffnen
2013
S Zinn & J Himmelspach & J Gampe & A Uhrmacher
Journal of artificial social societies, 16(3)
Zeitschriftenaufsatz
Toward a language for the flexible observation of simulations Publikationen öffnen
2012
T Helms & J Himmelspach & C Maus & O Röwer & J Schützel & A Uhrmacher
In Proceedings of the 2012 Winter Simulation Conference; C Laroque & J Himmelspach & R Pasupathy & O Rose & A Uhrmacher(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 3857- 3868
Tagungsbeitrag
JAMES II: Extending, Using, and Experiments Publikationen öffnen
2012
J Himmelspach
In Proceedings of the 2012 SimuTools; G Riley & F Quaglia & J Himmelspach(Ed): ICST; 208- 210
Tagungsbeitrag
Tutorial on building M&S software based on reuse Publikationen öffnen
2012
J Himmelspach
In Proceedings of the 2012 Winter Simulation Conference; C Laroque & J Himmelspach & R Pasupathy & O Rose & A Uhrmacher(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 1894- 1908
Tagungsbeitrag
Proceedings of the 2012 Winter Simulation Conference Publikationen öffnen
2012
J Himmelspach
C Laroque & J Himmelspach & R Pasupathy & O Rose & A Uhrmacher(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey
Tagungsband
Proceedings of the 2012 SimuTools Publikationen öffnen
2012
J Himmelspach
G Riley & F Quaglia & J Himmelspach(Ed): ICST
Tagungsband
Using Workflows to Control the Experiment Execution in Modeling and Simulation Software Publikationen öffnen
2012
S Rybacki & J Himmelspach & A Uhrmacher
In Proceedings of the 2012 SimuTools; G Riley & F Quaglia & J Himmelspach(Ed): ICST; 93- 102
Tagungsbeitrag
Template and Frame based Experiment Workflows in Modeling and Simulation Software with WORMS Publikationen öffnen
2012
S Rybacki & S Leye & J Himmelspach & A Uhrmacher
In IEEE Eighth World Congress on Services (SERVICES), 2012: IEEE Computer Society Press, Los Alamitos, CA, USA; 25- 32
Tagungsbeitrag
Proceedings of the 2011 Conference on TMS/DEVS Publikationen öffnen
2011
J Himmelspach
J Himmelspach & R Heckel & M Traore & G Wainer(Ed)
Tagungsband
Proceedings of the 2011 Winter Simulation Conference Publikationen öffnen
2011
J Himmelspach
S Jain & R Creasey & J Himmelspach & K White & M Fu(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey
Tagungsband
WORMS- A Framework to Support Workflows in M&S Publikationen öffnen
2011
S Rybacki & J Himmelspach & A Uhrmacher
In Proceedings of the 2011 Winter Simulation Conference; S Jain & R Creasey & J Himmelspach & K White & M Fu(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 716- 727
Tagungsbeitrag
Effective and efficient modeling and simulation of DEVS variants Publikationen öffnen
2011
A Uhrmacher & J Himmelspach & R Ewald
In Discrete-Event Modeling and Simulation; G Wainer & P Mosterman(Ed): CRC Press, Boca Raton, Fla.; 139- 176
Buchkapitel
Flexible Experimentation in the Modeling and Simulation Framework JAMES II - Implications for Computational Systems Biology Publikationen öffnen
2010
R Ewald & J Himmelspach & M Jeschke & S Leye & A Uhrmacher
Briefings in Bioinformatics, 11(3); 290-300
Zeitschriftenaufsatz
Enhancing the Scalability of Simulations by Embracing Multiple Levels of Parallelization Publikationen öffnen
2010
J Himmelspach & R Ewald & S Leye & A Uhrmacher
In Proceedings of the Ninth International Workshop on Parallel and Distributed Methods in Verification; J Barnat & M Weber & P Ballarini(Ed): IEEE Computer Society Press, Los Alamitos, Calif.
Tagungsbeitrag
Component based modelling and simulation for valid multi-agent system simulations Publikationen öffnen
2010
J Himmelspach & M Röhl & A Uhrmacher
International Journal for Applied Artificial Intelligence, 24(5); 414-442
Zeitschriftenaufsatz
Using workflows in M&S software Publikationen öffnen
2010
S Rybacki & J Himmelspach & E Seib & A Uhrmacher
In Proceedings of the 2010 Winter Simulation Conference; B Johansson & S Jain & J Montoya-Torres & J Hugan & E Yücesan(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 535- 545
Tagungsbeitrag
A DEVS Model For Demographic Microsimulation Publikationen öffnen
2010
S Zinn & J Gampe & J Himmelspach & A Uhrmacher
In Spring Simulation Multi-Conference; R McGraw & E Imsand & M Chinni(Ed): ACM Press, Newy York, NY, USA; 146:1- 146:8
Tagungsbeitrag
Design considerations for m&s software Publikationen öffnen
2009
O Dalle & J Ribault & J Himmelspach
In Proceedings of the 2009 Winter Simulation Conference; M Rossetti & R Hill & B Johansson & A Dunkin & R Ingalls(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 944- 955
Tagungsbeitrag
Performance Issues in Evaluating Models and Designing Simulation Algorithms Publikationen öffnen
2009
R Ewald & J Himmelspach & M Jeschke & S Leye & A Uhrmacher
In International Workshop on High Performance Computational Systems Biology; T Mazza(Ed): IEEE Computer Society Press, Piscataway, NJ; 71- 80
Tagungsbeitrag
The Microsimulation Tool of the MicMac-Project Publikationen öffnen
2009
J Gampe & S Zinn & F Willekens & N van der Gaag & J de Beer & A Uhrmacher & J Himmelspach
In Proceedings of the 2nd General Conference of the International Microsimulation Association: Netherlands Interdisciplinary Demographic Institute (NIDI)
Tagungsbeitrag
Toward a Collection of Principles, Techniques, and Elements of Simulation Tools Publikationen öffnen
2009
J Himmelspach
In First International Conference on Advances in System Simulation; W Biles(Ed): IEEE Computer Society Press, Piscataway, NJ; 56- 61
Tagungsbeitrag
JAMES II - Experiences and Interpretations– Multi-Agent Systems: Simulation and Applications Publikationen öffnen
2009
J Himmelspach & M Röhl
In Multi-agent systems; A Uhrmacher & D Weyns(Ed): CRC Press, Boca Raton; 509- 533
Buchkapitel
The JAMES II framework for modelling and simulation Publikationen öffnen
2009
J Himmelspach & A Uhrmacher
In International Workshop on High Performance Computational Systems Biology; T Mazza(Ed): IEEE Computer Society Press, Piscataway, NJ; 101- 102
Tagungsbeitrag
What contributes to the quality of simulation results? Publikationen öffnen
2009
J Himmelspach & A Uhrmacher
In Proceedings of the 2009 INFORMS Simulation Society Research Workshop; L Lee & M Kuhl & J Fowler & S Robinson(Ed): INFORMS Simulation Society, University of Warwick, Coventry, U.K.; 125- 129
Tagungsbeitrag
A discussion on experimental model validation Publikationen öffnen
2009
S Leye & J Himmelspach & A Uhrmacher
In Proceedings of the 11th International Conference on Computer Modeling and Simulation; D Al-Dabass & A Orsoni & A Brentnall & A Abraham & R Zobel(Ed): IEEE Computer Society Press, Los Alamitos, CA, USA; 161- 167
Tagungsbeitrag
CPU and GPU based simulation of Cellular Automata - A performance comparison Publikationen öffnen
2009
S Rybacki & J Himmelspach & A Uhrmacher
In First International Conference on Advances in System Simulation; W Biles(Ed): IEEE Computer Society Press, Piscataway, NJ; 62- 67
Tagungsbeitrag
Experimental Analysis of Logical Process Simulation Algorithms in JAMES II Publikationen öffnen
2009
B Wang & J Himmelspach & R Ewald & A Uhrmacher
In Proceedings of the 2009 Winter Simulation Conference; M Rossetti & R Hill & B Johansson & A Dunkin & R Ingalls(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 1167- 1179
Tagungsbeitrag
MicCore: A Tool for Microsimulation Publikationen öffnen
2009
S Zinn & J Himmelspach & J Gampe & A Uhrmacher
In Proceedings of the 2009 Winter Simulation Conference; M Rossetti & R Hill & B Johansson & A Dunkin & R Ingalls(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 992- 1002
Tagungsbeitrag
An Algorithm Selection Approach for Simulation Systems Publikationen öffnen
2008
R Ewald & J Himmelspach & A Uhrmacher
In 22nd Workshop on Principles of Advanced and Distributed Simulation; F Quaglia & J Liu(Ed): IEEE Computer Society Press, Piscataway, NJ; 91- 98
Tagungsbeitrag
A plug-in - based architecture for random number generation in simulation systems Publikationen öffnen
2008
R Ewald & J Rössel & J Himmelspach & A Uhrmacher
In Proceedings of the 2008 Winter Simulation Conference; S Mason & R Hill & L Moench & O Rose(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 836- 844
Tagungsbeitrag
A flexible and scalable experimentation layer for JAMES II Publikationen öffnen
2008
J Himmelspach & R Ewald & A Uhrmacher
In Proceedings of the 2008 Winter Simulation Conference; S Mason & R Hill & L Moench & O Rose(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 827- 835
Tagungsbeitrag
Plug’n Simulate: Scalability as a key requirement for SOA-based M & S? Publikationen öffnen
2008
J Himmelspach & M Röhl & R Ewald & A Uhrmacher
In Workshop on Net-Centric Modeling & Simulation; web published(Ed), Marseille, France
Beitrag
Component based models and simulation experiments for multi-agent systems in JAMES II Publikationen öffnen
2008
J Himmelspach & M Röhl & A Uhrmacher
In Working Notes of the 6th International Workshop AT2AI-6: From Agent Theory to Agent Implementation. Workshop at the Seventh International Conference on Autonomous Agents and Multiagent Systems AAAMAS 2008; B Jung & F Michel & A Ricci & Petta, Paolo(Ed), Estoril, Portugal; 83- 92
Tagungsbeitrag
A grid-inspired mechanism for coarse-grained experiment execution Publikationen öffnen
2008
S Leye & J Himmelspach & M Jeschke & R Ewald & A Uhrmacher
In Proceedings of the 12th IEEE International Symposium on Distributed Simulation and Real-Time Applications; D Roberts & A El Saddik & A Ferscha(Ed): IEEE Computer Society Press, Los Alamitos, CA, USA; 7- 16
Tagungsbeitrag
Modeling, Simulation and Games Publikationen öffnen
2008
A Martens & J Himmelspach & R Ewald
In Workshop Proceedings der Tagungen Mensch und Computer 2008, Delfi 2008 und Cognitive Design 2008; U Lucke & M Kindsmüller & S Fischer & M Herczeg & S Seehusen(Ed): Logos Verlag, Berlin; 349- 354
Tagungsbeitrag
Spiele und Simulation Publikationen öffnen
2008
A Martens & J Himmelspach & R Ewald
In Proceedings of the E-Learning-Baltics - eLBa 2008; S Hambach & A Martens & B Urban(Ed): Fraunhofer IRB Verlag, Rostock, Deutschland; 53- 62
Tagungsbeitrag
Teaching and Training System plus Modeling and Simulation -a Plugin Based Approach Publikationen öffnen
2008
M Oertel & J Himmelspach & A Martens
In Proceedings of the Tenth International Conference on Computer Modeling and Simulation; D Al-Dabass(Ed): IEEE Computer Society Press, Los Alamitos, CA, USA; 475- 480
Tagungsbeitrag
One Modelling Formalism & Simulator is not enough! ‐ A Perspective for Computational Biology Based on JAMES II Publikationen öffnen
2008
A Uhrmacher & R Ewald & J Himmelspach & M Jeschke & M John & S Leye & C Maus & M Röhl
In Proceedings of the the 1st FMSB Workshop; J Fisher(Ed): Springer-Verlag, Cambridge, UK; 123- 138
Tagungsbeitrag
Konzeption, Realisierung und Verwendung eines allgemeinen Modellierungs-, Simulations- und Experimentiersystems– Entwicklung und Evaluation effizienter Simulationsalgorithmen Publikationen öffnen
2007
J Himmelspach
Sierke, Göttingen; 1. Aufl.; Reihe Informatik
Buch (Monographie)
Parallel and distributed simulation of Parallel DEVS models Publikationen öffnen
2007
J Himmelspach & R Ewald & S Leye & A Uhrmacher
In Proceedings of the 2007 spring simulation multiconference; G Riley(Ed): SCS-European Publishing House; Society for Computer Simulation International, Norfolk, VA; 249- 256
Tagungsbeitrag
Plug’n simulate Publikationen öffnen
2007
J Himmelspach & A Uhrmacher
In 40th Annual Simulation Symposium; T Znati & H Karatza(Ed): IEEE Computer Society Press, Washington, DC, USA; 137- 143
Tagungsbeitrag
The event queue problem and PDEVS Publikationen öffnen
2007
J Himmelspach & A Uhrmacher
In Proceedings of the 2007 spring simulation multiconference; G Riley(Ed): SCS-European Publishing House; Society for Computer Simulation International, Norfolk, VA; 257- 264
Tagungsbeitrag
A Non-Fragmenting Partitioning Algorithm for Hierarchical Models Publikationen öffnen
2006
R Ewald & J Himmelspach & A Uhrmacher
In Proceedings of the 2006 Winter simulation Conference; L Perrone & F Wieland & J Liu & B Lawson & D Nicol & R Fujimoto(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 848- 855
Tagungsbeitrag
A Simulation Approach to Facilitate Parallel and Distributed Discrete‐Event Simulator Development Publikationen öffnen
2006
R Ewald & J Himmelspach & A Uhrmacher & D Chen & G Theodoropoulos
In Tenth IEEE International Symposium on Distributed Simulation and Real-Time Applications; E Alba(Ed): IEEE Computer Society Press; 209- 218
Tagungsbeitrag
Modeling and Simulation of Tests for Agents Publikationen öffnen
2006
M Gierke & J Himmelspach & M Röhl & A Uhrmacher
In Multiagent System Technologies: 4th German Conference; K Fischer & I Timm & E André & N Zhong(Ed): Springer-Verlag, Berlin, Heidelberg; 49- 60
Tagungsbeitrag
Developing An Hierarchical Simulator for Beta-binders Publikationen öffnen
2006
J Himmelspach & P Lecca & D Prandi & C Priami & P Quaglia & A Uhrmacher
In 20th Workshop on Principles of Advanced and Distributed Simulation; S Turner(Ed): IEEE Computer Society Press, Piscataway, NJ; 92- 102
Tagungsbeitrag
Sequential processing of PDEVS models Publikationen öffnen
2006
J Himmelspach & A Uhrmacher
In Proceedings of the 3rd EMSS; A Bruzzone & A Guasch & M Piera & J Rozenblit(Ed): Piera, LogiSim, Barcelona, Spain; 239- 244
Tagungsbeitrag
An efficient and effective partitioning algorithm for air space management Publikationen öffnen
2006
B Paul & W Theeck & J Himmelspach & A Uhrmacher
In Proceedings of the 3rd EMSS; A Bruzzone & A Guasch & M Piera & J Rozenblit(Ed): Piera, LogiSim, Barcelona, Spain; 373- 378
Tagungsbeitrag
Introducing Variable Ports and Multi-Couplings for Cell Biological Modeling in DEVS Publikationen öffnen
2006
A Uhrmacher & J Himmelspach & M Röhl & R Ewald
In Proceedings of the 2006 Winter simulation Conference; L Perrone & F Wieland & J Liu & B Lawson & D Nicol & R Fujimoto(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 832- 840
Tagungsbeitrag
Combining Intelligent Tutoring and Simulation Systems Publikationen öffnen
2005
A Martens & J Himmelspach
In Proceedings of the International Conference on Human-Computer Interface Advances for Modeling and Simulation (SIMCHI’05); P Fishwick & B Lok(Ed): The Society for Modeling and Simulation International; 65- 70
Tagungsbeitrag
A Component-based Simulation Layer for James Publikationen öffnen
2004
J Himmelspach & A Uhrmacher
In PADS ’04: Proceedings of the eighteenth workshop on Parallel and distributed simulation; J Luthi & A Lehmann & E Page & A McLean(Ed): IEEE Computer Society Press, Kufstein, Austria; 115- 122
Tagungsbeitrag
Processing dynamic PDEVS models Publikationen öffnen
2004
J Himmelspach & A Uhrmacher
In Proceedings of the 12th IEEE International Symposium on MASCOTS; D DeGroot & P Harrison(Ed): IEEE Computer Society Press; 329- 336
Tagungsbeitrag
Simulation for testing software agents - an exploration based on James Publikationen öffnen
2003
J Himmelspach & M Röhl & A Uhrmacher
In Proceedings of the 2003 Winter Simulation Conference; S Chick & P Sanchez & D Ferrin & D Morrice(Ed): Institute of Electrical and Electronics Engineers, Inc, Piscataway, New Jersey; 799- 807
Tagungsbeitrag
Unpaced and paced simulation for testing agents Publikationen öffnen
2003
A Uhrmacher & M Röhl & J Himmelspach
In 15th European Modelling and Simulation Symposium; A Verbraeck & V Hlupic & R Scoble(Ed): SCS-European Publishing House, Delft; 71- 80
Tagungsbeitrag
hero-image (3)

Das gesamte Team der NORDAKADEMIE

Zur Übersicht