[English]
[Deutsch]

Chair of Software Engineering: Dependability
Prof. Dr.-Ing. Liggesmeyer

Home

Research

Teaching

Staff

Publications

Contact


Impressum

Staff Members

Prof. Dr.-Ing. habil. Peter Liggesmeyer

Building: 32
Room: 425
Phone: +49 (631) 205-3328
Role: Head of the Research Group
Email: liggesmeyer@cs.uni-kl.de

Dipl.-Ing. (FH) Thomas Schneider

Building: 32
Room: 418
Phone: +49 (631) 205-3342
Role: Technical Support
Email: tschneid@cs.uni-kl.de

Dipl.-Ing. Caroline Frey

Building: 32
Room: 423
Phone: +49 (631) 205-3341
Role: Secretary
Email: frey@cs.uni-kl.de

Researchers and PhD-Students

M.Sc. Nikita Bhardwaj

Building: 32
Room: 435
Phone: +49 (631) 205-3334
Role: Researcher
Email: bhardwaj@cs.uni-kl.de

M.Sc. Nishanth Laxman

Building: 32
Room: 424
Phone: +49 (631) 205-3269
Role: Researcher
Email: nishanth.laxman@cs.uni-kl.de

Dipl.-Inform. Felix Möhrle

Building: 32
Room: 433
Phone: +49 (631) 205-3367
Role: Researcher
Email: moehrle@cs.uni-kl.de

M.Sc. Sebastian Müller

Building: 32
Room: 429
Phone: +49 (631) 205-3449
Role: Researcher
Email: sebastian.mueller@cs.uni-kl.de

External PhD-Students

Dipl.-Inf. Kai Bizik

Email: bizik@cs.uni-kl.de

Donny Thomas Daniel

Company: Siemens
Email: donny-thomas.daniel@siemens.com

Carolina Gomez

Email: gomez@cs.uni-kl.de

Alexander Prohaska

Company: Audi AG
Email: prohaska@cs.uni-kl.de

M.Sc. Michael Roth

Email: michael.roth@cs.uni-kl.de

Christian Schmitt

Company: Siemens

Former Members

Name
Sven Böttger
Kavyashree Jamboti
Kai Nehring

Former PhD-Students

Name Dissertation Title Year
Prof. Dr. rer. nat. Lars Grunske Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturenentwurf 2004
Dr. Christopher Robinson-Mallett Modellbasierte Modulprüfung für die Entwicklung technischer, softwareintensiver Systeme mit Real-time Object-Oriented Modeling 2005
Dr. Bernhard Kaiser State/Event Fault Trees: A Safety and Reliability Analysis Technique for Software-Controlled Systems 2005
Dr. Benedikte Elbel Ein Modell zur Untersuchung der Formalisierbarkeit des funktionsorientierten Tests 2007
Dr. Robert Kalcklösch Gossip-Based Diagnosis of Arbitrary Component-Oriented Systems 2008
Dr. Christian Denger SafeSpection - A Framework for Systematization and Customization of Software Hazard Identification 2008
Dr. Roland Neumann Orthogonalisierte Softwaremaße in der Fehlerprognose 2009
Dr. Mesut Ipek Eine Testfallspezifikationsprache für das funktionsorientierte Testen von reaktiven eingebetteten Systemen im automobilen Bereich 2010
Dr. Gerrit Hanselmann On the principle of heterogeneous redundancy based Bayesian approach to integrate static and dynamic fault prediction models 2011
Dr. Nikolas Nehmer Exception Handling – A Systematic Log-Based Approach 2011
Dr. Frank Böhr Model-Based Statistical Testing of Embedded Real-Time Software with Continuous and Discrete Signals in a Concurrent Environment 2011
Dr. Dominik J. Domis Integrating Fault-Tree Analysis and Component-Oriented Model-Based Design of Embedded Systems 2012
Dr. Florian Schmidt Funktionale Absicherung kamerabasierter aktiver Fahrerassistenzsysteme durch Hardware-in-the-Loop-Tests 2012
Dr. Kai Höfig Failure-Dependent Timing Analysis: A New Methodology for Probabilistic Worst-Case Execution Time Analysis 2012
Dr. Yi Yang Visual Support for Safety Analysis 2012
Dr. Daniel Schmidt Safe Navigaton of a Wall-Climbing Robot - Risk Assessment and Control Methods 2013
Dr. Daniel Schneider Conditional Safety Certification for Open Adaptive Systems 2014
Dr. Bastian Zimmer Efficiently Deploying Safety-Critical Applications onto Open Integrated Architectures 2014
Dr. Zhensheng Guo Safe Requirements Engineering: A Scenario-based Approach for Identifying Complete Safety-oriented Requirements 2014
Dr. Sören Kemmann SAHARA A Structured Approach for Hazard Analysis and Risk Assessments 2015
Dr. Taimur Khan Interactive Visual Analysis of Software Structures 2015
Dr. Raga'ad AlTarawneh Visual Interactive Support for Understanding the Structural and Behavioral Aspects of Embedded Systems 2015
Dr. Thomas Bauer Enabling Functional Integration Testing by Using Heterogeneous Models 2016
Dr. Michael Kläs HyDEEP: Transparent Combination of Measurement and Expert Data for Defect Prediction 2016
Dr. Hassan Mohammad Verification and Performance Measurement for Transport Protocol Parallel Routing of an AUTOSAR Gateway System 2016
Dr. Pablo Oliveira Antonino de Assis Improving the Consistency and Completeness of Safety Requirements Specifications 2016
Dr. Max Steiner Integrating Security Concerns into Safety Analysis of Embedded Systems Using Component Fault Trees 2016