Projects
35 completed Projects
| Project | |
|---|---|
|
|
ATBGeneral Technology Assessment |
|
|
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 |
