Project Details

Professor Dr. Klaus Schneider

Address Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Fachbereich Informatik
Arbeitsgruppe Eingebettete Systeme
Post Office Box 3049
67653 Kaiserslautern

Projects

As Applicant
- Current projects
  - Modeling and Verification for Secure and Performant Cyber-Physical Systems (Research Grants)
  - SCAD: Synchronous Control Asynchronous Dataflow (SCAD) Architectures (Research Grants)
- Completed projects
  - Modellbasierter Entwurf von Hardware-Software-Systemen mit synchronen Sprachen (Research Grants)
  - Automatisierte Synthese von Programmausdrücken (AutoSynth) (Research Grants)
As Participating Person
- Completed projects
  - Robustness against Relaxed Memory Models (R2M2) (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr. Klaus Schneider

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Klaus Schneider

Additional Information

Textvergrößerung und Kontrastanpassung