Parallele Systeme

Projekte & Tools

Aktuell

  • 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).
  • apt-logo: Analyse von Petri-Netzen und Transitionssystemen. github-logoGitHub

Abgeschlossen

Projekte

  • ENDSPURT (Langzeitstudierenden-Projekt), 2007–2012 (Hans Fleischhack, Sabine Gronewold, Kerstin Groscurth).
  • 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).
  • 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).
  • 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).

Tools

  • STEGO: Computergestützte Steganographie. Gitorious-Logo
  • PEP: Programming Environment Based on Petri Nets. SourceForge.net Logo
  • P-UMLaut: Modelling, Simulation, and Visualization of Complex Systems.
  • Hellics: DNA based Computing.
  • KoSI: Kooperative Spiele im Internet. SourceForge.net Logo
  • KerMod: Ein moderationsunterstützendes Tool. SourceForge.net Logo

Projektgruppen und Fortgeschrittenen-Praktika

  • 2012/2013 PG APT: Analyse von Petrinetzen und Transitionssystemen. Chris Schierholz, V. Spreckels, Uli Schlachter, Sören Dierkes, Daniel Lückehe, Maike Schwammberger, Renke Grunwald, Vincent Göbel, Manuel Gieseking, Dennis Borde, Björn Hendrik von der Linde, Raffaela Ferrari
  • 2008/2009 PG STEGO: Computergestützte Steganographie. Jan Christian Busch, René Frerichs, Lars Herrmann, Matthias Kloppenborg, Marko Krause, Christian Kuka, Sebastian Schnell, Ralf Treu
  • 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 Visualization 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. Christian 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ähler, Malte Wenau, Ralf Wieting