Detailseite

Professorin Dr. Erika Ábrahám

Adresse Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 2 - Forschungsgruppe Softwaremodellierung und Verifikation
Ahornstraße 2
52056 Aachen

Projekte

Als Antragstellerin
- laufende Projekte
  - Erreichbarkeitsanalyse für stochastische hybride Systeme (Sachbeihilfen)
  - SMT Techniken für arithmetische Theorien (Sachbeihilfen)
- abgeschlossene Projekte
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS) (Sachbeihilfen)
  - Berechnung von Gegenbeispielen für stochastische Systeme unter Verwendung von Bounded Model Checking (Sachbeihilfen)
  - Entwicklung von neuartigen Online-Verfahren zur optimalen Steuerung hybrider Antriebssysteme (Sachbeihilfen)
  - Ein Werkzeugkasten für die Erreichbarkeitsanalyse hybrider Systeme mittels geometrischer Approximationen (Sachbeihilfen)
Als beteiligte Wissenschaftlerin
- laufende Projekte
  - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (Graduiertenkollegs)
- abgeschlossene Projekte
  - GRK 1298: Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn) (Graduiertenkollegs)

Servicenavigation

Hauptnavigation

Professorin Dr. Erika Ábrahám

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professorin Dr. Erika Ábrahám

Zusatzinformationen

Textvergrößerung und Kontrastanpassung