Mathias Weber

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 4

Top Topics

Database Security

Reactive Systems

Top Venues

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Mathias Weber, Annette Bieniusa
ACGreGate: A Framework for Practical Access Control for Applications using Weakly Consistent Databases. CoRR (2018)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
EPTL - A temporal logic for weakly consistent systems. CoRR (2017)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper). FORTE (2017)
Mathias Weber, Annette Bieniusa, Arnd Poetzsch-Heffter
Access Control for Weakly Consistent Replicated Information Systems. STM (2016)