Prof. Dr. rer. nat. Wolfgang Reisig

Projects as Principal Investigator

---

1 of 3

01/2015 - 07/2019

Certifying Algorithms for Interactive Components and Distributed Systems

08/2014 - 07/2015

Exist CHRONDOX

02/2014 - 02/2016

Modeling and Analyzing Big Data Processes

04/2010 - 09/2014

Service-oriented Architectures for the Integration of Software-based Processes, exemplified by Health Care Systems and Medical Technology (SOAMED)

02/2009 - 01/2010

The Expressive Power of Abstract State Machines II

02/2008 - 01/2010

Automatic Synthesis of behavioral Adapters between Services

12/2006 - 11/2008

Exchangeability of Services

10/2005 - 11/2008

Correctness and reliability of composed web services modeled in BPEL

07/2005 - 06/2007

The Expressive Power of Abstract State Machines I

06/2004 - 05/2006

Specification, Verification and Synthesis Globally Asynchronous - Locally Synchronous (GALS) Systems and Circuits