Seyed-Hosein Attarzadeh-Niaki

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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.
Simulation, 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.
TRETS, 2009

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


  Loading...