Projects
14 running Projects
| Project | |
|---|---|
|
|
Fast&SlowCombination of Symbolic and Subsymbolic Methods |
|
VerSysA Sound Verification Platform for Early Software Development for RISC-V based Systems |
|
ConTextTextile surfaces for electrical supply, information technology communication and intuitive interaction with IoT devices in the Smart Home |
|
SecProPortScalable Security Architectures for Commercial Workflows in German Harbors |
|
INTUITIVIntuitive-nonverbal and informative-verbal robot-human communication |
|
|
SATiSFyTimely Validation of Safey and Security Requirements in Autonomous Vehicles |
|
KI-Staging |
|
CONVERSDesign Automation Tool for Complex Electronic Systems |
|
|
SAFE-10-TSafety of Transport Infrastructure on the TEN-T Network |
|
|
CrowdHEALTHCollective Wisdom Driving Public Health Policies |
|
|
SMILESmart Environments as motivating learning environments for an increasing number of female computer scientists |
|
ModEstWalker-module for posture-recognition and fall-prevention |
|
SecRecSecurity by Reconfiguration - Physikalische Sicherheit durch dynamische Hardware-Rekonfiguration |
|
QuadCore SoCVerifikation eines QuadCore-Prozessors |
