Prof. Dr. Lars Grunske

Facility

Faculty of Mathematics and Natural Sciences

Department of Computer Science

Software Engineering

Status group

Professor/in

Email

grunskel? Please insert an @ at this point ?hu-berlin? Please insert a period at this pointde

Telephone

030 2093-41142

Postal address

Unter den Linden 6, 10117 Berlin

Registered office

Johann von Neumann-Haus, Institutsgeb?ude, Rudower Chaussee 25, 12489 Berlin

Room

4.417

Facility

President / Vice-Presidents

Faculty of Mathematics and Natural Sciences

Department of Computer Science

Email

grunskel? Please insert an @ at this point ?hu-berlin? Please insert a period at this pointde

Telephone

030 2093-41142

Postal address

Unter den Linden 6, 10117 Berlin

Registered office

Johann von Neumann-Haus, Institutsgeb?ude, Rudower Chaussee 25, 12489 Berlin

Room

4.417

Facility

Humboldt University

University Senate

Media Commission

Status group

Professor/in

Email

grunskel? Please insert an @ at this point ?hu-berlin? Please insert a period at this pointde

Telephone

030 2093-3150

Postal address

Unter den Linden 6, 10117 Berlin

Registered office

Johann von Neumann-Haus, Institutsgeb?ude, Rudower Chaussee 25, 12489 Berlin

Room

4.417

Contact

Research projects

SPECENG: Specification Engineering for Temporal Logical Specifications

CRC 1404/2: Integrated Research Training Group MGK (SP S02)

CRC 1404/2: Semantic Composition and Validation of Interacting DAWs in Computational Materials Science (SP A07)

CRC 1404/2: Hardening Computational Materials-Science Workflows against Human Errors (SP A03)

AMVAD

Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und 金贝棋牌 von sicheren Automotive-Systemen

IDEFIX: Identifying and Fixing Incomplete Patches

EMPEROR: Learning Causes of Program Behavior

CRC 1404/1: Deriving Trust Levels for Multi-Choice Data Analysis Workflows (SP A03)

CRC 1404/1: MGK: Integrated Research Training Group (SP S02)

CRC 1404/1: Distributed Run-Time Monitoring and Control of Data Analysis Workflows (SP B06)

Process Conformance under Incomplete Information

FLASH: Fitness Landscape Analysis to improve Search Heuristics - A Systematic Exploration for different Software Engineering Problems

Facebook Award

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

EMPRESS: Extracting and Mining of Probabilistic Event Structures

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

Fitness landsacape characterisation for architecture optimisation

Prof. Dr. Lars Grunske

Contact

Lehrstuhl: Software Engineering

professor

Mitglied

Research projects

SPECENG: Specification Engineering for Temporal Logical Specifications

CRC 1404/2: Integrated Research Training Group MGK (SP S02)

CRC 1404/2: Semantic Composition and Validation of Interacting DAWs in Computational Materials Science (SP A07)

CRC 1404/2: Hardening Computational Materials-Science Workflows against Human Errors (SP A03)

AMVAD

Verbundprojekt MANNHEIM-AutoDevSafeOps: Integrierte Entwicklung und 金贝棋牌 von sicheren Automotive-Systemen

IDEFIX: Identifying and Fixing Incomplete Patches

EMPEROR: Learning Causes of Program Behavior

CRC 1404/1: Deriving Trust Levels for Multi-Choice Data Analysis Workflows (SP A03)

CRC 1404/1: MGK: Integrated Research Training Group (SP S02)

CRC 1404/1: Distributed Run-Time Monitoring and Control of Data Analysis Workflows (SP B06)

Process Conformance under Incomplete Information

FLASH: Fitness Landscape Analysis to improve Search Heuristics - A Systematic Exploration for different Software Engineering Problems

Facebook Award

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

EMPRESS: Extracting and Mining of Probabilistic Event Structures

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

Fitness landsacape characterisation for architecture optimisation