Projekte

laufend

  • MANIAC (Manipulation von BDDs f├╝r Approximate Computing)
  • ModEst_RD (Rollator-Modul zur Haltungs-Erkennung und Sturz-Pr├Ąvention)
  • SecRec (Security by Reconfiguration - Physikalische Sicherheit durch dynamische Hardware-Rekonfiguration)
  • SELFIE (Selbstverifikation von Elektronischen Systemen)

abgeschlossen

  • ASSAM (Assistants for Safe Mobility)
  • AWE (Abstraktion und Wiederverwendung Formaler Entwicklungen )
  • FormalSafe (Formale Entwicklung f├╝r Sichere Robotik)
  • GenMod (Generische Algorithmen und Komplexit├Ątsschranken f├╝r Koalgebraische Modallogiken)
  • GRASPY (Stereovision f├╝r Greifbewegungen eines humanoiden Roboters)
  • HasCASL (HasCASL)
  • Hets (Heterogeneous Tool Set )
  • HYSOCIATEA (Hybrid Social Teams for Long-Term Collaboration in Cyber-Physical Environments)
  • IGEL (Sicherer Kegelscanner)
  • KI-Suche (Entwicklung einer den Prinzipien der K├╝nstlichen Intelligenz folgenden Suchmaschine)
  • LATIN (Logic Atlas & Integrator )
  • LAWCHECK (Automatische Formalisierung gesetzlicher Regularien mit Hilfe von Natural Language Processing Techniken)
  • MMISS (Multimedia - Instruktion in Sicheren Systemen )
  • MORES (Modelling and Refinement of Security Requirements on Data and Processes)
  • MORES2 (Modelling and Refinement of Security Requirements on Data and Processes 2)
  • PGKit (Generische Benutzerschnittstellen f├╝r interaktive Theorembeweiser )
  • RESCAR (2.0) (Robuster Entwurf von neuen Elektronikkomponenten f├╝r Anwendungen im Bereich Elektromobilit├Ąt)
  • SaferApps (Sichere Ausf├╝hrung von Fremdapplikationen in einer Unternehmensinfrastruktur)
  • SAMS (Sicherungskomponente f├╝r Autonome Mobile Systeme )
  • SATCLOUD (Secure and highly-available Trust contexts for mixed cloud scenarios)
  • SHARE-it (Supported Human Autonomy for Recovery and Enhancement of cognitive and motor abilities using information technologies)
  • SHIP (Semantic Integration of Heterogenous Processes)
  • SIMPLE (Semantisch fundierte Implementierung klinischer Leitlinien)
  • SIRKA (Sensoranzug zur individuellen R├╝ckmeldung k├Ârperlicher Aktivit├Ąt)
  • SiSSi (Software Engineering for Spreadsheet Interaction)
  • SPECifIC (Quality-driven Design Flow using Formal Specifications and Functional Change Management)
  • SPP RoboCup (Automatische Plan- und Intentionserkennung fremder mobiler Roboter in kooperierenden und konkurrierenden dynamischen Umgebungen )
  • WaRoBema (Wartbares rollenbasiertes Berechtigungsmanagement)