Seyed-Hosein Attarzadeh-Niaki

Orcid: 0000-0002-2171-1528

Affiliations:
  • Shahid Beheshti University (SBU), Faculty of Computer Science and Engineering, Tehran, Iran
  • Royal Institute of Technology (KTH), Department of Electronics and Embedded Systems (ESY), Stockholm, Sweden


According to our database1, Seyed-Hosein Attarzadeh-Niaki authored at least 17 papers between 2008 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
ROS-Based Co-Simulation for Formal Cyber-Physical Robotic System Design.
Proceedings of the 27th International Computer Conference, Computer Society of Iran, 2022

2021
An automated parallel simulation flow for cyber-physical system design.
Integr., 2021

2020
Heterogeneous co-simulation for embedded and cyber-physical systems design.
Simul., 2020

2017
ForSyDe: System Design Using a Functional Language and Models of Computation.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

Automatic construction of models for analytic system-level design space exploration problems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
An extensible modeling methodology for embedded and cyber-physical system design.
Simul., 2016

2015
A formal, model-driven design flow for system simulation and multi-core implementation.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2013
Rapid virtual prototyping of real-time systems using predictable platform characterizations.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

Towards a Modelling and Design Framework for Mixed-Criticality SoCs and Systems-of-Systems.
Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

An automated parallel simulation flow for heterogeneous embedded systems.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
Heterogeneous system-level modeling for small and medium enterprises.
Proceedings of the 25th Symposium on Integrated Circuits and Systems Design, 2012

Formal heterogeneous system modeling with SystemC.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Integrating virtual platforms into a heterogeneous MoC-based modeling framework.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

2011
Co-simulation of embedded systems in a heterogeneous MoC-based modeling framework.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Semi-formal refinement of heterogeneous embedded systems by foreign model integration.
Proceedings of the 2011 Forum on Specification & Design Languages, 2011

2009
Field Programmable Compressor Trees: Acceleration of Multi-Input Addition on FPGAs.
ACM Trans. Reconfigurable Technol. Syst., 2009

2008
Design space exploration for field programmable compressor trees.
Proceedings of the 2008 International Conference on Compilers, 2008


  Loading...