Hassan Mousavi

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Field Programmable Gate Array

Formal Specification

Top Venues

Comput. Electr. Eng.

ACM Trans. Cyber Phys. Syst.

Publications

Hassan Mousavi, Ali Ebnenasir, Elham Mahmoudzadeh
Formal Specification, Verification and Repair of Contiki's Scheduler. ACM Trans. Cyber Phys. Syst. 7 (4) (2023)
Linli Wu, Zhangyi Shen, Hassan Mousavi, Hai Gu
A novel robust reset controller implemented through field programmable gate array for oxygen ratio regulation of proton exchange membrane fuel cell. Comput. Electr. Eng. 99 (2022)