Project Details

Professor Dr.-Ing. Wolfgang Kunz

Address Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
FB Elektrotechnik u. Informationstechnik
Lehrstuhl für Entwurf informationstechnischer Systeme
Post Office Box 3049
67653 Kaiserslautern

Projects

As Applicant
- Current projects
  - HaSPro: Verifiable Hardware Security for Out-of-Order Processors - Phase 2 (Priority Programmes)
- Completed projects
  - Formale Verifikation sequentieller und arithmetischer Schaltungsblöcke durch strukturelle Methoden (Research Grants)
  - Entwicklung. Implementierung und Anwendung mathematisch-algebraischer Algorithmen bei der formalen Verifikation digitaler Systeme mit Arithmetikblöcken (Research Grants)
  - Formal verification of firmware-based System-on-Chip modules (Research Grants)
  - Property First Hardware Design - A Correct-by-Construction Methodology for RTL Design from System Level Models (Research Grants)
  - Hardware/Software Cross-Layer Fault Analysis for Safe Embedded System Design (Research Grants)

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Wolfgang Kunz

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr.-Ing. Wolfgang Kunz

Additional Information

Textvergrößerung und Kontrastanpassung