Björn Metzler

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 1

Top Topics

Electronic Commerce

Online Services

Probabilistic Model

Top Venues

Datenschutz und Datensicherheit

University of Paderborn (PHD)

Education History

University of Paderborn

PHD

Publications

Jens Bender, Björn Metzler, Niels Räth
Neues vom Online-Ausweis. Datenschutz und Datensicherheit 43 (4) (2019)
Björn Metzler, Heike Wehrheim, Daniel Wonisch
Decomposition for Compositional Verification. ICFEM (2008)
Björn Metzler, Heike Wehrheim
Extending a Component Specification Language with Time. Electron. Notes Theor. Comput. Sci. 176 (2) (2007)
Björn Metzler
Decomposing Integrated Specifications for Verification. IFM (2007)
Ingo Brückner, Björn Metzler, Heike Wehrheim
Optimizing Slicing of Formal Specifications by Deductive Verification. Nord. J. Comput. 13 (1-2) (2006)