Person

FH-Prof. DI Dr. Markus Pfaff

Verifikation digitaler Systeme, Serielle Hochgeschwindigkeitsbusse, Asynchrone Schaltungen

Ausbildung

Johannes Kepler Universität Linz, Doktoratsstudium der techn. Wissenschaften, Dr. techn.
Jan. 1994 - Okt. 1999
Technische Hochschule Darmstadt, Studium der Elektrotechnik, Dipl.-Ing.
Okt. 1987 - Apr. 1993

Forschungsinteressen

  • Asynchrone Schaltungen
  • Serielle Hochgeschwindigkeitsbusse
  • Verifikation digitaler Systeme
2011
M. Pfaff, W. Oehme, M. Huemer - Elektronik und Schaltungstechnik in Elektronik und Schaltungstechnik (Editors: W. Friedrich Oehme, Mario Huemer) - Hanse Fachbuchverlag Leipzig, 2011, pp. 300 mehr
2009
F. Eibensteiner, R. Findenig, M. Pfaff - SynPSL: Behavioral Synthesis of PSL Assertions - Proceedings of International Conference Computer Aided Systems Theory EUROCAST 2009, Las Palmas, Spanien, 2009, pp. 69-74 mehr
2009
R. Findenig, F. Eibensteiner, M. Pfaff - Optimizing the Hardware Usage of Parallel FSMs - Proceedings of International Conference Computer Aided Systems Theory EUROCAST 2009, Las Palmas, Spanien, 2009, pp. 63-68 mehr
2009
M. Hofstätter, G. Mayer, R. Findenig, F. Eibensteiner, M. Pfaff - RAM basiertes Entwurfskonzept für flächenoptimierte Multi-IP-Core-Designs - 3. Forschungsforum der Österreichischen Fachhochschulen, Villach, Österreich, 2009, pp. 147-151 mehr
2008
R. Findenig, F. Eibensteiner, M. Pfaff - Echtzeit-Überwachung von Hard- und Software mit PSL - Proceedings Austrochip 2008, Linz, Österreich, 2008, pp. 44-47 mehr
2007
M. Pfaff, D. Malzner, J. Seifert, J. Traxler, H. Weber, G. Wiendl - Implementing Digital Audio Effects Using a Hardware/Software Co-Design Approach - Digital Audio Effects 2007 - DAFx-07, Bordeaux, Frankreich, 2007, pp. 125-132 mehr
2007
H. Obereder, C. Saminger, M. Pfaff - Verification of a third-generation-interconnection from implementation to initial operation - Proceedings of the PCI SIG Developers Conference 2007, San Jose, Vereinigte Staaten von Amerika, 2007 mehr
2007
H. Obereder, M. Pfaff, C. Saminger - Behavioral synthesis of property specification language (PSL) assertions - Proceedings of the International Symposium on Rapid System Prototyping 2007, Porto Alegre, Brasilien, 2007 mehr
2007
H. Obereder, M. Pfaff, C. Saminger - Die Synthese von "Property Specification Language" (PSL) Assertions - Forschungsforum der österreichischen Fachhochschulen 2007, Campus Urstein, Österreich, 2007 mehr
2007
R. Findenig, M. Pfaff, F. Eibensteiner, J. Langer - Effiziente Hardware-Abbildung von PSL-Assertions - Tagungsband Austrochip 2007, Graz, Österreich, 2007, pp. 85-90 mehr
2007
M. Pfaff, M. Kreuzgruber - Implementation des CORDIC-Algorithmus zur Berechnung der inversen Kinematic eines Hexapod-Roboters - Tagungsband Austrochip 2007, Graz, Österreich, 2007, pp. 149-152 mehr
2006
C. Saminger, M. Pfaff, H. Obereder - Simulation der Signalintegrität von High-Speed-Signalen bei variablen Parametern der Leiterplatte - Proceedings of the Mentor Graphics User Conference 2006, Frankfurt, Deutschland, 2006 mehr