Projects

33 completed Projects

Project Duration Funding
WaRoBema

WaRoBema

Maintainable Role-Based Rights Management
Oct 2015 - Jan 2016 Industry
SaferApps

SaferApps

Safe Execution of Foreign Application in an Enterprise Infrastructure
Apr 2015 - Mar 2017 BMWi
MORES2

MORES2

Modelling and Refinement of Security Requirements on Data and Processes 2
Oct 2014 - Sep 2016 DFG
HySociaTea

HySociaTea

Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments
Oct 2014 - Aug 2016 BMBF
KI-Suche

KI-Suche

Developing a Search Machine using Principles of Artificial Intelligence
Oct 2014 - Jan 2016 Industry
SIRKA

SIRKA

Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität
May 2014 - Oct 2016 BMBF
X-Finder

X-Finder

X-Finder
Dec 2013 - May 2015 Industry
SPECifIC

SPECifIC

Quality-driven Design Flow using Formal Specifications and Functional Change Management
Aug 2013 - Jul 2016 BMBF
DFT

DFT

Design for Test
Feb 2013 - Jan 2015 Industry
LAWCHECK

LAWCHECK

Automatic Formalisation of legal texts aided by natural language processing
Jan 2013 - Jun 2014 BMWi
ASSAM

ASSAM

Assistants for Safe Mobility
Jun 2012 - May 2015 BMBF
SiSSi

SiSSi

Software Engineering for Spreadsheet Interaction
Mar 2012 - Feb 2014 DFG
TriCoreEC

TriCoreEC

TriCoreEC
Mar 2012 - Mar 2013 Industry
MORES

MORES

Modelling and Refinement of Security Requirements on Data and Processes
Feb 2012 - Sep 2014 DFG
SATCLOUD

SATCLOUD

Secure and highly-available Trust contexts for mixed cloud scenarios
Feb 2012 - Jan 2014 BMWi
RESCAR (2.0)

RESCAR (2.0)

Robust design of new electronic components for applications in the field of electromobility
Oct 2011 - Dec 2013 BMBF
SIMPLE

SIMPLE

Semantically Founded Implementation of Clinical Practice Guidelines
Oct 2011 - Sep 2013 BMBF
SHIP

SHIP

Semantic Integration of Heterogenous Processes
Jan 2011 - Dec 2013 BMBF
GRASPY

GRASPY

Stereo Vision For Grasping by Humanoid Robot
Oct 2010 - Jun 2012 EU
B-Catch

B-Catch

Echtzeitbildverarbeitung und -bewegungsplanung für einen ballfangenden humanoiden Roboter
Jan 2010 - Dec 2012 DFG
IGEL

IGEL

Sicherer Kegelscanner
Jan 2010 - Dec 2011 BMBF
LATIN

LATIN

Logic Atlas & Integrator
Nov 2009 - Dec 2012 DFG
FormalSafe

FormalSafe

Formal Development for Safe Robotics
Jan 2008 - Dec 2010 BMBF
OMoC

OMoC

Ontology-Driven Management of Change
Jan 2008 - Jan 2010 DFG
GenMod

GenMod

Generic Algorithms and Complexity Bounds in Coalgebraic Modal Logic
Oct 2007 - Sep 2009 DFG
SHARE-it

SHARE-it

Supported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies
Jan 2007 - Jan 2009 EU
SAMS

SAMS

Safety component for autonomous mobile service robots
May 2006 - Aug 2009 BMBF
PGKit

PGKit

Generic User Interfaces for Interactive Theorem Provers
Jan 2005 - Dec 2007 Industry
AWE

AWE

Abstraction and Reuse of Formal Developments
Jan 2002 - Jan 2007 DFG
HasCASL

HasCASL

HasCASL
Jan 2001 - Jan 2007 DFG
SPP RoboCup

SPP RoboCup

Automatic recognition of plans and intentions of mobile robots in cooperating and competing dynamic environments
Jan 2001 - Jan 2007 DFG
MMISS

MMISS

Multimedia - Instruktion in Sicheren Systemen
Jan 2001 - Dec 2003 BMBF
Hets

Hets

Heterogeneous Tool Set
Jan 2000 - Dec 2007 DFG
© DFKI GmbH
last updated 21/09/2017
to top