PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rettberg, Achim"

Author of the publication

copydeleteadd this publication to your clipboard
Towards a synthesis semantics for systemC channels.

, , , , and . CODES+ISSS, page 163-172. ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. Achim Stein University of Stuttgart

Johannes Rettberg University of Stuttgart

Dr. phil. Achim Schmitz University of Stuttgart

Achim Kuhn University of Stuttgart

Achim Scholz University of Stuttgart

 

Other publications of authors with the same name

The Specification Language SpecC within the PARADISE Design Environment., , , , , and . DIPES, volume 189 of IFIP Conference Proceedings, page 111-120. Kluwer, (2000)Communication-Aware Component Allocation Algorithm for a Hybrid Architecture., , and . DIPES, volume 225 of IFIP, page 175-184. Springer, (2006)Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs., , , and . IESS, volume 403 of IFIP Advances in Information and Communication Technology, page 205-217. Springer, (2013)Approach for a Formal Verification of a Bit-serial Pipelined Architecture., , and . IESS, volume 231 of IFIP Advances in Information and Communication Technology, page 47-56. Springer, (2007)Towards a Rigorous Modeling Formalism for Systems of Systems., , , and . ISORC Workshops, page 204-211. IEEE Computer Society, (2012)An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems., , and . ISORC Workshops, page 196-203. IEEE Computer Society, (2012)Hierarchical real-time scheduling in the multi-core era - An overview., , , and . ISORC, page 1-10. IEEE Computer Society, (2013)Model and Methodology for the Synthesis of Heterogeneous and Partially Reconfigurable Systems., , and . IPDPS, page 1-8. IEEE, (2007)A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems., , , , , and . SEUS, volume 6399 of Lecture Notes in Computer Science, page 59-70. Springer, (2010)SPES Methodology and MARTE Constraints in Architectural Design., , , , and . ISCC, page 377-383. IEEE, (2018)