Prof. Dr. Lars Grunske

Einrichtung

Mathematisch-Naturwissenschaftliche Fakult?t

Institut für Informatik

Softwaretechnik

Statusgruppe

Professor/in

E-Mail

grunskel? Bitte fügen Sie an dieser Stelle ein @ ein ?hu-berlin? Bitte fügen Sie an dieser Stelle einen Punkt ein ?de

Telefon

030 2093-41142

Postanschrift

Unter den Linden 6, 10117 Berlin

Sitz

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

Raum

4.417

Einrichtung

Pr?sidium

Mathematisch-Naturwissenschaftliche Fakult?t

Institut für Informatik

E-Mail

grunskel? Bitte fügen Sie an dieser Stelle ein @ ein ?hu-berlin? Bitte fügen Sie an dieser Stelle einen Punkt ein ?de

Telefon

030 2093-41142

Postanschrift

Unter den Linden 6, 10117 Berlin

Sitz

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

Raum

4.417

Einrichtung

Humboldt-Universit?t

Akademischer Senat

Medienkommission

Statusgruppe

Professor/in

E-Mail

grunskel? Bitte fügen Sie an dieser Stelle ein @ ein ?hu-berlin? Bitte fügen Sie an dieser Stelle einen Punkt ein ?de

Telefon

030 2093-3150

Postanschrift

Unter den Linden 6, 10117 Berlin

Sitz

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

Raum

4.417

金贝棋牌

Forschungsprojekte

SPECENG: Specification Engineering für temporale logische Spezifikationen

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

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

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

AMVAD

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

IDEFIX: Identifizierung und Behebung von wiederkehrenden Softwarefehlern

EMPEROR: Lernen der Ursachen von Programmverhalten

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

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

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

?bereinstimmungsprüfung von Prozessen im Kontext Unvollst?ndiger 金贝棋牌

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

Award Facebook

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

EMPRESS: Extrahieren von probabilistischen Ereignisstrukturen eines Softwaresystems

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

Fitness landscape characterisation for architecture optimisation

Prof. Dr. Lars Grunske

金贝棋牌

Lehrstuhl: Software Engineering

Professor/in

Mitglied

Forschungsprojekte

SPECENG: Specification Engineering für temporale logische Spezifikationen

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

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

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

AMVAD

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

IDEFIX: Identifizierung und Behebung von wiederkehrenden Softwarefehlern

EMPEROR: Lernen der Ursachen von Programmverhalten

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

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

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

?bereinstimmungsprüfung von Prozessen im Kontext Unvollst?ndiger 金贝棋牌

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

Award Facebook

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

EMPRESS: Extrahieren von probabilistischen Ereignisstrukturen eines Softwaresystems

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

Fitness landscape characterisation for architecture optimisation