Skip to main content Skip to main navigation

Dr.-Ing. Muhammad Hassan

Organizational unit Cyber-Physical Systems
Contact +49 421 218 63937 (Bremen)

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

Publications

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.

To the publication

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.

To the publication

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.

To the publication
All publications

Profile

  • PaSVer

    Powerful design tool for novel automotive electronics

    The automotive industry in Germany is undergoing major changes. Car manufacturers have to combine more and more software and hardware to enable autonomous driving and electromobility. The high…