Mathias Weber, M.Sc.

Photo of Mathias Weber, M.Sc.
Email m_weber@cs.uni-kl.de
Phone +49 - 631 - 205 - 32 72
Fax +49 - 631 - 205 - 34 20
Postal address TU Kaiserslautern
Fachbereich Informatik, Gebäude 34
Postfach 30 49
D-67653 Kaiserslautern
Visitor address Gebäude 34, Raum 406
Gottlieb-Daimler-Str.
Zugang über Paul-Ehrlich-Str.
D-67653 Kaiserslautern
Google-Karte
Office Hours Thu. 9:30 - 11:00
 

Publications

  • 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

Teaching

  • Software Entwicklung 1 WS 17/18 (Hauptassistent)
  • Compiler and Language Processing Tools SS17
  • Software Entwicklung 1 WS 16/17 (Hauptassistent)
  • Compiler and Language Processing Tools SS16
  • Software Entwicklung 1 WS 15/16 (Hauptassistent)
  • Advanced aspects of object-oriented programming SS15
  • Software Entwicklung 1 WS 14/15 (Hauptassistent)
  • Advanced aspects of object-oriented programming SS14
  • Software Entwicklung 1 WS 13/14 (Hauptassistent)
  • Advanced aspects of object-oriented programming SS13
  • Software Entwicklung 1 WS 12/13