Research Projects

Sorry - this document is available in German only.

Im Folgenden finden Sie einige Informationen über abgeschlossene bzw. aktuell laufende Forschungsprojekte an der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie weitere Informationen zu Projekten auch über die Webseiten der jeweiligen Institute und Professuren. 

2016
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Titel (Englisch)
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Kurzbeschreibung (Deutsch)
Hauptziel des bilateralen DFG/NWO Projekt "Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems" ist es, Modellierungs- und Analysetechniken für large-scale homogene und sicherheitskritische heterogene stochastische Systeme zu entwickeln.
Kurzbeschreibung (Englisch)
The goals of the ROCKS project are extend architectural description languages, like AADL and UML, such that these models can be analysed by stochastic model checking techniques strengthen the core technological, methodological and foundational aspects of stochastic model checking, so that they can be applied to large scale homogeneous systems as well as safety-critical heterogeneous systems exploit the expertise in analysis of stochastic systems to move towards synthesis and optimisation techniques.
Zeitraum
01.09.2009 - 30.06.2014
Art der Finanzierung
Drittmittel
Projektleiter
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Projektmitarbeiter
  • Herr Dr. Ing. Frank Ciesinski
  • Herr Dr. rer. nat. Joachim Klein
  • Herr M. Sc. Clemens Dubslaff
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Finanzierungseinrichtungen
  • DFG
  • NWO
Kooperationspartnerschaft
international
Externe Kooperationspartner
  • Dr. Henrik Bohnenkamp, RWTH Aachen (Deutschland)
  • Prof. Dr.-Ing. Holger Hermanns, Universität des Saarlandes (Deutschland)
  • Prof. Dr.-Ing. Markus Siegle, Universität der Bundeswehr München (Deutschland)
Website zum Projekt
http://www.rocks-project.eu/
Zugeordnete Profillinie
Informationssystemtechnik
Relevant für den Umweltschutz
Nein
Relevant für Multimedia
Nein
Relevant für den Technologietransfer
Nein
Schlagwörter
Spezifikation und Analyse reaktiver Systeme
Berichtsjahr
2014
2015
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Titel (Englisch)
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Kurzbeschreibung (Deutsch)
Hauptziel des bilateralen DFG/NWO Projekt "Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems" ist es, Modellierungs- und Analysetechniken für large-scale homogene und sicherheitskritische heterogene stochastische Systeme zu entwickeln.
Kurzbeschreibung (Englisch)
The goals of the ROCKS project are extend architectural description languages, like AADL and UML, such that these models can be analysed by stochastic model checking techniques strengthen the core technological, methodological and foundational aspects of stochastic model checking, so that they can be applied to large scale homogeneous systems as well as safety-critical heterogeneous systems exploit the expertise in analysis of stochastic systems to move towards synthesis and optimisation techniques.
Zeitraum
01.09.2009 - 30.06.2014
Art der Finanzierung
Drittmittel
Projektleiter
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Projektmitarbeiter
  • Herr Dr. Ing. Frank Ciesinski
  • Herr Dr. rer. nat. Joachim Klein
  • Herr M. Sc. Clemens Dubslaff
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Finanzierungseinrichtungen
  • DFG
  • NWO
Kooperationspartnerschaft
international
Externe Kooperationspartner
  • Dr. Henrik Bohnenkamp, RWTH Aachen (Deutschland)
  • Prof. Dr.-Ing. Holger Hermanns, Universität des Saarlandes (Deutschland)
  • Prof. Dr.-Ing. Markus Siegle, Universität der Bundeswehr München (Deutschland)
Website zum Projekt
http://www.rocks-project.eu/
Zugeordnete Profillinie
Informationssystemtechnik
Relevant für den Umweltschutz
Nein
Relevant für Multimedia
Nein
Relevant für den Technologietransfer
Nein
Schlagwörter
Spezifikation und Analyse reaktiver Systeme
Berichtsjahr
2014
2014
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Titel (Englisch)
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Kurzbeschreibung (Deutsch)
Hauptziel des bilateralen DFG/NWO Projekt "Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems" ist es, Modellierungs- und Analysetechniken für large-scale homogene und sicherheitskritische heterogene stochastische Systeme zu entwickeln.
Kurzbeschreibung (Englisch)
The goals of the ROCKS project are extend architectural description languages, like AADL and UML, such that these models can be analysed by stochastic model checking techniques strengthen the core technological, methodological and foundational aspects of stochastic model checking, so that they can be applied to large scale homogeneous systems as well as safety-critical heterogeneous systems exploit the expertise in analysis of stochastic systems to move towards synthesis and optimisation techniques.
Zeitraum
01.09.2009 - 30.06.2014
Art der Finanzierung
Drittmittel
Projektleiter
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Projektmitarbeiter
  • Herr Dr. Ing. Frank Ciesinski
  • Herr Dr. rer. nat. Joachim Klein
  • Herr M. Sc. Clemens Dubslaff
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Finanzierungseinrichtungen
  • DFG
  • NWO
Kooperationspartnerschaft
international
Externe Kooperationspartner
  • Dr. Henrik Bohnenkamp, RWTH Aachen (Deutschland)
  • Prof. Dr.-Ing. Holger Hermanns, Universität des Saarlandes (Deutschland)
  • Prof. Dr.-Ing. Markus Siegle, Universität der Bundeswehr München (Deutschland)
Website zum Projekt
http://www.rocks-project.eu/
Zugeordnete Profillinie
Informationssystemtechnik
Relevant für den Umweltschutz
Nein
Relevant für Multimedia
Nein
Relevant für den Technologietransfer
Nein
Schlagwörter
Spezifikation und Analyse reaktiver Systeme
Berichtsjahr
2014
2013
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Titel (Englisch)
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Kurzbeschreibung (Deutsch)
Hauptziel des bilateralen DFG/NWO Projekt "Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems" ist es, Modellierungs- und Analysetechniken für large-scale homogene und sicherheitskritische heterogene stochastische Systeme zu entwickeln.
Kurzbeschreibung (Englisch)
The goals of the ROCKS project are extend architectural description languages, like AADL and UML, such that these models can be analysed by stochastic model checking techniques strengthen the core technological, methodological and foundational aspects of stochastic model checking, so that they can be applied to large scale homogeneous systems as well as safety-critical heterogeneous systems exploit the expertise in analysis of stochastic systems to move towards synthesis and optimisation techniques.
Zeitraum
01.09.2009 - 30.06.2014
Art der Finanzierung
Drittmittel
Projektleiter
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Projektmitarbeiter
  • Herr Dr. Ing. Frank Ciesinski
  • Herr Dr. rer. nat. Joachim Klein
  • Herr M. Sc. Clemens Dubslaff
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Finanzierungseinrichtungen
  • DFG
  • NWO
Kooperationspartnerschaft
international
Externe Kooperationspartner
  • Dr. Henrik Bohnenkamp, RWTH Aachen (Deutschland)
  • Prof. Dr.-Ing. Holger Hermanns, Universität des Saarlandes (Deutschland)
  • Prof. Dr.-Ing. Markus Siegle, Universität der Bundeswehr München (Deutschland)
Website zum Projekt
http://www.rocks-project.eu/
Zugeordnete Profillinie
Informationssystemtechnik
Relevant für den Umweltschutz
Nein
Relevant für Multimedia
Nein
Relevant für den Technologietransfer
Nein
Schlagwörter
Spezifikation und Analyse reaktiver Systeme
Berichtsjahr
2014
2012
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Titel (Englisch)
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Kurzbeschreibung (Deutsch)
Hauptziel des bilateralen DFG/NWO Projekt "Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems" ist es, Modellierungs- und Analysetechniken für large-scale homogene und sicherheitskritische heterogene stochastische Systeme zu entwickeln.
Kurzbeschreibung (Englisch)
The goals of the ROCKS project are extend architectural description languages, like AADL and UML, such that these models can be analysed by stochastic model checking techniques strengthen the core technological, methodological and foundational aspects of stochastic model checking, so that they can be applied to large scale homogeneous systems as well as safety-critical heterogeneous systems exploit the expertise in analysis of stochastic systems to move towards synthesis and optimisation techniques.
Zeitraum
01.09.2009 - 30.06.2014
Art der Finanzierung
Drittmittel
Projektleiter
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Projektmitarbeiter
  • Herr Dr. Ing. Frank Ciesinski
  • Herr Dr. rer. nat. Joachim Klein
  • Herr M. Sc. Clemens Dubslaff
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Finanzierungseinrichtungen
  • DFG
  • NWO
Kooperationspartnerschaft
international
Externe Kooperationspartner
  • Dr. Henrik Bohnenkamp, RWTH Aachen (Deutschland)
  • Prof. Dr.-Ing. Holger Hermanns, Universität des Saarlandes (Deutschland)
  • Prof. Dr.-Ing. Markus Siegle, Universität der Bundeswehr München (Deutschland)
Website zum Projekt
http://www.rocks-project.eu/
Zugeordnete Profillinie
Informationssystemtechnik
Relevant für den Umweltschutz
Nein
Relevant für Multimedia
Nein
Relevant für den Technologietransfer
Nein
Schlagwörter
Spezifikation und Analyse reaktiver Systeme
Berichtsjahr
2014
2011
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Titel (Englisch)
Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems (ROCKS)
Kurzbeschreibung (Deutsch)
Hauptziel des bilateralen DFG/NWO Projekt "Rigorous Dependability Analysis using Model Checking Techniques for Stochastic Systems" ist es, Modellierungs- und Analysetechniken für large-scale homogene und sicherheitskritische heterogene stochastische Systeme zu entwickeln.
Kurzbeschreibung (Englisch)
The goals of the ROCKS project are extend architectural description languages, like AADL and UML, such that these models can be analysed by stochastic model checking techniques strengthen the core technological, methodological and foundational aspects of stochastic model checking, so that they can be applied to large scale homogeneous systems as well as safety-critical heterogeneous systems exploit the expertise in analysis of stochastic systems to move towards synthesis and optimisation techniques.
Zeitraum
01.09.2009 - 30.06.2014
Art der Finanzierung
Drittmittel
Projektleiter
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Projektmitarbeiter
  • Herr Dr. Ing. Frank Ciesinski
  • Herr Dr. rer. nat. Joachim Klein
  • Herr M. Sc. Clemens Dubslaff
  • Frau Prof. Dr. rer. nat. habil. Christel Baier
Finanzierungseinrichtungen
  • DFG
  • NWO
Kooperationspartnerschaft
international
Externe Kooperationspartner
  • Dr. Henrik Bohnenkamp, RWTH Aachen (Deutschland)
  • Prof. Dr.-Ing. Holger Hermanns, Universität des Saarlandes (Deutschland)
  • Prof. Dr.-Ing. Markus Siegle, Universität der Bundeswehr München (Deutschland)
Website zum Projekt
http://www.rocks-project.eu/
Zugeordnete Profillinie
Informationssystemtechnik
Relevant für den Umweltschutz
Nein
Relevant für Multimedia
Nein
Relevant für den Technologietransfer
Nein
Schlagwörter
Spezifikation und Analyse reaktiver Systeme
Berichtsjahr
2014

About this page

Silvia Kapplusch
Last modified: Sep 06, 2016
Page Actions