Wissenschaftliche Veröffentlichungen (Auszug)
– List of Publications (excerpt)
- W. D. Tiedemann: "Bus Protocol Conversion:
From Timing Diagrams to State Machines"; Proc. 2nd Workshop on Comp.
Aided Systems Theory EUROCAST 91, Springer LNCS 585 (1992), 365-377.
- W. D. Tiedemann: "An Approach to Multi-paradigm
Controller Synthesis from Timing Diagram Specifications"; Proc. 1st
European Design Automation Conference EURODAC 92, Hamburg (1992), 522-527.
- W. D. Tiedemann, S. Lenk, C. Grobe, W. Grass:
"Introducing Structure into Behavioural Descriptions obtained from Timing
Diagram Specifications"; Proc. 19th EUROMICRO Conference, Microprocessing
and Microprogramming 38 (1993), 581-588.
- W. Grass, M. Mutz, W. D. Tiedemann: "High
Level Synthesis based on Formal Methods"; Proc. 20th EUROMICRO Conference,
Liverpool (1994), 83-91.
- W. Grass, C. Grobe, S. Lenk, W. D. Tiedemann,
C. Delgado Kloos, A. Marín, T. Robles: "Transformation of Timing Diagram
Specifications into VHDL Code"; Proc. 12th Int. Conf. on Comp. Hardware
Description Languages CHDL 95, Chiba, Japan (1995), 659-668.
- W. D. Tiedemann: "Synthese von
Kommunikationsprozessoren aus Spezifikationen in Form von Impulsdiagrammen";
VDI Fortschrittberichte Reihe 10 (Informatik/Kommunikationstechnik) Nr. 422,
VDI Verlag (1996).
- W. D. Tiedemann et al.: "Specification
Languages", "Synthesis Flow", "Synthesis Techniques"; in
C. Delgado Kloos, W. Damm (eds.): "Practical Formal Methods for Hardware
Design"; Springer Research Reports ESPRIT 1 (1997).
- W. D. Tiedemann: "Rechnernetze";
Vorlesungsskriptum, Intranet der Hochschule Ingolstadt (2002-2012).
- W. D. Tiedemann: "Rechnerarchitektur";
Vorlesungsskriptum, Intranet der Hochschule Ingolstadt (2002-2012).
- W. D. Tiedemann: "Telekommunikation";
Vorlesungsskriptum, Intranet der Hochschule Ingolstadt (2003-2008).
- W. D. Tiedemann: "Rechnernetze II";
Vorlesungsskriptum, Intranet der Hochschule Ingolstadt (2005).
- W. D. Tiedemann: "Automotive Telematics";
Lecture Notes, Intranet of Ingolstadt University (2005-2012).
- W. D. Tiedemann: "Rechnerperipherie";
Vorlesungsskriptum, Intranet der Hochschule Ingolstadt (2007).