Prof. Dr. Lars Grunske

Profil

• AMVAD

  Quelle ↗

  Förderer: Investitionsbank Berlin (IBB) Zeitraum: 01/2023 - 12/2025 Projektleitung: Prof. Dr. Holger Schlingloff, Prof. Dr. Lars Grunske

• EMPEROR: Lernen der Ursachen von Programmverhalten

  Quelle ↗

  Förderer: DFG Sachbeihilfe Zeitraum: 02/2022 - 10/2026 Projektleitung: Prof. Dr. Lars Grunske, Birgit Heene

• EMPRESS: Extrahieren von probabilistischen Ereignisstrukturen eines Softwaresystems

  Quelle ↗

  Förderer: DFG Sachbeihilfe Zeitraum: 10/2016 - 04/2020 Projektleitung: Prof. Dr. Lars Grunske

• Facebook Testing and Verification Research Award

  Quelle ↗

  Förderer: Wirtschaftsunternehmen / gewerbliche Wirtschaft Zeitraum: 10/2018 - 12/2025 Projektleitung: Prof. Dr. Lars Grunske, Dipl.- Thomas Vogel

• Fitness landscape characterisation for architecture optimisation

  Quelle ↗

  Förderer: DAAD Zeitraum: 01/2016 - 12/2017 Projektleitung: Prof. Dr. Lars Grunske

• FLASH: Suchraumanalyse für die Verbesserung von heuristischen Suchstrategien - Eine systematische Untersuchung für verschiedene Software Engineering Probleme

  Quelle ↗

  Förderer: DFG Sachbeihilfe Zeitraum: 02/2019 - 12/2022 Projektleitung: Prof. Dr. Lars Grunske

• IDEFIX: Identifizierung und Behebung von wiederkehrenden Softwarefehlern

  Quelle ↗

  Förderer: DFG Sachbeihilfe Zeitraum: 10/2022 - 12/2026 Projektleitung: Prof. Dr. Lars Grunske

• KMU-innovativ - Verbundprojekt: Safe.Spec - Qualitätssicherung von Verhaltensanforderungen

  Quelle ↗

  Förderer: Bundesministerium für Forschung, Technologie und Raumfahrt Zeitraum: 02/2017 - 01/2019 Projektleitung: Prof. Dr. Lars Grunske

• SDeCopilot: Unterstützung von Entwicklern bei der Erstellung korrekter Software mit Debugging-Agenten

  Quelle ↗

  Förderer: DFG Walter Benjamin Programm Zeitraum: 10/2026 - 09/2028 Projektleitung: Prof. Dr. Lars Grunske

• SFB 1404/1: MGK: Integriertes Graduiertenkolleg (TP S02)

  Quelle ↗

  Förderer: DFG Sonderforschungsbereich Zeitraum: 07/2020 - 06/2024 Projektleitung: Prof. Dr. Lars Grunske

• SFB 1404/1: Verteilte Laufzeitüberwachung und Fehlerbehebung von Datenanalyseworkflows (TP B06)

  Quelle ↗

  Förderer: DFG Sonderforschungsbereich Zeitraum: 07/2020 - 06/2024 Projektleitung: Prof. Dr. Lars Grunske

• SFB 1404/1: Zuverlässigkeit und Genauigkeit in Multi-Choice Datenanalyseworkflows (TP A03)

  Quelle ↗

  Förderer: DFG Sonderforschungsbereich Zeitraum: 07/2020 - 06/2024 Projektleitung: Prof. Dr. Dr. h.c. Claudia Draxl, Prof. Dr. Lars Grunske

• SFB 1404/2: Integriertes Graduiertenkolleg MGK (TP S02)

  Quelle ↗

  Förderer: DFG Sonderforschungsbereich Zeitraum: 07/2024 - 06/2028 Projektleitung: Prof. Dr. Lars Grunske

• SFB 1404/2: Nutzerzentrierter Entwurf für Workflowsprachen (TP C03)

  Quelle ↗

  Förderer: DFG Sonderforschungsbereich Zeitraum: 07/2024 - 06/2028 Projektleitung: Prof. Dr. Thomas Kosch, Prof. Dr. Lars Grunske

• SFB 1404/2: Semantische Erzeugung und Validierung interagierender Workflows in der computergestützten Materialwissenschaft (TP A07)

  Quelle ↗

  Förderer: DFG Sonderforschungsbereich Zeitraum: 07/2024 - 06/2028 Projektleitung: Prof. Dr. Lars Grunske

• SFB 1404/2: Verbesserung der Robustheit rechnergestützter Workflows in der Materialwissenschaft (TP A03)

  Quelle ↗

  Förderer: DFG Sonderforschungsbereich Zeitraum: 07/2024 - 06/2028 Projektleitung: Prof. Dr. Lars Grunske, Prof. Dr. Dr. h.c. Claudia Draxl

• SpamPR-Buster: Bekämpfung von Spam-Pull-Requests

  Quelle ↗

  Förderer: DFG Sachbeihilfe Internationale Kooperation Zeitraum: 04/2026 - 03/2029 Projektleitung: Prof. Dr. Lars Grunske

• SPECENG: Specification Engineering für temporale logische Spezifikationen

  Quelle ↗

  Förderer: DFG Sachbeihilfe Internationale Kooperation Zeitraum: 03/2026 - 03/2029 Projektleitung: Prof. Dr. Lars Grunske

• SPP 1593: ENsurance of Software evolUtion by Run-time cErtification II

  Quelle ↗
  409-02-A · Softwaretechnik

  Förderer: DFG Sachbeihilfe Zeitraum: 01/2016 - 08/2019 Projektleitung: Prof. Dr. Lars Grunske

• Übereinstimmungsprüfung von Prozessen im Kontext Unvollständiger Informationen

  Quelle ↗

  Förderer: DFG Sachbeihilfe Zeitraum: 01/2020 - 12/2024 Projektleitung: Prof. Dr. Lars Grunske, Prof. Dr. Matthias Weidlich

• Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  Quelle ↗

  Förderer: Bundesministerium für Forschung, Technologie und Raumfahrt Zeitraum: 10/2022 - 09/2025 Projektleitung: Prof. Dr. Lars Grunske

• SafeTRANS e.V. - Safety in Transportation Systems

  KPT

  24 Treffer85.0%
  • Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen
    K

    85.0%

• SGS-TÜV Saar GmbH

  KPT

  25 Treffer85.0%
  • Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen
    K

    85.0%

• INCHRON AG, Erlangen

  KPT

  25 Treffer85.0%
  • Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen
    K

    85.0%

• TTTech Auto Germany GmbH

  KPT

  22 Treffer85.0%
  • Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen
    K

    85.0%

• OSSENO Software GmbH

  KPT

  23 Treffer85.0%
  • Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen
    K

    85.0%

• Validas AG, München

  KPT

  17 Treffer85.0%
  • Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen
    K

    85.0%

• Asvin GmbH, Stuttgart

  KPT

  24 Treffer85.0%
  • Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen
    K

    85.0%

• Merantix Labs GmbH

  KPT

  25 Treffer85.0%
  • Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen
    K

    85.0%

• InnovationLab GmbH

  P

  6 Treffer64.4%
  • Interfaces in opto-electronic thin film multilayer devices
    P

    64.4%

• Gesellschaft für angewandte Mathematik und Mechanik

  PT

  116 Treffer64.2%
  • Workshop Reliable Methods and Mathematical Modeling
    P

    64.2%

• Dynamic QoS Management and Optimization in Service-Based Systems

  2010

  IEEE Transactions on Software Engineering · 372 Zitationen · DOI

  Service-based systems that are dynamically composed at runtime to provide complex, adaptive functionality are currently one of the main development paradigms in software engineering. However, the Quality of Service (QoS) delivered by these systems remains an important concern, and needs to be managed in an equally adaptive and predictable way. To address this need, we introduce a novel, tool-supported framework for the development of adaptive service-based systems called QoSMOS (QoS Management and Optimization of Service-based systems). QoSMOS can be used to develop service-based systems that achieve their QoS requirements through dynamically adapting to changes in the system state, environment, and workload. QoSMOS service-based systems translate high-level QoS requirements specified by their administrators into probabilistic temporal logic formulae, which are then formally and automatically analyzed to identify and enforce optimal system configurations. The QoSMOS self-adaptation mechanism can handle reliability and performance-related QoS requirements, and can be integrated into newly developed solutions or legacy systems. The effectiveness and scalability of the approach are validated using simulations and a set of experiments based on an implementation of an adaptive service-based system for remote medical assistance.

• Software Architecture Optimization Methods: A Systematic Literature Review

  2012

  IEEE Transactions on Software Engineering · 293 Zitationen · DOI

  Due to significant industrial demands toward software systems with increasing complexity and challenging quality requirements, software architecture design has become an important development activity and the research domain is rapidly evolving. In the last decades, software architecture optimization methods, which aim to automate the search for an optimal architecture design with respect to a (set of) quality attribute(s), have proliferated. However, the reported results are fragmented over different research communities, multiple system domains, and multiple quality attributes. To integrate the existing research results, we have performed a systematic literature review and analyzed the results of 188 research papers from the different research communities. Based on this survey, a taxonomy has been created which is used to classify the existing research. Furthermore, the systematic analysis of the research literature provided in this review aims to help the research community in consolidating the existing research efforts and deriving a research agenda for future developments.

• A learning-to-rank based fault localization approach using likely invariants

  2016

  199 Zitationen · DOI

  Debugging is a costly process that consumes much of developer time and energy. To help reduce debugging effort, many studies have proposed various fault localization approaches. These approaches take as input a set of test cases (some failing, some passing) and produce a ranked list of program elements that are likely to be the root cause of the failures (i.e., failing test cases). In this work, we propose Savant, a new fault localization approach that employs a learning-to-rank strategy, using likely invariant diffs and suspiciousness scores as features, to rank methods based on their likelihood to be a root cause of a failure. Savant has four steps: method clustering & test case selection, invariant mining, feature extraction, and method ranking. At the end of these four steps, Savant produces a short ranked list of potentially buggy methods. We have evaluated Savant on 357 real-life bugs from 5 programs from the Defects4J benchmark. Out of these bugs, averaging over 100 repeated trials with different seeds to randomly break ties, we find that on average Savant can identify correct buggy methods for 63.03, 101.72, and 122 bugs at top 1, 3, and 5 positions in the ranked lists that Savant produces. We have compared Savant against several state-of-the-art fault localization baselines that work on program spectra. We show that Savant can successfully locate 57.73%, 56.69%, and 43.13% more bugs at top 1, top 3, and top 5 positions than the best performing baseline, respectively.

• ArcheOpterix: An extendable tool for architecture optimization of AADL models

  2009

  180 Zitationen · DOI

  For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements has to be set in the architecture design phase. However, finding a suitable architecture design is a difficult task for software and system architects. Some of the reasons for this are an ever-increasing complexity of today's systems, strict design constraints and conflicting quality requirements. To simplify the task, this paper presents an extendable Eclipse-based tool, called ArcheOpterix, which provides a framework to implement evaluation techniques and optimization heuristics for AADL specifications. Currently, evolutionary strategies have been implemented to identify optimized deployment architectures with respect to multiple quality objectives and design constraints. Experiments with a set of initial deployment architectures provide evidence that the tool can successfully find architecture specifications with better quality.

• Specification patterns for probabilistic quality properties

  2008

  166 Zitationen · DOI

  Probabilistic verification techniques are a powerful means to ensure that a software-intensive system fulfills its quality requirements. To apply these techniques an accurate specification of the required properties in a probabilistic temporal logic is necessary. To help practitioners formulate these properties correctly, this paper presents a specification pattern system of common probabilistic properties called ProProST. This pattern system has been a developed based on a survey of 152 properties from academic examples and 48 properties of real-word quality requirements from avionic, defence and automotive systems. Furthermore, a structured English grammar that can guide in the specification of probabilistic properties is given. Similar to previous specification patterns for traditional and real-time properties, the presented specification pattern system and the structured English grammar captures expert knowledge and helps practitioners to correctly apply formal verification techniques.

• An Approach to Forecasting QoS Attributes of Web Services Based on ARIMA and GARCH Models

  2012

  137 Zitationen · DOI

  Availability of several web services having a similar functionality has led to using quality of service (QoS) attributes to support services selection and management. To improve these operations and be performed proactively, time series ARIMA models have been used to forecast the future QoS values. However, the problem is that in this extremely dynamic context the observed QoS measures are characterized by a high volatility and time-varying variation to the extent that existing ARIMA models cannot guarantee accurate QoS forecasting where these models are based on a homogeneity (constant variation over time) assumption, which can introduce critical problems such as proactively selecting a wrong service and triggering unrequired adaptations and thus leading to follow-up failures and increased costs. To address this limitation, we propose a forecasting approach that integrates ARIMA and GARCH models to be able to capture the QoS attributes' volatility and provide accurate forecasts. Using QoS datasets of real-world web services we evaluate the accuracy and performance aspects of the proposed approach. Results show that the proposed approach outperforms the popular existing ARIMA models and improves the forecasting accuracy of QoS measures and violations by on average 28.7% and 15.3% respectively.

• Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar

  2015

  IEEE Transactions on Software Engineering · 130 Zitationen · DOI

  Formal methods offer an effective means to assert the correctness of software systems through mathematical reasoning. However, the need to formulate system properties in a purely mathematical fashion can create pragmatic barriers to the application of these techniques. For this reason, Dwyer et al. invented property specification patterns which is a system of recurring solutions to deal with the temporal intricacies that would make the construction of reactive systems very hard otherwise. Today, property specification patterns provide general rules that help practitioners to qualify order and occurrence, to quantify time bounds, and to express probabilities of events. Nevertheless, a comprehensive framework combining qualitative, real-time, and probabilistic property specification patterns has remained elusive. The benefits of such a framework are twofold. First, it would remove the distinction between qualitative and quantitative aspects of events; and second, it would provide a structure to systematically discover new property specification patterns. In this paper, we report on such a framework and present a unified catalogue that combines all known plus 40 newly identified or extended patterns. We also offer a natural language front-end to map patterns to a temporal logic of choice. To demonstrate the virtue of this new framework, we applied it to a variety of industrial requirements, and use PSPWizard, a tool specifically developed to work with our unified pattern catalogue, to automatically render concrete instances of property specification patterns to formulae of an underlying temporal logic of choice.

• VUDENC: Vulnerability Detection with Deep Learning on a Natural Codebase for Python

  2022

  Information and Software Technology · 121 Zitationen · DOI

• An approach to software reliability prediction based on time series modeling

  2013

  Journal of Systems and Software · 111 Zitationen · DOI

• Using Models at Runtime to Address Assurance for Self-Adaptive Systems

  2014

  Lecture notes in computer science · 101 Zitationen · DOI

• Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances

  2017

  Lecture notes in computer science · 99 Zitationen · DOI

• Dimensions and Metrics for Evaluating Recommendation Systems

  2013

  99 Zitationen · DOI

• Semantic program repair using a reference implementation

  2018

  85 Zitationen · DOI

  Automated program repair has been studied via the use of techniques involving search, semantic analysis and artificial intelligence. Most of these techniques rely on tests as the correctness criteria, which causes the test overfitting problem. Although various approaches such as learning from code corpus have been proposed to address this problem, they are unable to guarantee that the generated patches generalize beyond the given tests. This work studies automated repair of errors using a reference implementation. The reference implementation is symbolically analyzed to automatically infer a specification of the intended behavior. This specification is then used to synthesize a patch that enforces conditional equivalence of the patched and the reference programs. The use of the reference implementation as an implicit correctness criterion alleviates overfitting in test-based repair. Besides, since we generate patches by semantic analysis, the reference program may have a substantially different implementation from the patched program, which distinguishes our approach from existing techniques for regression repair like Relifix. Our experiments in repairing the embedded Linux Busybox with GNU Coreutils as reference (and vice-versa) revealed that the proposed approach scales to real-world programs and enables the generation of more correct patches.

• A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System

  2017

  77 Zitationen · DOI

  In the past, spectrum-based fault localization (SBFL) techniques have been developed to pinpoint a fault location in a program given a set of failing and successful test executions. Most of the algorithms use similarity coefficients and have only been evaluated on established but small benchmark programs from the Software-artifact Infrastructure Repository (SIR). In this paper, we evaluate the feasibility of applying 33 state-of-the-art SBFL techniques to a large real-world project, namely ASPECTJ. From an initial set of 350 faulty version from the iBugs repository of ASPECTJ we manually classified 88 bugs where SBFL techniques are suitable. Notably, only 11 bugs of these bugs can be found after examining the 1000 most suspicious lines and on average 250 source code files need to be inspected per bug. Based on these results, the study showcases the limitations of current SBFL techniques on a larger program.

• Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations

  2005

  Lecture notes in computer science · 77 Zitationen · DOI

• An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling

  2012

  71 Zitationen · DOI

  Predicting future values of Quality of Service (QoS) attributes can assist in the control of software intensive systems by preventing QoS violations before they happen. Currently, many approaches prefer Autoregressive Integrated Moving Average (ARIMA) models for this task, and assume the QoS attributes' behavior can be linearly modeled. However, the analysis of real QoS datasets shows that they are characterized by a highly dynamic and mostly nonlinear behavior to the extent that existing ARIMA models cannot guarantee accurate QoS forecasting, which can introduce crucial problems such as proactively triggering unrequired adaptations and thus leading to follow-up failures and increased costs. To address this limitation, we propose an automated forecasting approach that integrates linear and nonlinear time series models and automatically, without human intervention, selects and constructs the best suitable forecasting model to fit the QoS attributes' dynamic behavior. Using real-world QoS datasets of 800 web services we evaluate the applicability, accuracy, and performance aspects of the proposed approach, and results show that the approach outperforms the popular existing ARIMA models and improves the forecasting accuracy by on average 35.4%.

• Identifying "good" architectural design alternatives with multi-objective optimization strategies

  2006

  71 Zitationen · DOI

  Architecture trade-off analysis methods are appropriate techniques to evaluate design decisions and design alternatives with respect to conflicting quality requirements. However, the identification of good design alternatives is a time consuming task, which is currently performed manually. To automate this task, this paper proposes to use evolutionary algorithms and multi-objective optimization strategies based on architecture refactorings to identify a sufficient set of design alternatives. This approach will reduce development costs and improve the quality of the final system, because an automated and systematic search will identify more and better design alternatives.

• Perpetual Assurances for Self-Adaptive Systems

  2017

  Lecture notes in computer science · 70 Zitationen · DOI

• Performance Prediction of Component-Based Systems

  2006

  Lecture notes in computer science · 70 Zitationen · DOI

• Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples

  2009

  67 Zitationen · DOI

  Failure mode and effects analysis (FMEA) isa technique to reason about possible system hazards thatresult from system or system component failures. Traditionally, FMEA does not take the probabilities with which these failures may occur into account. Recently, this shortcoming was addressed by integrating stochastic model checking techniques into the FMEA process. A further improvement is the integration of techniques for the generation of counterexamples for stochastic models, which we propose in this paper. Counterexamples facilitate the redesign of a potentially unsafe system by providing information which components contribute most to the failure of the entire system. The usefulness of this novel approach to the FMEA process is illustrated by applying it to the case study of an airbag system provided by our industrial partner, the TRW Automotive GmbH.

• Hora: Architecture-aware online failure prediction

  2017

  Journal of Systems and Software · 63 Zitationen · DOI

  Complex software systems experience failures at runtime even though a lot of effort is put into the development and operation. Reactive approaches detect these failures after they have occurred and already caused serious consequences. In order to execute proactive actions, the goal of online failure prediction is to detect these failures in advance by monitoring the quality of service or the system events. Current failure prediction approaches look at the system or individual components as a monolith without considering the architecture of the system. They disregard the fact that the failure in one component can propagate through the system and cause problems in other components. In this paper, we propose a hierarchical online failure prediction approach, called Hora, which combines component failure predictors with architectural knowledge. The failure propagation is modeled using Bayesian networks which incorporate both prediction results and component dependencies extracted from the architectural models. Our approach is evaluated using Netflix’s server-side distributed RSS reader application to predict failures caused by three representative types of faults: memory leak, system overload, and sudden node crash. We compare Hora to a monolithic approach and the results show that our approach can improve the area under the ROC curve by 9.9%.

• Probabilistic Model-Checking Support for FMEA

  2007

  60 Zitationen · DOI

  Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. The analysis is typically time intensive and informal, and for this reason FMEA has been extended with traditional model checking support. Such support does not take into account the probabilities associated with a component fault occurring, yet such information is crucial to developing hazard reduction strategies for a system. In this paper we propose a method for FMEA which makes use of probabilistic fault injection and probabilistic model checking. Based on this approach safety engineers are able to formally identify if a failure mode occurs with a probability higher than its tolerable hazard rate.

• Early quality prediction of component-based systems – A generic framework

  2006

  Journal of Systems and Software · 60 Zitationen · DOI

• A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models

  2008

  56 Zitationen · DOI

  Early quality evaluation and support for decisions that affect quality characteristics are among the key incentives to formally specify the architecture of a software intensive system. The Architecture Analysis and Description Language (AADL) with its error annex is a new and promising architecture modeling language that supports analysis of safety and other dependability properties. This paper reviews the key concepts that are introduced by the error annex, and compares it to the existing safety evaluation techniques regarding its ability in providing modeling, process and tool support. Based on this review and the comparison, its strengths and weaknesses are identified and possible improvements for the model-driven safety evaluation methodology based on AADLpsilas error annex are highlighted.

• An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees

  2005

  Lecture notes in computer science · 56 Zitationen · DOI

• Asvin GmbH, Stuttgart

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  company

• Bundesanstalt für Materialforschung und -prüfung

  SFB 1404/2: Semantische Erzeugung und Validierung interagierender Workflows in der computergestützten Materialwissenschaft (TP A07)

  other

• Carl von Ossietzky Universität Oldenburg

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  university

• CISPA – Helmholtz-Zentrum für Informationssicherheit

  EMPEROR: Lernen der Ursachen von Programmverhalten

  other

• Deutsches Zentrum für Luft- und Raumfahrt e. V.

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  other

• Fraunhofer-Institut für Experimentelles Software Engineering

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  other

• Fraunhofer-Institut für Kognitive Systeme

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  other

• Freie Universität Berlin

  SFB 1404/2: Integriertes Graduiertenkolleg MGK (TP S02)

  university

• Hasso-Plattner-Institut für Digital Engineering

  SFB 1404/1: Verteilte Laufzeitüberwachung und Fehlerbehebung von Datenanalyseworkflows (TP B06)

  research_institute

• Hochschule Hamm-Lippstadt

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  other

• INCHRON AG, Erlangen

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  company

• Karlsruher Institut für Technologie

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  university

• Korea University

  SpamPR-Buster: Bekämpfung von Spam-Pull-Requests

  university

• Ludwig-Maximilians-Universität München

  IDEFIX: Identifizierung und Behebung von wiederkehrenden Softwarefehlern

  university

• Merantix Labs GmbH

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  company

• OSSENO Software GmbH

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  company

• Robert Bosch Stiftung GmbH

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  foundation

• SafeTRANS e.V. - Safety in Transportation Systems

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  other

• SGS-TÜV Saar GmbH

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  company

• Technische Hochschule Ingolstadt (THI)

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  other

• Tel Aviv Universität

  SPECENG: Specification Engineering für temporale logische Spezifikationen

  university

• TTTech Auto Germany GmbH

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  company

• Universität Potsdam

  SFB 1404/2: Semantische Erzeugung und Validierung interagierender Workflows in der computergestützten Materialwissenschaft (TP A07)

  university

• Universität Stuttgart

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  university

• Validas AG, München

  Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und Betrieb von sicheren Automotive-Systemen

  company

Name

Prof. Dr. Lars Grunske

Titel

Prof. Dr.

Fakultät

Mathematisch-Naturwissenschaftliche Fakultät

Institut

Institut für Informatik

Arbeitsgruppe

Softwaretechnik

Telefon

+49 30 2093-41142

HU-FIS-Profil

Quelle ↗

Zuletzt gescrapt

26.4.2026, 01:05:29