↓ Skip to Main Content

Hosein Attarzadeh

Main Navigation

  • Home
  • Publications

Seyed-Hosein Attarzadeh-Niaki

Assistant Professor

Computer Architecture and Networks Group
Faculty of Computer Science and Engineering
Shahid Beheshti University (SBU)
Email: h_attarzadeh [at] sbu . ac . ir

Research

In general, I am interested in modeling and design methods for safe real-time embedded and cyber-physical systems. I favor a design flow starting from abstract formal models with well-defined semantics followed by a correct-by-contruction design flow. Automated design-space exploration is a key interesting step in such a flow.

Community Services

I have served as reviewer for the following journals.
  • IEEE TCAD
  • IEEE TII
  • MDPI Sensors
  • ACM TODAES
  • Elsevier MICPRO
(partial list available via my Publons profile)
I have also served as a technical committee member of
  • FDL

Teaching

Courses, I teach/taught
  • Design and Analysis of Real-Time Embedded Systems (MSc.)
  • Systems-on-Chip (MSc.)
  • Advanced Computer Architecture (MSc.)
  • Seminar (MSc.)
  • Microprocessors (BSc.)
  • Computer Architecture (BSc.)
  • Fundamentals of Embedded and Real-Time Systems (BSc.)

Publications

The full list of my publications is here.

Also, publication list according to Google Scholar, DBLP, and Scopus.

Softwares and Tools

  • ForSyDe-SystemC is the industry-friendly, SystemC-based implementation of the ForSyDe modeling framework.
  • ForSyDe-Parallel-Simulation is an automated parallel simulation flow for ForSyDe models.
© 2025 Hosein Attarzadeh | Powered by Responsive Theme