Chair of software engineering: Dependability

Prof. Dr.-Ing. habil. Peter Liggesmeyer

Building: 32

Room: 425

Role: Head of the Chair

Contact: Please contact the secretary's office

Caroline Frey

Building: 32

Room: 42

Phone: +49 (631) 205-3341

Role: Secretary

Email: frey(at)cs.uni-kl.de

 

Projects and theses can be found here

Thomas Schneider

Building: 32

Room: 427

Phone: +49 (631) 205-3342

Role: Technical Support

Email: tschneid(at)cs.uni-kl.de

Researchers and PhD-Students

M.Sc. Rasha Abu Qasem

Building: 32

Room: 429

Phone: +49 (631) 205-3449

Role: Researcher

Email: abuqasem(at)informatik.uni-kl.de

M.Sc. Nikita Bhardwaj Haupt

Building: 32

Room: 429

Phone: +49 (631) 205-4471

Role: Researcher

Email: haupt(at)cs.uni-kl.de

M.Sc. Nishanth Laxman

Building: 32

Room: 424

Phone:  +49 (631) 205-3269

Role: Researcher

Email nishanth.laxman(at)cs.uni-kl.de

M.Sc. Brian Tewanima Löwe

Building: 32

Room: 431

Phone: +49 (631) 205-2629

Role: Researcher

Email: loewe(at)cs.uni-kl.de

Dipl.-Inform. Felix Möhrle

Building: 32

Room: 433

Phone: +49 (631) 205-3367

Role: Researcher

Email: moehrle(at)cs.uni-kl.de

M.Sc. Anil Ranjitbhai Patel

Building: 32

Room: 429

Phone: +49 (631) 205-3449

Role: Researcher

Email: patel(at)cs.uni-kl.de

External doctoral students

Emilia Cioroaica

Jasmin Jahic

Fabio Leite

Alexander Prohaska

Ahmad Adee

Company :  Bosch

HiWi

Priyash Bhugra
Ensiye
Shrikant

Former employees

Kai Bizik

Sven Böttger

Carolina Gómez

Kai Nehring

Dr. Markus Damm

Dr. Patric Keller

Kavyashree Jamboti

Former doctoral students

NameDissertation TitleYear

 Dr. Patrik Feth

Dynamic Behavior Risk Assessment for Autonomous Systems2019

Dr. Sebastian Müller

Contract-Based Safety Certification for the Dynamic Adaptation Behavior of Networked Embedded Systems2019
Dr. Christian Schmitt A Model for Structuring and Reusing Security Requirements Sources2017
Dr. Michael RothQualitative Reliability Analysis of Software-Controlled Systems using State/Event Fault Trees2016
Dr. Max SteinerIntegrating Security Concerns into Safety Analysis of Embedded Systems Using Component Fault Trees2016
Dr. Pablo Oliveira Antonino de AssisImproving the Consistency and Completeness of Safety Requirements Specifications2016
Dr. Hassan MohammadVerification and Performance Measurement for Transport Protocol Parallel Routing of an AUTOSAR Gateway System2016
Dr. Michael KläsHyDEEP: Transparent Combination of Measurement and Expert Data for Defect Prediction2016
Dr. Thomas BauerEnabling Functional Integration Testing by Using Heterogeneous Models2016
Dr. Raga'ad AlTarawnehVisual Interactive Support for Understanding the Structural and Behavioral Aspects of Embedded Systems2015
Dr. Taimur KhanInteractive Visual Analysis of Software Structures2015
Dr. Sören KemmannSAHARA A Structured Approach for Hazard Analysis and Risk Assessments2015
Dr. Zhensheng GuoSafe Requirements Engineering: A Scenario-based Approach for Identifying Complete Safety-oriented Requirements2014
Dr. Bastian ZimmerEfficiently Deploying Safety-Critical Applications onto Open Integrated Architectures2014
Dr. Daniel SchneiderConditional Safety Certification for Open Adaptive Systems2014
Dr. Daniel SchmidtSafe Navigaton of a Wall-Climbing Robot - Risk Assessment and Control Methods2013
Dr. Yi YangVisual Support for Safety Analysis2012
Prof. Dr. Kai HöfigFailure-Dependent Timing Analysis: A New Methodology for Probabilistic Worst-Case Execution Time Analysis2012
Dr. Florian SchmidtFunktionale Absicherung kamerabasierter aktiver Fahrerassistenzsysteme durch Hardware-in-the-Loop-Tests2012
Dr. Dominik J. DomisIntegrating Fault-Tree Analysis and Component-Oriented Model-Based Design of Embedded Systems2012
Dr. Frank BöhrModel-Based Statistical Testing of Embedded Real-Time Software with Continuous and Discrete Signals in a Concurrent Environment2011
Dr. Nikolas NehmerException Handling – A Systematic Log-Based Approach2011
Dr. Gerrit HanselmannOn the principle of heterogeneous redundancy based Bayesian approach to integrate static and dynamic fault prediction models2011
Dr. Mesut IpekEine Testfallspezifikationsprache für das funktionsorientierte Testen von reaktiven eingebetteten Systemen im automobilen Bereich2010
Dr. Roland NeumannOrthogonalisierte Softwaremaße in der Fehlerprognose2009
Dr. Christian DengerSafeSpection - A Framework for Systematization and Customization of Software Hazard Identification2008
Dr. Robert KalcklöschGossip-Based Diagnosis of Arbitrary Component-Oriented Systems2008
Dr. Benedikte ElbelEin Modell zur Untersuchung der Formalisierbarkeit des funktionsorientierten Tests2007
Dr. Bernhard KaiserState/Event Fault Trees: A Safety and Reliability Analysis Technique for Software-Controlled Systems2005

Dr. Christopher Robinson-Mallett

 

Prof. Dr. rer. nat. Lars Grunske

Modellbasierte Modulprüfung für die Entwicklung technischer, softwareintensiver Systeme mit Real-time Object-Oriented Modeling

Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturenentwurf

2005

2004

Zum Seitenanfang