Drucken

Compositional Modeling and Control for Safety-Critical Manufacturing Systems
G. Uygur, S. Sattler
EDPC 2012, 15.-18.10.2012, Nürnberg

NEEDS – Nanoelektronik-Entwurf für 3D-Systeme
K. Hylla, A. Grünewald, K. Hahn, A. Heinig, U. Knöchel, S. Wolf, F. Miller, Th. Wild, A. Quiring, M. Olbrich, S. Sattler, D. Treytnar
ZUE 2012, 25.-27.09.2012, Bremen

DNL-Verfahren zur Reduktion der ADC-Testzeit und dessen Sicherheitsrisiko
M. Rantisi, S. Sattler
ZuE 2012, 25.-27.09.2012, Bremen

Digital gesteuerte formale Analog-Verifikation asynchroner rückgekoppelter Schaltungsstrukturen
G. Uygur, S. Sattler
EDA 2012, 08.-09.05.2012, Hannover

Klassifizierung von Testdaten mittels PCA-Verfahren am Beispiel analoger Schaltungen
A. Schaller, S. Sattler
EDA 2012, 08.-09.05.2012, Hannover

Digital-Driven Formal Analog Verification for Asynchronously Feed-Backed Circuitries
G. Uygur, S. Sattler
DDECS 2012, 18.-20.04.2012, Tallinn

Safety-Critical Systems: Proposal to Access a Partially Defined Analog Structure
G. Uygur, S. Sattler
AmE 2012, 17.-18.04.2012, Dortmund

Suggestion for Formally Verification of Partially Specified Safety-Critical Automotive Systems
G. Uygur, S. Sattler
AmE 2012, 17.-18.04.2012, Dortmund

Methode zur Erzeugung von trennenden Hyperebenen mittels Hauptkomponenten
A. Schaller, S. Sattler
TuZ 2012, 26.-28.02.2012, Cottbus

A Novel High-Speed Analog-to-Digital Converter for Low-Cost In-Situ Testing
J. Al-Eryani, S. Sattler
TuZ 2012, 26.-28.02.2012, Cottbus

Parallel Composition - A Practical Solution
G. Uygur, S. Sattler
EDPC 2011, 28.-29.09.2011, Nürnberg

Axiomatischer Modellierungsansatz automotiver Systeme
G. Uygur, S. Sattler
AmE 2011, 04.-05.05.2011, Dortmund