Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Fachbereich Informatik
Arbeitsgruppe Eingebettete Systeme

Address Post Office Box 3049
67653 Kaiserslautern
Deutschland

GERiT This institution in GERiT

67653 Kaiserslautern

Projects

Research Grants
- Current projects
  - Modeling and Verification for Secure and Performant Cyber-Physical Systems
    (Applicants Grimm, Christoph ; Schneider, Klaus )
  - SCAD: Synchronous Control Asynchronous Dataflow (SCAD) Architectures
    (Applicant Schneider, Klaus )
- Completed projects
  - Automatisierte Synthese von Programmausdrücken (AutoSynth)
    (Applicant Schneider, Klaus )
  - Methods for Activity Spotting With On-Body Sensors
    (Applicants Lukowicz, Paul ; Schiele, Bernt ; Sick, Bernhard )
  - Modellbasierter Entwurf von Hardware-Software-Systemen mit synchronen Sprachen
    (Applicant Schneider, Klaus )
  - Organic Computing Techniques for Run-Time Self-Adaptation of Ubiquitous, Multi-Modal Activity Recognition Systems
    (Applicants Lukowicz, Paul ; Sick, Bernhard )
  - Robustness against Relaxed Memory Models (R2M2)
    (Applicant Meyer, Roland )

© 2024 DFG Disclaimer / Copyright / Privacy Policy