TU Chemnitz: ETIT: Professur Schaltkreis- und Systementwurf: Forschung: 2007
Wissen, was gut ist. Studieren in Chemnitz.
Publikationen 2007
| SpiritEd: A Register Specification System integrating IP-XACT and Adobe FrameMaker |
|---|
| Langer, J.; Jerinic, V.; Heinkel, U.; Dresig, F. IP '07, IP Based Electronic System Conference, Grenoble. 5.-6. Dezember 2007 |
| Tracking of mobile nodes in sensor networks |
| Froß, D.; Langer, J.; Rößler, M.; Heinkel, U. Konferenz: International Conference on Telecommunications and Networking (TeNe07), E-Conference, Bridgeport, USA, December, 3.-12. 2007 |
| Plattform zur formalisierten Spezifikationserfassung |
| Proß, U.; Richter, A.; Heinkel, U. 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007, S. 152-53, ISBN 978-3-00-022168-2 |
| Eine generische Plattform zur Sensorsignalauswertung |
| Wolf, P.; Markert, E.; Herrmann, G.; Heinkel, U. 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007, S. 123-124, ISBN 978-3-00-022168-2 |
| Ein Korrekturverfahren für die Inertialnavigation einer Gehmaschine |
| Wang, H.; Markert, E.; Herrmann, G.; Heinkel, U. 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007, S. 87-90, ISBN 978-3-00-022168-2 |
| Hybride Automaten zum Systementwurf von Mikrosystemen |
| Markert, E.; Herrmann, G.; Heinkel, U. 8. Chemnitzer Fachtagung Mikrosystemtechnik Mikromechanik & Mikroelektronik, Chemnitz, 14.-15. November 2007, S. 73-78, ISBN 978-3-00-022168-2 |
| Die Notwendigkeit formaler Methoden für Kommunikations-SoCs |
| Sahm, H.; Knäblein, J.; Preiß, A.; Koppin, M.; Langer, J.; Seifert, I.; Froß, D. Kooperations- und Fachworkshop "Verifikation" Hannover, 16. Oktober 2007 |
| Prototype of a dynamically reconfigurable network node |
| Proß, U.; Goller, S.; Heinkel, U.; Knäblein, J.; Schneider, A. AMWAS'07 Workshop, Paris, October, 10-11, 2007 |
| Car2Roadside Kommunikation auf Basis von 802.15.4a |
| Rößler, M.; Froß, A.; Heinkel, U. Wireless Technology Kongress 2007, Stuttgart, 18-19. September 2007, S. 247-255, ISBN 978-3-89838-084-3 |
| MORPHEUS: Heterogeneous Reconfigurable Computing |
| Thoma, F.; Kühnle, M.; Bonnot, P.; Panainte, E.M.; Bertels, K.; Goller, S.; Schneider, A.; Guyetant, S.; Schüler, E.; Müller-Glaser, K.D.; Becker, J. International Conference on Field Programmable Logic and Applications (FPL 2007), 27-29 Aug. 2007, Amsterdam, pp. 409-414, ISBN: 978-1-4244-1060-6 Abstract |
| Design of Microsystems using SystemC-AMS |
| Markert, E. Vortrag beim Workshop "C/C++-Based Modelliung of Embedded Mixed-Signal Systems", Dresden, Juni 2007, pp. 141-154 Beitrag, pdf-File (708 Kbyte) |
| SystemC-AMS assisted design of an Inertial Navigation System |
| Markert, E.; Dienel, M.; Herrmann, G.; Heinkel, U. erschienen in: IEEE Sensors Journal - Special Issue on Intelligent Sensors, May 2007, vol. 7, no. 5, pp. 770, ISSN 1530-437X Beitrag, 1,6 Mbyte |
| Ethernet-basierte dynamisch partielle Rekonfiguration in Netzwerken |
| Proß, U.; Goller, S.; Putsche, M.; Heinkel, U.; Schneider, A.; Knäblein, J.; Müller, B. Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, Dresden, 8.-9. Mai 2007, S. 23-28, ISBN 978-3-940046-28-4 Beitrag im Online-Publikationsservice MONARCH |
| Analyse von Corner Cases und funktionaler Abdeckung auf Basis von Entscheidungsdiagrammen |
| Langer, J.; Heinkel, U.; Jerinic, V.; Müller, D. Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, Dresden, 8.-9. Mai 2007, S. 23-28, ISBN 978-3-940046-28-4 Beitrag im Online-Publikationsservice MONARCH |
| Entwurf eines Systems zur Positonsbestimmung auf Basis von Entfernungsmessungen zu Referenzpunkten |
| Froß, D.; Rößler, M.; Heinkel, U. Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, Dresden, 8.-9. Mai 2007, S. 5-10, ISBN 978-3-940046-28-4 Beitrag im Online-Publikationsservice MONARCH |
| Kostenmodellierung mit SystemC/SystemC-AMS |
| Markert, E.; Hailu Wang; Herrmann, G.; Heinkel, U. Dresdner Arbeitstagung Schaltungs- und Systementwurf DASS, Dresden, 8.-9. Mai 2007, S. 49-54, ISBN 978-3-940046-28-4 Beitrag im Online-Publikationsservice MONARCH |
| Generation of Test Automation Code with Model Checking |
| Schneider, A.; Langer, J. Software Quality Conference (SQC 2007), SQS, Düsseldorf, Dresden, 25.-27. April 2007 Abstract, pdf-File (69 Kbyte) |
| Ethernet based in-service reconfiguration of SoCs in telecommunication networks |
| Schneider, A.; Knäblein, J.; Müller, B.; Putsche, M.; Goller, S.; Proß, U.; Heinkel, U. Architecture of Computing Systems (ARCS'07), Swiss Federal Institute of Technology (ETH) Zurich, Switzerland, March 12-15, 2007, pp. 169-173, ISBN 978-3-8007-3015-5 |
| A top-down methodology for MEMS design |
| Markert, E.; Pross, U.; Herrmann, G.; Heinkel, U. Smart Systems Integration 2007, Paris, France, March 27.-28, 2007, pp. 545-548, ISBN 978-3-8007-3009-4, VDE Verlag Berlin Beitrag, pdf-File (438 Kbyte) |
| Ein SystemC-AMS nach VHDL-AMS Konverter |
| Markert, E.; Kühn, S.; Langer, J.; Herrmann, G.; Heinkel, U. 10. GI/ITG/GMM-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Erlangen, 5.-7. März 2007, S. 151-160, ISBN 978-3-8322-5956-3 Beitrag auf Anfrage |
