Wissen, was gut ist. Studieren in Chemnitz.

Publikationen 2013


Einsatz formaler Methoden zur Energieeinsparung

Horn, Thomas; Sauppe, Matthias; Markert, Erik; Heinkel, Ulrich; Rössel, Wolfgang; Sahm, Hans
16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen,
12. bis 14. März 2013, Warnemünde, ISBN 978-3-86009-147-0, ITMZ Universität Rostock

Synchronisation von Schleifenkörpern zur dynamischen Ablaufplanung

Rößler, Marko; Heinkel, Ulrich; Langer, Jan
16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen,
12. bis 14. März 2013, Warnemünde, ISBN 978-3-86009-147-0, ITMZ Universität Rostock

Integration of MEMS/NEMS models at the system level using VHDL-AMS.

Kolchuzhin, Vladimir; Mehner, Jan; Shende, Milind; Markert, Erik; Heinkel, Ulrich; Wagner, Christian; Gessner, Thomas
Smart Systems Integration Conference, Amsterdam, Netherlands, 13. bis 14. März 2013, ISBN 978-3-8007-3490-0

A Specification tool for Nanosystems.

Markert, Erik; Shende, Milind; Sauppe, Matthias; Horn, Thomas; Quinger, Sven; Heinkel, Ulrich
Smart Systems Integration Conference, Amsterdam, Netherlands, 13. bis 14. März 2013, ISBN 978-3-8007-3490-0