Mathias Weber, M.Sc.

Foto von Mathias Weber, M.Sc.
E-Mail-Adresse m_weber@cs.uni-kl.de
Telefon +49 - 631 - 205 - 32 72
Fax +49 - 631 - 205 - 34 20
Postanschrift TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
D-67653 Kaiserslautern
Besucheradresse Gebäude 34, Raum 406
Gottlieb-Daimler-Str.
Zugang über Paul-Ehrlich-Str.
D-67653 Kaiserslautern
Google-Karte
Sprechzeiten Do. 9:30 - 11:00
 

Publikationen

  • Mathias Weber and Annette Bieniusa. ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. In arXiv (Link)
  • Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper) In Formal Techniques for Distributed Objects, Components, and Systems, Springer, June 2017 (Link, Long Version)
  • Mathias Weber, Annette Bieniusa and Arnd Poetzsch-Heffter. Access Control for Weakly Consistent Replicated Information Systems In Security and Trust Management, Springer, September 2016 (Link)
  • Arnd Poetzsch-Heffter, Barbara Paech and Mathias Weber. Integrated Modeling and Evolution of Social Software. In Social Informatics - The Social Impact of Interactions between Humans and IT, Springer, October 2014

Lehre

  • Software Entwicklung 1 WS 17/18 (Hauptassistent)
  • Übersetzer und Sprachverarbeitende Werkzeuge SS17
  • Software Entwicklung 1 WS 16/17 (Hauptassistent)
  • Übersetzer und Sprachverarbeitende Werkzeuge SS16
  • Software Entwicklung 1 WS 15/16 (Hauptassistent)
  • Fortgeschrittene Aspekte objectorientierter Programmierung SS15
  • Software Entwicklung 1 WS 14/15 (Hauptassistent)
  • Fortgeschrittene Aspekte objectorientierter Programmierung SS14
  • Software Entwicklung 1 WS 13/14 (Hauptassistent)
  • Fortgeschrittene Aspekte objectorientierter Programmierung SS13
  • Software Entwicklung 1 WS 12/13