Björn Engelmann

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 5

Top Topics

Dependency Trees

Lambda Calculus

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

GermEval@KONVENS

Joint Workshop of the German Research Training Groups in Computer Science

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Björn Engelmann, Philipp Schaer
Reliable Rules for Relation Extraction in a Multimodal Setting. BTW (2023)
Fabian Haak, Björn Engelmann
IRCologne at GermEval 2021: Toxicity Classification. GermEval@KONVENS (2021)
Björn Engelmann, Ernst-Rüdiger Olderog
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs. Theory and Practice of Formal Methods (2016)
Björn Engelmann, Ernst-Rüdiger Olderog
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -. CoRR (2015)
Björn Engelmann, Ernst-Rüdiger Olderog, Nils Erik Flick
Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -. CoRR (2015)
Nils Erik Flick, Björn Engelmann
Analysis of Petri Nets with Context-Free Structure Changes. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71 (2014)
Björn Engelmann
Verification Techniques for Dynamically Typed Programs. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Martin Johns, Björn Engelmann, Joachim Posegga
XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. ACSAC (2008)