Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

Professorin Dr. Erika Ábrahám

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

Projects

As Applicant
- Current projects
  - Reachability Analysis for Stochastic Hybrid Systems (Research Grants)
  - SMT Arithmetic Reasoning Techniques (Research Grants)
- Completed projects
  - RigorOus dependability analysis using model ChecKing techniques for Stochastic systems (ROCKS) (Research Grants)
  - Counterexample generation for stochastic systems using Bounded Model Checking (Research Grants)
  - Entwicklung von neuartigen Online-Verfahren zur optimalen Steuerung hybrider Antriebssysteme (Research Grants)
  - A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations (Research Grants)
As Participating Researcher
- Current projects
  - GRK 2236: UNRAVEL - UNcertainty and Randomness in Algorithms, VErification, and Logic (Research Training Groups)
- Completed projects
  - GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn) (Research Training Groups)

© 2024 DFG Disclaimer / Copyright / Privacy Policy