Disclaimer

The use of the referred documents is only allowed for internal purposes at our university.
If you need the documents for other purposes, please ask potential right owners.

2007

A. Jesser, S. Lämmermann, A. Pacholik, R. Weiss, J. Ruf, W. Fengler, L. Hedrich, T. Kropf, W. Rosenstiel.
Analog Simulation Meets Digital Verification - A Formal Assertion Approach for Mixed-Signal Verification.
14th Workshop on Synthesis And System Integration of Mixed Information Technologies - SASIMI'07, Oktober 2007, Sapporo, Japan, pp. 507 - 514.
[ pdf ], Poster [ pdf ]

Mario Schulz, Ivan Veličković, Saša Anđelković, Volker Zerbe, Goran S. Đorđević.
MLDESIGNER™ as Simulation Tool in Robotics.
TELSIKS 2007 Serbia, Nis, September 26-28, 2007.
[ pdf ]

H. Salzwedel.
Reinisch System Theory In Complex System Design And Verification.
52. Internationales Wissenschaftliches Kolloquium - IWK'2007, 10.-13. September 2007, Ilmenau, ISBN 978-3-939473-17-6.
[ pdf ], Slides [ pdf ]

H. Salzwedel.
Complex System Design Automation In The Presence Of Bounded And Statistical Uncertainties.
52. Internationales Wissenschaftliches Kolloquium - IWK'2007, 10.-13. September 2007, Ilmenau, ISBN 978-3-939473-17-6.
[ pdf ]

T. Baumann, A. Pacholik, H. Salzwedel.
Performance Exploration with MLDesigner unsing Standardized Communication Interfaces.
University Booth at DATE '07, 16.-20. April 2007, Acropolis, Nice, France.
[ pdf ]

T. Baumann, H. Salzwedel.
Mapping of Electronical System Level (ESL) Models into Implementation.
University Booth at DATE '07, 16.-20. April 2007, Acropolis, Nice, France.
[ pdf ]

B. Anđelković, V. Litovski, V. Zerbe.
Mission Level Modeling and Simulation for Mixed-signal System-on-a-chip Design.
accepted for publication in Journal of Circuits, Systems and Computers, Vol. 18, No. 2, April 2007, ISSN 0218-1266.

H. Salzwedel, F. Richter, M. Kühn.
Standardized Modeling and Simulation of Hospital Processes - Optimization of Cancer Treatment Center.
International Conference on Health Sciences Simulation, HSS '07, 14.-18. January 2007, San Diego, California.
[ pdf ], Slides [ pdf ]

T. Baumann, M. Hauguth, H. Salzwedel.
Overcoming the Gap between Design at Electronic System Level (ESL) and Implementation for Networked Electronics.
2007 Western MultiConference on Modeling & Simulation, WMC '07, 14.-18. January 2007, San Diego, California.
[ pdf ]