Dr. Matthias Sand

Research Interests

• low level debugging and advancement of hardware (e.g. floppy drive, CDROM/ATAPI, mouse, VGA adapters),
• improvement of BIOS for the hardware mentioned above,
• support for legacy OSes (DOS, Windows 9x, OS/2, etc.),
• porting FAUmachine to Mac OS X (finally proceeding...).

Ph.D. Thesis

Publications

• Sand, Matthias; Sieh, Volkmar; Fey, Dietmar:
  Nano-technology aware investigations on fault-masking techniques in the presence of high fault probabilities.
  In: IEEE (Org.): Proceedings of the 2010 International Conference on High Performance Computing and Simulation (HPCS)
  (2010 International Conference on High Performance Computing and Simulation (HPCS), Caen, France, 28.06.2010-02.07.2010).
  2010, pp. 181-187. - ISBN 978-1-4244-6827-0
• Potyra, Stefan; Sand, Matthias; Sieh, Volkmar; Fey, Dietmar:
  Performantes Testen von fehlertoleranten Hard- und Software-System in der virtuellen Maschine FAUmachine.
  In: Universität Paderborn; GI Gesellschaft für Informatik; ITG Informationstechnische Gesellschaft im VDE; VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik (GMM) (Org.): 22. Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen"
  (22. Workshop "Testmethoden und Zuverlässigkeit von Schaltungen und Systemen", Paderborn, 28.02.2010 - 02.03.2010).
  2010, pp. 121-122.
• Potyra, Stefan; Sand, Matthias; Sieh, Volkmar; Fey, Dietmar:
  Rapid Prototyping mit FAUmachine am Beispiel einer VHDL-PCI-Soundkarte.
  In: Elst, Günter (Ed.): DASS 2010 Dresdner Arbeitstagung für Schaltungs- und Systementwurf
  (DASS 2010 Dresdner Arbeitstagung für Schaltungs- und Systementwurf, Dresden, 18./19.05.2010).
  Stuttgart: Fraunhofer Verlag, 2010, pp. 123-128.
• Potyra, Stefan; Sand, Matthias; Sieh, Volkmar; Fey, Dietmar:
  Seamless High Speed Simulation of VHDL Components in the Context of Comprehensive Computing Systems using the Virtual Machine FAUmachine.
  In: Johansson, Björn; Jain, Sanjay; Montoya-Torres, Jairo; Hugan, Joe; Yücesan, Enver (Ed.): Proceedings of the 2010 Winter Simulation Conference
  (2010 Winter Simulation Conference, Baltimore, MD, USA, 05.-08.12.2010).
  Baltimore, MD, USA: IEEE, 2010, pp. 891-902.
• Sand, Matthias; Potyra, Stefan; Sieh, Volkmar:
  Deterministic High-Speed Simulation of Complex Systems Including Fault-Injection.
  In: Kaaniche, Mohamed (Ed.): Proc. of the 39th Intern. Conf. on Dependable Systems and Networks
  ((DSN 2009), Estoril, Portugal, 29.06. - 02.07.2009).
  2009, pp. k.A..
• Sand, Matthias:
  Patternbasierte Verifikation objektorientierter Modelle - Methodik, Semantik und Verfahren.
  Erlangen-Nürnberg, Friedrich-Alexander-Universität, Diss., 2006
• Sand, Matthias:
  Patterns for Model Verification.
  In: n.b. (Ed.): Supplement to Proc. HASE 2005: International Symposium on High Assurance Systems Engineering
  (Ninth IEEE International Sympossium on High Assurance Systems Engineering, Heidelberg, Germany, 12-14. October 2005).
  2005, pp. 3-4.
• Sand, Matthias:
  Verification and Test of Critical Systems with Patterns and Scenarios in UML.
  München: TU München. 2004
  (TUM-I0415). - Internal Report
• Sand, Matthias:
  Modelling Dependable Systems with Patterns.
  In: LAAS-CNRS (Ed.): Supplement of the EDCC-4 Conference, Fast Abstracts
  (Fourth European Dependable Computing Conference, Toulouse, Frankreich, 23.-25. Oktober 2002).
  2002, pp. 3-4.
• Kosmidis, Konstantinos; Sand, Matthias:
  Assurance Analysis by Scenario-based UML Modeling.
  In: - (Ed.): Fast Abstracts Proc. High-Assurance System Engineering Symposium HASE 2001
  (High-Assurance System Engineering Symposium HASE 2001, Boca Raton, 22.-24.10.2001).
  2001, pp. -.
• Sand, Matthias:
  IXNOS - Ein Werkzeug zur Pfadsuche in interagierenden Zustandsautomaten.
  Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Dipl. thesis, 2001
• Sand, Matthias:
  Design und Implementierung einer Komponente zur Transformation von UML-StateCharts in stochastische Petrinetze.
  Erlangen, Friedrich-Alexander-Universität Erlangen-Nürnberg, Stud. thesis, 2000

Teaching

• ...
• WS 2009/2010:
  
  • Design von Hardwarekomponenten und Treibern für Linux
• SS 2010:
  
  • Übungen zu Grundlagen der Rechnerarchitektur und -organisation
• WS 2010/2011:
  
  • Design von Hardwarekomponenten und Treibern für Linux
  • Rechnerarchitektur (Übungen)
• SS 2011:
  
  • Laborübungen zu CPU-Design
  • Übungen zu Grundlagen der Rechnerarchitektur und -organisation

Pre-Master- and Master-Theses (Studien- und Diplomarbeiten)

Administration

Contact