Go directly to content
Go directly to font size and contrast
Servicenavigation
DFG Homepage
Disclaimer / Copyright
|
Help
|
Data Monitor
Deutsch
Hauptnavigation
Search
Catalogue
People Index
Location Index
About GEPRIS
Project Details
Back
Institution
Rheinisch-Westfälische Technische Hochschule Aachen
Informatik 11 - Forschungsgruppe Software für eingebettete Systeme
Address
Ahornstraße 55
52074 Aachen
Deutschland
GERiT
This institution in GERiT
52074 Aachen
Projects
Priority Programmes
Current projects
Memory Diplomat (MD)
(Applicants
Chen, Jian-Jia
;
Teubner, Jens
)
Reconfigurable Architectures and Real-Time Systems Co-Design for Non-Volatile Main Memory (ARTS-NVM)
(Applicants
Chen, Jian-Jia
;
Henkel, Jörg
)
Completed projects
AutoKnigge - Modelling, Evaluation and Validation of Behavior for Cooperative Interacting Vehicles
(Applicants
Eckstein, Lutz
;
Kowalewski, Stefan
;
Rumpe, Bernhard
)
Entwicklung eines industriell anwendbaren Rechnerwerkzeugs zur Verifikation diskreter Steuerungen für verfahrenstechnische Prozesse
(Applicant
Kowalewski, Stefan
)
Generating and Executing Dependable Application Software on UnReliable Embedded Systems (Get-SURE) - II
(Applicants
Chen, Jian-Jia
;
Shafique, Ph.D., Muhammad
)
Integrierte algorithmische und deduktive Verifikation verteilter Steuerungssysteme für hybride Prozesse
(Applicant
Kowalewski, Stefan
)
Regelung von Fahrzeugkolonnen mit topologisch veränderlichem Kommunikationsnetzwerk auf der Basis von Energiemethoden
(Applicants
Abel, Dirk
;
Kowalewski, Stefan
)
Safety and Automation Concepts for Artificial Implantable Lungs - SmartLungControl
(Applicants
Kopp, Rüdger
;
Leonhardt, Steffen
;
Stollenwerk, Andre
)
Research Grants
Current projects
Analysis of GRAFCET specifications to detect design flaws (AGRAFE 2)
(Applicants
Fay, Alexander
;
Kowalewski, Stefan
)
Design and Optimization of Non-Volatile One-Memory Architecture (NVM-OMA)
(Applicants
Chen, Jian-Jia
;
Henkel, Jörg
)
Heterogeneity- and Resource-Aware Distributed Machine Learning
(Applicants
Chen, Jian-Jia
;
Henkel, Jörg
)
NN-Thunder: HW/SW Codesign for Accelerating DNNs with Heterogeneous Beyond-von Neumann Architectures
(Applicants
Amrouch, Ph.D., Hussam
;
Chen, Jian-Jia
)
Skyrmionics-aware and Compiler-centric Racetrack Architecture
(Applicants
Castrillon-Mazo, Jeronimo
;
Chen, Jian-Jia
)
Completed projects
Analysis of conditional specifications for programmable logic controllers
(Applicant
Kowalewski, Stefan
)
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
(Applicants
Kowalewski, Stefan
;
Ábrahám, Erika
)
Entwicklung einer hochintegrierten, bedarfsadaptierten automatisierten extrakorporalen Lungenunterstützung unter Einsatz modellbasierter Sicherheitskonzepte (Smart ECLA)
(Applicants
Kowalewski, Stefan
;
Leonhardt, Steffen
;
Rossaint, Rolf
;
Schmitz-Rode, Thomas
)
Kooperierende Regelung von extrakorporaler Lungenunterstützung und Beatmung für die Therapie des Lungenversagens (ECLA-VENT)
(Applicants
Kowalewski, Stefan
;
Leonhardt, Steffen
;
Rossaint, Rolf
)
Suspension-Aware Designs and Analyses for Real-Time Embedded Systems
(Applicant
Chen, Jian-Jia
)
Verifikation von Programmen für speicherprogrammierbare Steuerungen mit Hilfe statischer Analyse und direktem Model-Checking
(Applicant
Kowalewski, Stefan
)
Collaborative Research Centres
Completed projects
Data Mining for Ubiquitous System Software
(Project Heads
Chen, Jian-Jia
;
Morik, Katharina
;
Spinczyk, Olaf
)
Methods for Efficient Resource Utilization in Machine Learning Algorithms
(Project Heads
Chen, Jian-Jia
;
Marwedel, Peter
;
Rahnenführer, Jörg
)
Resource optimizing real time analysis of artifactious image sequences for the detection of nano objects
(Project Heads
Chen, Jian-Jia
;
Hergenröder, Roland
;
Marwedel, Peter
;
Müller, Heinrich
;
Weichert, Frank
;
Zybin, Alexander
)
CRC/Transregios
Current projects
Generating highly accurate positioning data using cooperative sensor data fusion
(Project Heads
Alrifaee, Bassam
;
Kowalewski, Stefan
)
Research Training Groups
Completed projects
GRK 1298: Algorithmic Synthesis of Reactive and Discrete-continuous Systems (AlgoSyn)
(Spokespersons
Katoen, Joost-Pieter
;
Thomas, Wolfgang
)
Clusters of Excellence
Completed projects
EXC 89: Ultra High-speed Mobile Information and Communication (UMIC)
(Spokesperson
Ascheid, Gerd
)
Additional Information
© 2026
DFG
Disclaimer / Copyright
/
Privacy Policy
Textvergrößerung und Kontrastanpassung
