Prof. Dr. rer. nat. Wolfgang Reisig

Die nachfolgenden Informationen sind aus dem Forschungsinformationssystem der HU generiert. Es sind lediglich die Einträge enthalten, die für die Öffentlichkeit freigeschaltet sind.

Projekte als Projektleitung

---

1 von 3

01/2015 - 07/2019

Zertifizierende Algorithmen für interaktive Komponenten und verteilte Systeme

08/2014 - 07/2015

EX: CHRONDOX

02/2014 - 02/2016

Modellierung und Analyse von Prozessen aus dem Bereich der Akquisition unstrukturierter Daten aus dem Internet in Unternehmen

04/2010 - 09/2014

GRK 1651: Service-orientierte Architekturen zur Integration Software-gestützter Prozesse am Beispiel des Gesundheitswesens und der Medizintechnik

02/2009 - 01/2010

Die Ausdruckskraft von Abstract State Machines II

02/2008 - 01/2010

Automatische Synthese von Verhaltensadaptern zwischen Services

12/2006 - 11/2008

Austauschbarkeit von Services

10/2005 - 11/2008

Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL

07/2005 - 06/2007

Die Ausdruckskraft von Abstract State Machines I

06/2004 - 05/2006

Spezifikation, Verifikation und Synthese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen