[English]
[Deutsch]

Lehrstuhl Software Engineering: Dependability
Prof. Dr.-Ing. Liggesmeyer

Home

Research

Teaching

Staff

Publications

Contact


Impressum

Mitarbeiter

Prof. Dr.-Ing. habil. Peter Liggesmeyer

Gebäude: 32
Raum: 425
Telefon: +49 (631) 205-3328
Funktion: Leiter des Lehrstuhls
Email: liggesmeyer@informatik.uni-kl.de

Thomas Schneider

Gebäude: 32
Raum: 418
Telefon: +49 (631) 205-3342
Funktion: Technische Unterstützung
Email: tschneid@informatik.uni-kl.de

Caroline Frey

Gebäude: 32
Raum: 423
Telefon: +49 (631) 205-3341
Funktion: Sekretariat
Email: frey@informatik.uni-kl.de

Wissenschaftliche Mitarbeiter und Doktoranden

M.Sc. Nikita Bhardwaj-Haupt

Gebäude: 32
Raum: 435
Telefon: +49 (631) 205-3334
Funktion: Wissenschaftliche Mitarbeiterin
Email: bhardwaj@informatik.uni-kl.de

M.Sc. Nishanth Laxman

Gebäude: 32
Raum: 424
Telefon: +49 (631) 205-3269
Funktion: Wissenschaftlicher Mitarbeiter
Email: nishanth.laxman@informatik.uni-kl.de

Dipl.-Inform. Felix Möhrle

Gebäude: 32
Raum: 433
Telefon: +49 (631) 205-3367
Funktion: Wissenschaftlicher Mitarbeiter
Email: moehrle@informatik.uni-kl.de

M.Sc. Sebastian Müller

Gebäude: 32
Raum: 429
Telefon: +49 (631) 205-3449
Funktion: Wissenschaftlicher Mitarbeiter
Email: sebastian.mueller@informatik.uni-kl.de

Externe Doktoranden

Dipl.-Inf. Kai Bizik

Email: bizik@informatik.uni-kl.de

Donny Thomas Daniel

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

Carolina Gomez

Email: gomez@informatik.uni-kl.de

Alexander Prohaska

Firma: Audi AG
Email: prohaska@informatik.uni-kl.de

Christian Schmitt

Firma: Siemens

Ehemalige Mitarbeiter

Name
Sven Böttger
Kavyashree Jamboti
Kai Nehring

Ehemalige Doktoranden

Name Dissertationsthema Jahr
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
Dr. Michael Roth Qualitative Reliability Analysis of Software-Controlled Systems using State/Event Fault Trees 2017