Detlef Schmid

According to our database, Detlef Schmid authored at least 11 papers between 1966 and 2006.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2006

Erstellung korrekter Spezifikationen für diskrete Systeme.

Roberto M. Ziller, Detlef Schmid

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

2000

. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung.

Detlef Schmid, Manfred Broy

Inform. Spektrum, 2000

1999

On the efficiency of formal synthesis-experimental results.

Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999

Formale Verifikation eingebetteter Systeme.

Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld

Informationstechnik Tech. Inform., 1999

1997

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme.

Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt

Inform. Forsch. Entwickl., 1997

1996

Formal Synthesis in Circuit Design - A Classification and Survey.

Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1984

Automatischer Entwurf hochintegrierter Schaltungen aus Beschreibungen der Schaltungsfunktion.

Detlef Schmid, Raul Camposano, Wolfgang Rosenstiel

Proceedings of the GI - 14. Jahrestagung, Braunschweig, 2.-4. Oktober 1984, Proceedings, 1984

1979

Vergleich und Bewertung einiger Registertransfersprachen.

Detlef Schmid, Thomas Schmitt

Elektron. Rechenanlagen, 1979

1978

Beschreibung einiger Registertransfersprachen.

Detlef Schmid, Thomas Schmitt

Elektron. Rechenanlagen, 1978

1972

Einige Untersuchungen zur Hardware-Realisierung von Software-Operatoren.

Detlef Schmid

Proceedings of the Gesellschaft für Informatik e.V., 1972

1966

Zeitvergleiche zwischen Lernmatrixschaltungen und funktionell gleichwertigen Simulationsprogrammen.

Detlef Schmid, Gerhard Schulze

Elektron. Rechenanlagen, 1966