Muhammad Hassan

According to our database, Muhammad Hassan authored at least 18 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking.

Ece Nur Demirhan Coskun, Muhammad Hassan, Mehran Goli, Rolf Drechsler

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023

Efficient ML-Based Performance Estimation Approach Across Different Microarchitectures for RISC-V Processors.

Weiyan Zhang, Mehran Goli, Muhammad Hassan, Rolf Drechsler

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques.

Marcel Merten, Muhammad Hassan, Rolf Drechsler

Proceedings of the 26th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2023

Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors.

Jens Trommer, N. Bhattacharjee, Thomas Mikolajick, Sebastian Huhn, Marcel Merten, M. E. Djeridane, Muhammad Hassan, Rolf Drechsler, Shubham Rai, Nima Kavand, Armin Darjani, Akash Kumar, V. Sessi, M. Drescher, S. Kolodinski, M. Wiatr

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits.

Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars.

Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler

Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022

Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters.

Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler

Proceedings of the 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2022

2021

Enhanced modern virtual prototype based verification flow for heterogeneous systems.

Muhammad Hassan

PhD thesis, 2021

System Level Verification of Phase-Locked Loop using Metamorphic Relations.

Muhammad Hassan, Daniel Große, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations.

Muhammad Hassan, Daniel Große, Rolf Drechsler

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2019

Security validation of VP-based SoCs using dynamic information flow tracking.

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler

it Inf. Technol., 2019

Automated Analysis of Virtual Prototypes at Electronic System Level.

Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler

Proceedings of the 2019 on Great Lakes Symposium on VLSI, 2019

Functional Coverage-Driven Characterization of RF Amplifiers.

Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Data Flow Testing for SystemC-AMS Timed Data Flow Models.

Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Testbench qualification for SystemC-AMS timed data flow models.

Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

Early SoC security validation by VP-based static information flow analysis.

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Data flow testing for virtual prototypes.

Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

Guided lightweight Software test qualification for IP integration using Virtual Prototypes.

Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler

Proceedings of the 34th IEEE International Conference on Computer Design, 2016