Prof. Dr.-Ing. habil. Peter Liggesmeyer

Gebäude: 32

Raum: 425

Funktion: Leiter des Lehrstuhls

Kontakt: per Email seda-info(at)cs.rptu.de

Claudia Schwager

Gebäude 32

Raum:    423

Telefon:   +49 (631) 205-3341

Funktion:  Sekretariat

Email:claudia.schwager(at)cs.rptu.de

 

 

Projekte und studentische Arbeiten finden Sie hier
oder schreiben Sie uns an seda_teaching(at)cs.uni-kl.de

Thomas Schneider

Gebäude: 32

Raum: 427

Telefon: +49 (631) 205-3342

Funktion:  Technische Unterstützung

Email: thomas.schneider(at)cs.rptu.de

Wissenschaftliche Mitarbeiter und Doktoranden

M.Sc. Nikita Bhardwaj Haupt

Gebäude: 32

Raum: 433

Telefon: +49 (631) 205-4471

Funktion:  Wissenschaftliche Mitarbeiterin

Email: nikita.haupt@cs.rptu.de

M.Sc. Anil Ranjitbhai Patel

Gebäude: 32

Raum: 435

Telefon: +49 (631) 205-3334

Funktion: Wissenschaftlicher Mitarbeiter  

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

M.Sc. Alexander Günther

Gebäude: 32

Raum: 424

Telefon: +49 (631) 205-3269

Funktion:  Wissenschaftlicher Mitarbeiter

Email: alexander.guenther(at)cs.uni-kl.de

Email: alexander.guenther(at)rptu.de

Externe Doktoranden

HiWi

Vekatesh Rangasamy
rangasam(at)rptu.de

Sanjaykumar Ramjibhai Gorasiya
gorasiya(at)rptu.de

 

Ehemalige Mitarbeiter

Rasha Abu Qasem

Brian Tewanima Löwe

Dr. Felix Möhrle

Sebastian Müller

Kai Bizik

Sven Böttger

Carolina Gómez

Kai Nehring

Dr. Markus Damm

Dr. Patric Keller

Kavyashree Jamboti

Ehemalige Doktoranden

NameDissertation TitleYear
Dr. Ahmad AdeeModel Based System Analysis Techniques to Determine Propagation Paths of Functional Insufficiencies in Software Intensive Systems2023
Dr. Alexander ProhaskaModular Saftey Analysis with Dependency-aware Fault Trees2022
Dr. Felix MöhrleAutomated Fault Tree Analysis by Composition of Type Annotated Component Fault Trees2022
Dr. Fabio Luiz Leite JuniorA Dynamic Risk Assessment Approach for Cooperative Medical Cyber-Physical Systems2021
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 SchmittA 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
Asso. Prof. 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