Lehrstuhl Software Engineering: Dependability

Prof. Dr.-Ing. habil. Peter Liggesmeyer

Gebäude: 32

Raum: 425

Funktion: Leiter des Lehrstuhls

Kontakt: Bitte Sekretariat kontaktieren

Caroline Frey

Gebäude:  32

Raum:        423

Telefon:    +49 (631) 205-3341

Funktion:   Sekretariat

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

 

Projekte und studentische Arbeiten finden Sie hier

Thomas Schneider

Gebäude: 32

Raum: 427

Telefon: +49 (631) 205-3342

Funktion:  Technische Unterstützung

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

Wissenschaftliche Mitarbeiter und Doktoranden

M.Sc. Rasha Abu Qasem

Gebäude: 32

Raum: 429

Telefon: +49 (631) 205-3449

Funktion:  Wissenschaftliche Mitarbeiterin

Email:abuqasem@cs.uni-kl.de

M.Sc. Nikita Bhardwaj Haupt

Gebäude: 32

Raum: 429

Telefon: +49 (631) 205-4471

Funktion:  Wissenschaftliche Mitarbeiterin

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

M.Sc. Nishanth Laxman

Gebäude: 32

Raum: 424

Telefon:  +49 (631) 205-3269

Funktion:  Wissenschaftlicher Mitarbeiter

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

M.Sc. Brian Tewanima Löwe

Gebäude: 32

Raum: 431

Telefon: +49 (631) 205-2629

Funktion:  Wissenschaftlicher Mitarbeiter

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

Dipl.-Inform. Felix Möhrle

Gebäude: 32

Raum: 433

Telefon: +49 (631) 205-3367

Funktion: Wissenschaftlicher Mitarbeiter  

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

M.Sc. Anil Ranjitbhai Patel

Gebäude: 32

Raum: 435

Telefon: +49 (631) 205-3449

Funktion: Wissenschaftlicher Mitarbeiter  

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

Externe Doktoranden

Emilia Cioroaica

Fabio Leite

Alexander Prohaska

Ahmad Adee

Company :  Bosch

HiWi

Priyash Bhugra
Seyade Ensiye Tahaei Shiyade
Shrikant Kharade

 

Ehemalige Mitarbeiter

Kai Bizik

Sven Böttger

Carolina Gómez

Kai Nehring

Dr. Markus Damm

Dr. Patric Keller

Kavyashree Jamboti

Ehemalige Doktoranden

NameDissertation TitleYear
Dr. Patrik FethDynamic Behavior Risk Assessment for Autonomous Systems2019
Dr. Sebastian MüllerContract-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