Fakultät für Informatik TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering
Technische Universität München

Jonas Eckhardt
M.Sc. with honours

Email


Address
Technische Universität München
Institut für Informatik – Lehrstuhl IV (I4)
Boltzmannstr. 3
85748 Garching bei München

Room 00.11.059
Raumplan

Phone +49 89 289-17382
Fax +49 89 289-17307

Office Hours
please call/mail ahead for an appointment

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

  • Requirements Engineering, Non-functional Requirements
  • Formal Methods, Rewriting Logic, Model Checking
  • Software/Systems Architecture, Design Patterns
  • 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).
  • Quality Requirements and their relation to Architecture
    The goal of this project is to further explore the relation between quality requirements and architectural design decisions..
  • 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).

Teaching

Publications

Journal

Peer-Reviewed

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

  1. © ACM. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in the conference/workshop proceedings.
  2. © Springer. This is the author's version of the work. It is posted here by permission of Springer for your personal use. Not for redistribution. The definitive version was published in the conference/workshop proceedings.
  3. © IEEE. This is the author's version of the work. It is posted here by permission of the IEEE for your personal use. Not for redistribution. The definitive version was published in the conference/workshop proceedings.