Skip to main content Skip to main navigation

Dr.-Ing. Muhammad Hassan

Organisationseinheit Cyber-Physical Systems
Kontakt +49 421 218 63937 (Bremen)

Adresse (Bremen) Mehrzweckhochhaus (MZH)Bibliothekstraße 5D-28359 Bremen

Publikationen

FARAD: Automated Formal Verification of Approximate Restoring Array Dividers

Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler

In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), January 4-8, Bangalore, India, 2025.

Zur Publikation

Security Coverage Metrics for Information Flow at the System Level

Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

In: 29th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2024), January 22-25, Incheon, Korea, Republic of, 2024.

Zur Publikation

Towards Completeness: Security Coverage for System Level IFT

Ece Nur Demirhan Coskun; Sallar Ahmadi-Pour; Muhammad Hassan; Rolf Drechsler

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2024), February 14-15, Kaiserslautern, Germany, 2024.

Zur Publikation
Alle Publikationen

Profil

  • PaSVer

    Leistungsfähiges Entwurfswerkzeug für neuartige Automobilelektronik

    Die Autoindustrie in Deutschland verändert sich stark. Autohersteller müssen immer mehr Software und Hardware miteinander verbinden, um das autonome Fahren und die Elektromobilität zu ermöglichen. Die…