Parallele Systeme

Externally Funded Research Projects of Eike Best

  • ARS-Logo (Algorithms for Reengineering and Synthesis), 2014-2018, supported by DFG (Deutsche Forschungsgemeinschaft), Geschäftszeichen Be 1267/15-1.
  • CAVER (Comparative Analysis and Verification for Correctness-Critical Systems), 2014-2018, supported by DFG (Deutsche Forschungsgemeinschaft), Geschäftszeichen Be 1267/14-1, and RFBR (Russian Foundation for Basic Research) (Eike Best and Irina Virbitskaite, in cooperation with Peter Buchholz, Louchka Popova-Zeugmann, Norbert Müller).
  • SCARE (System Correctness under Adverse Conditions), 2012-..., Research Training Group funded by the German Research Foundation (DFG GRK 1765).
  • DARTS (Design and Analysis Methods for Real-Time Systems), 2009–2011, supported by DFG (Deutsche Forschungsgemeinschaft) and RFBR (Russian Foundation for Basic Research).
    (Eike Best and Irina Virbitskaite)
  • ENDSPURT (Langzeitstudierenden-Projekt), 2007–2012
    (Hans Fleischhack und Sabine Gronewold).
  • Projekt zur Verbesserung des Übungsbetriebs in der Informatik, 2007–2011
    (Hans Fleischhack und Sabine Gronewold).
  • Trustsoft (Trustworthy Software Systems), 2005–2009, supported by the DFG (Deutsche Forschungsgemeinschaft) in its Graduate School Program.
    (Coordinator: Willi Hasselbring, participant: Eike Best, doctorand: Astrid Rakow).
  • Comète (Conception and Analysis of Mobile and Timed Systems), 2004–2005, supported by DAAD (Deutscher Akademischer Austauschdienst) in its PROCOPE programme
    (Eike Best, Hans Fleischhack, Hanna Klaudel und Elisabeth Pelz).
  • BLK (Bund-Länder-Kommission-Projekt über neue Studiengänge), 2000–2004
    (Eike Best und Hans Fleischhack).
  • JIP (Java in PEP), 2001-2003. Supported by DAAD (Deutscher Akademischer Austauschdienst) in its Germany/U.K. exchange programme.
  • BAT (Box Algebra with Time), 1998-2001. Supported by DAAD (Deutscher Akademischer Austauschdienst) in its ARC programme
  • PORTA (Partial Order Real-time Analysis), 1999-2002. Supported by DAAD (Deutscher Akademischer Austauschdienst) in its PROCOPE programme (Project Leader: Dr. Hans Fleischhack).
  • POEM (Programming Environment Based on M-Nets), 1996-1997. Supported by DAAD (Deutscher Akademischer Austauschdienst) in its PROCOPE programme (Project Leader: Dr. Hans Fleischhack).
  • ANT (Algebraic Net Theory), 1996-1999. Supported by DAAD (Deutscher Akademischer Austauschdienst) in its ARC programme.
  • PEP (A Programming Environment Based on Petri Nets), 1993-1999. Supported by DFG (Deutsche Forschungsgemeinschaft). PEP's home page
  • FOMD (Formal Methods in Design of Distributed Systems), 1995-1997. Supported by Volkswagenstiftung in its Germany/Russia exchange programme.
  • EXPRESS (Cooperation Network on Expressiveness of Languages for Concurrency), 1994-1996. Supported by the European Union in its Human Capital and Mobility programme.
  • CALIBAN (Causal Calculi Based on Nets), 1992-1995. Supported by the European Union in its Basic Research Working Groups programme.
  • DEMON (Design Methods Based on Nets), 1988-1991. Supported by the European Union in its Basic Research Actions programme.

Externally Funded Grants for Visiting Researchers

  • Dr. Alexander Lavrov (Alexander-von-Humboldt-Stipendiat), 1996-2000 (earning his Habilitation in 2000).
  • Dr. Igor Tarasyuk (DAAD-Stipendiat), 1996-1998.
  • Dr. Johan Lilius (DAAD Visiting Professor), 1993 (one semester).
  • Dr. Johan Lilius (DAAD Visiting Professor), 1992 (one semester).