About me

After finishing my bachelor in Computer Science at Saarland University, I studied in the Software Engineering Elite Graduate Program at the TU München, LMU, and Augsburg University . For my masters thesis, I had the opportunity to work together with Prof. José Meseguer at the University of Illinois in Urbana-Champaign. Then, I joined the chair for Software & Systems Engineering at Technische Universität München in January 2012 as a research assistant and PhD candidate. Some more information about me can be found here.

Fields of interest

• Formal Methods, Rewriting Logic, Model Checking
• Software/Systems Architecture, Design Patterns
• Requirements Engineering, Artefact Orientation, Tool Support
• iOS Programming, OpenGL Programming, Game Programming

Projects

• ARAMiS (Automotive, Railway and Avionics Multicore Systems)
  ARAMiS is a BMBF-funded project which aims to create the technological basis to further improve security, traffic-efficiency, and comfort in the mobility domains automotive, avionic, and railway by utilizing multi-core technologies (read more).
• Artefact-based Requirements Engineering Optimisation with Daimler
  The goal of this project is the identification of potential fields of optimisations in the Requirements Engineering process by the use of the artefact-based paradigm. To this end, we apply a set of empirical methods as part of a RE improvement framework developed at the research group to conduct a qualitative process analysis and to steer the further development of the RE process in direct response to company-specific goals and problems.
• Artefact-based Requirements Engineering Optimisation with Wacker
  The goal of this project is the scientific evaluation of current developments of analytical and constructive quality assurance concepts for Requirements Engineering. We furthermore identify potential fields of optimisations in the Requirements Engineering process and evaluate, by means of empirical methods, whether and how to apply the artefact-based paradigm to optimise the RE process in direct response to company-specific goals and problems.
• Software Campus – Requirements Engineering in Systems of Systems (RE4SoS)
  The goal of this project is to answer questions on traceability and impact of changes of requirements early the development life cycle of a system of system (Read more about Software Campus).
• BMW Architecture Masterclass
  Architecture Handbook for the BMW Development Process.

• SS 13
  • Teaching Assistant for the lecture Requirements Engineering
  • Teaching Assistant for the seminar Modellierung im Software- und System-Engineering
  • Teaching Assistant for the practical course Master-Praktikum: Windows App Entwicklung
• WS 12/13
  • Teaching Assistant for the lecture Requirements Engineering
  • Teaching Assistant for the lecture Agile Project Management and Software Development
  • Teaching Assistant for the seminar Objektorientiertes Programmieren mit .NET und C#
• SS 12
  • Teaching Assistant for the lecture Requirements Engineering
  • Teaching Assistant for the lecture Projektorganisation und Management in der Software-Entwicklung
  • Teaching Assistant for the seminar Human Factors in Software Engineering
• WS 11/12
  • Teaching Assistant for the lecture Grundlagen der Programm- und Systementwicklung

Publications

Peer-Reviewed

• B. Penzenstadler, J. Eckhardt (2012).
  A Requirements Engineering Content Model for Cyber-physical Systems.
  International Workshop on Requirements Engineering for Systems and Systems-of- Systems (RESS 2012).
  
• J. Eckhardt, T. Mühlbauer, J. Meseguer, M. Wirsing (2012).
  Statistical Model-Checking for Composite Actor Systems.
  International Workshop on Algebraic Development Techniques (WADT 2012).
  Abstract
• J. Eckhardt, T. Mühlbauer, M. AlTurki, J. Meseguer, M. Wirsing (2012).
  Stable Availability under Denial of Service Attacks through Formal Patterns.
  International Conference on Fundamental Approaches to Software Engineering (FASE 2012), volume 7212 of Lecture Notes in Computer Science. Springer, 2012.
  Link
• J. Eckhardt, T. Mühlbauer (2012).
  Enhancing Safety and Security of Distributed Systems through Formal Patterns.
  Engineering Secure Software and Systems Doctoral Symposium (ESSoS-DS 2012). CEUR, 2012.
  Link

Invited

• M. Wirsing, J. Eckhardt, T. Mühlbauer, J. Meseguer, (2012).
  Design and Analysis of Cloud-Based Architectures with KLAIM and Maude.
  International Workshop on Rewriting Logic and its Applications (WRLA 2012).
  Abstract

Technical Report

• J. Eckhardt, T. Mühlbauer, J. Meseguer (2011).
  Automatic Generation of CINNI Instances for the Maude System.
  Link

Thesis

• J. Eckhardt (2012)
  Security Analysis in Cloud Computing using Rewriting Logic
  Master’s Thesis
  Link