Projects
53 completed Projects
| Project | |
|---|---|
|
|
Fast&SlowCombination of Symbolic and Subsymbolic Methods |
|
|
PQC4MedSecuring Health Care Data in the Post-Quantum Age |
|
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 |
|
|
KI-SIGS (Antrag)KI-Space for Intelligent Health-Systems. |
|
SecProPortScalable Security Architectures for Commercial Workflows in German Harbors |
|
|
ATBGeneral Technology Assessment |
|
INTUITIVIntuitive-nonverbal and informative-verbal robot-human communication |
|
|
SATiSFyTimely Validation of Safey and Security Requirements in Autonomous Vehicles |
|
KI-Staging |
|
|
aiPhilosDeveloping a search engine for the B2C area using artificial intelligence. |
|
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 |
|
SELFIESelf-Verification of Electronic Systems |
|
|
MANIACBDD Manipulation for Approximate Computing |
|
|
WaRoBemaMaintainable Role-Based Rights Management |
|
|
SaferAppsSafe Execution of Foreign Application in an Enterprise Infrastructure |
|
|
MORES2Modelling and Refinement of Security Requirements on Data and Processes 2 |
|
|
HySociaTeaHybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments |
|
|
KI-SucheDeveloping a Search Machine using Principles of Artificial Intelligence |
|
SIRKASensoranzug zur individuellen Rückmeldung körperlicher Aktivität |
|
|
X-FinderX-Finder |
|
|
SPECifICQuality-driven Design Flow using Formal Specifications and Functional Change Management |
|
|
DFTDesign for Test |
|
|
LAWCHECKAutomatic Formalisation of legal texts aided by natural language processing |
|
|
ASSAMAssistants for Safe Mobility |
|
|
SiSSiSoftware Engineering for Spreadsheet Interaction |
|
|
TriCoreECTriCoreEC |
|
|
MORESModelling and Refinement of Security Requirements on Data and Processes |
|
|
SATCLOUDSecure and highly-available Trust contexts for mixed cloud scenarios |
|
|
RESCAR (2.0)Robust design of new electronic components for applications in the field of electromobility |
|
|
SIMPLESemantically Founded Implementation of Clinical Practice Guidelines |
|
SHIPSemantic Integration of Heterogenous Processes |
|
GRASPYStereo Vision For Grasping by Humanoid Robot |
|
|
B-CatchEchtzeitbildverarbeitung und -bewegungsplanung für einen ballfangenden humanoiden Roboter |
|
|
IGELSicherer Kegelscanner |
|
|
LATINLogic Atlas & Integrator |
|
|
OMoCOntology-Driven Management of Change |
|
|
FormalSafeFormal Development for Safe Robotics |
|
|
GenModGeneric Algorithms and Complexity Bounds in Coalgebraic Modal Logic |
|
|
SHARE-itSupported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies |
|
SAMSSafety component for autonomous mobile service robots |
|
|
HasCASLHasCASL |
|
|
PGKitGeneric User Interfaces for Interactive Theorem Provers |
|
|
AWEAbstraction and Reuse of Formal Developments |
|
|
SPP RoboCupAutomatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments |
|
|
MMISSMultimedia - Instruktion in Sicheren Systemen |
|
|
HetsHeterogeneous Tool Set |
