A novel robust reset controller implemented through field programmable gate array for oxygen ratio regulation of proton exchange membrane fuel cell. - Linli Wu; Zhangyi Shen; Hassan Mousavi; Hai Gu (Comput. Electr. Eng., 2022)

Formal Specification, Verification and Repair of Contiki's Scheduler. - Hassan Mousavi; Ali Ebnenasir; Elham Mahmoudzadeh (ACM Trans. Cyber Phys. Syst., 2023)