Dr.-Ing. Muhammad Hassan

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), 38th, January 4-8, Bangalore, India, 2025.
LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors
Weiyan Zhang; Muhammad Hassan; Rolf Drechsler
In: 28th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS). IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2025), May 5-7, Lyon, France, 2025.
Formal Verification of Error Bounds for Resistive-Switching-based Multilevel Matrix-Vector Multipliers
Kemal Çağlar Coşkun; Chandan Jha; Muhammad Hassan; Rolf Drechsler
In: 26th International Symposium on Quality Electronic Design (ISQED'25). International Symposium on Quality Electronic Design (ISQED-2025), April 23-25, San Francisco, USA, 2025.

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…