XSSDS: Server-Side Detection of Cross-Site Scripting Attacks. - Martin Johns; Björn Engelmann 001; Joachim Posegga (ACSAC, 2008)

Verification Techniques for Dynamically Typed Programs. - Björn Engelmann 001 (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Analysis of Petri Nets with Context-Free Structure Changes. - Nils Erik Flick; Björn Engelmann 001 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -. - Björn Engelmann 001; Ernst-Rüdiger Olderog (CoRR, 2015)

Closing the Gap - Formally Verifying Dynamically Typed Programs like Statically Typed Ones Using Hoare Logic - Extended Version -. - Björn Engelmann 001; Ernst-Rüdiger Olderog; Nils Erik Flick (CoRR, 2015)

A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs. - Björn Engelmann 001; Ernst-Rüdiger Olderog (Theory and Practice of Formal Methods, 2016)

Techniques for the verification of dynamically typed programs. - Björn Engelmann 001 (2017)