Muhammad Hassan

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 21

Top Topics

Information Flow

Automated Analysis

Top Venues

ACM Great Lakes Symposium on VLSI

Publications

Muhammad Hassan, Sallar Ahmadi-Pour, Khushboo Qayyum, Chandan Kumar Jha, Rolf Drechsler
LLM-Guided Formal Verification Coupled with Mutation Testing. DATE (2024)
Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler
Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification. ACM Great Lakes Symposium on VLSI (2024)
Ece Nur Demirhan Coskun, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler
Security Coverage Metrics for Information Flow at the System Level. ASPDAC (2024)
Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler
cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits. IEEE Trans. Circuits Syst. I Regul. Pap. 71 (7) (2024)
Jens Trommer, N. Bhattacharjee, Thomas Mikolajick, S. Huhn, Marcel Merten, M. E. Djeridane, Muhammad Hassan, Rolf Drechsler, S. Rai, N. Kavand, A. Darjani, A. Kumar, V. Sessi, M. Drescher, S. Kolodinski, M. Wiatr
Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors. DATE (2023)
Weiyan Zhang, Mehran Goli, Muhammad Hassan, Rolf Drechsler
Efficient ML-Based Performance Estimation Approach Across Different Microarchitectures for RISC-V Processors. DSD (2023)
Ece Nur Demirhan Coskun, Muhammad Hassan, Mehran Goli, Rolf Drechsler
VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking. ISQED (2023)
Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler
Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars. ASP-DAC (2023)
Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler
Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits. DATE (2023)
Marcel Merten, Muhammad Hassan, Rolf Drechsler
Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques. DDECS (2023)
Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler
Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters. DDECS (2022)
Muhammad Hassan, Daniel Große, Rolf Drechsler
System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations. ASP-DAC (2021)
Muhammad Hassan, Daniel Große, Rolf Drechsler
System Level Verification of Phase-Locked Loop using Metamorphic Relations. DATE (2021)
Muhammad Hassan, Daniel Große, Thilo Vörtler, Karsten Einwich, Rolf Drechsler
Functional Coverage-Driven Characterization of RF Amplifiers. FDL (2019)
Muhammad Hassan, Daniel Große, Hoang M. Le, Rolf Drechsler
Data Flow Testing for SystemC-AMS Timed Data Flow Models. DATE (2019)
Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Security validation of VP-based SoCs using dynamic information flow tracking. it Inf. Technol. 61 (1) (2019)
Mehran Goli, Muhammad Hassan, Daniel Große, Rolf Drechsler
Automated Analysis of Virtual Prototypes at Electronic System Level. ACM Great Lakes Symposium on VLSI (2019)
Muhammad Hassan, Daniel Große, Hoang M. Le, Thilo Vörtler, Karsten Einwich, Rolf Drechsler
Testbench qualification for SystemC-AMS timed data flow models. DATE (2018)
Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler
Early SoC security validation by VP-based static information flow analysis. ICCAD (2017)
Muhammad Hassan, Vladimir Herdt, Hoang M. Le, Mingsong Chen, Daniel Große, Rolf Drechsler
Data flow testing for virtual prototypes. DATE (2017)
Daniel Große, Hoang M. Le, Muhammad Hassan, Rolf Drechsler
Guided lightweight Software test qualification for IP integration using Virtual Prototypes. ICCD (2016)