Parallele Systeme

Projekte & Tools

Auf dieser Seite

 

weiter zum Seitenanfang

1 Projekte der Abteilung

  • DARTS (Design and Analysis Methods for Real-Time Systems), 2009–2011
    DFG-funded cooperative project with the Russian Academy of Sciences at Novosibirsk
    (Eike Best und 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 Programme
    (Eike Best und 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).
  • JIP (Java in PEP), 2001–2003
    Supported by DAAD (Deutscher Akademischer Austauschdienst) in its Germany/U.K. exchange programme ARC
    (Eike Best und Maciej Koutny).
  • BLK (Bund-Länder-Kommission)-Projekt über neue Studiengänge, 2000–2004
    (Eike Best und Hans Fleischhack).
  • PORTA (Partial Order Real-time Analysis), 1999–2002
    Supported by DAAD (Deutscher Akademischer Austauschdienst) in its PROCOPE programme
    (Hans Fleischhack und Elisabeth Pelz).
  • BAT (Box Algebra with Time), 1998–2001
    Supported by DAAD (Deutscher Akademischer Austauschdienst) in its ARC programme
    (Eike Best und Maciej Koutny).
  • ANT (Algebraic Net Theory), 1996–1999
    Supported by DAAD (Deutscher Akademischer Austauschdienst) in its ARC programme.
    (Eike Best und Maciej Koutny).
  • POEM (Programming Environment Based on M-Nets), 1996–1997
    Supported by DAAD (Deutscher Akademischer Austauschdienst) in its PROCOPE programme
    (Hans Fleischhack und Elisabeth Pelz).
  • FOMD (Formal Methods in Design of Distributed Systems), 1995–1997
    Supported by Volkswagenstiftung in its Germany/Russia exchange programme
    (Eike Best und Irina Virbitskaite).
  • EXPRESS (Cooperation Network on Expressiveness of Languages for Concurrency), 1994–1996
    Supported by the European Union in its Human Capital and Mobility programme
    (Eike Best).
  • PEP (A Programming Environment Based on Petri Nets), 1993–1999
    Supported by DFG (Deutsche Forschungsgemeinschaft)
    (Eike Best, Hans Fleischhack und Peter H. Starke).
  • CALIBAN (Causal Calculi Based on Nets), 1992–1995
    Supported by the European Union in its Basic Research Working Groups programme
    (Eike Best, Koordinator).
  • DEMON (Design Methods Based on Nets), 1988–1991
    Supported by the European Union in its Basic Research Actions programme
    (Eike Best, Koordinator).

 

weiter zum Seitenanfang zurück

2 Geförderte Gastaufenthalte

  • Evgeny Erofeev (DFG/RFBR), 08.02.–29.02.2012
  • Elena S. Oshevskaya (DFG/RFBR), 20.06.–17.07.2010. und 02.01.–06.02.2012
  • Prof. Dr. Irina B. Virbitskaite (DFG/RFBR), 20.06.–31.07.2010, 16.01.–05.02.2011 und 02.01.–06.02.2012.
  • Dr. Roman Dubtsov (DFG/RFBR), 10.10.–06.11.2010. und 16.12.–11.01.2012
  • Dr. Elena Bozhenkova (DFG/RFBR), 30.11.–23.12.2011
  • Anna Dedova(DFG/RFBR), 23.10.–06.11.2011
  • Dr. Igor V. Tarasyuk (DAAD-Stipendiat, DFG/RFBR), 1996–1999, Juli 2005 bis Januar 2006, April 2010, 20.09.–22.10.2011.
  • Dr. Nataliya Gribovskaya (DFG/RFBR), 08.08.–28.08.2010.
  • Prof. Dr. Sok Su Ri (Alexander-von-Humboldt-Stiftung), 2005–2006.
  • Dr. Alexander Lavrov (Alexander-von-Humboldt-Stipendiat), 1996–2000 (Habilitation in 2000).

 

weiter zum Seitenanfang zurück

3 Tools

 

weiter zum Seitenanfang zurück

4 Projektgruppen und Fortgeschrittenen-Praktika

  • 2008/2009 PG STEGO: Computergestützte Steganographie. Jan Christian Busch, Rene Frerichs, Lars Herrmann, Matthias Kloppenborg, Marko Krause, Christian Kuka, Sebastian Schnell, Ralf Treu Gitorious-Logo Berlios-logo
  • 2006/2007 PG STETZ: Studieneinstiegs-Test-Szenario. Alexander Drost, Jan Christian Halfbrodt, Kristian Heidmann, Jens Meyer, Sven-Oliver Meyer, Klaus Piech, Thomas Wegmann
  • 2004/2005 PG P-UMLaut: Modelling, Simulation, and Visual\ ization of Complex Systems. Christoph Eichner, Eike Frost, Martin Hilscher, André Kaiser, Roland Meyer, Mark Ross, Casjen Schnars, Ulrik Schrimpf, Tim Strazny
  • 2003/2004 PG Quassel entwickelt KerMod: Ein moderationsunterstützendes Tool. Chirstan Ambraß, Harry Egbers, Ortwin Escher, René Hess, Anke Mangels, Margarete Muhle
  • 2000/2001 PG KoSI: Kooperative Spiele im Internet. Rainer Englisch, Jan-Ole Janssen, Reinhard Kluge, Jan-Christian Marinesse, Niklas Mehner, Julian Meier, Wolfgang Meyer, Iris Najman, Tanja Schmedes, Timo Sticher
  • 1999/2000 F-Praktikum Hellics: DNA based Computing. Heiko Burchard, Andre Hackmann, Ernst Kretschmann, Stefan Kühnapfel, Astrid Rakow
  • 1997/1998 (?) F-Praktikum Implementierung von Zeit-Petrinetzen. Frank Nagel, Christian Stehno, Markus Wittwer
  • 1997/1998 PG Iekos: Entwurfswerkzeug für verteilte Systeme. Sven Brockmann, Jens von Garrel, René Husmann, Michael Möller, Andy Muthmann, Marco Oetken, Andreas Schultze, Josef Tapken, Christian Wachtendorf
  • 1993/1994 PG Stone. Peter Amthor, Matthias Damm, Uwe Ehrhardt, Renate Lukas, Roland Majchszak, Reinhard Rust, Frank Sinnemann, Volkmar Stegmann, Michael Stickan, Josef Tapken
  • 1988/1989 Nessi: Nets Simulation. Hildegard Lamping, Jörg Lehners, Hergen Pargmann, Annemarie Reinfeldt, Jörg Ritter, Thomas Schultz, André Seidel, Bernd Timmermann, Jörg W"ahler, Malte Wenau, Ralf Wieting
zum Seitenanfang zurück