We stand with Ukraine  

Björn Engelmann

Affiliations:
  • Carl von Ossietzky University of Oldenburg, Department of Computing Science, Oldenburg, Germany
  • University of Hamburg, Germany


According to our database1, Björn Engelmann authored at least 7 papers between 2008 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2017
Techniques for the verification of dynamically typed programs.
[BibTeX]
[DOI]
Björn Engelmann
PhD thesis, 2017

2016
A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs.
[BibTeX]
[DOI]
Björn Engelmann
,
Ernst-Rüdiger Olderog
Proceedings of the Theory and Practice of Formal Methods, 2016

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

A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs - Extended Version -.
[BibTeX]
[DOI]
Björn Engelmann
,
Ernst-Rüdiger Olderog
CoRR, 2015

2014
Analysis of Petri Nets with Context-Free Structure Changes.
[BibTeX]
[DOI]
Nils Erik Flick
,
Björn Engelmann
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Verification Techniques for Dynamically Typed Programs.
[BibTeX]
Björn Engelmann
Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2008
XSSDS: Server-Side Detection of Cross-Site Scripting Attacks.
[BibTeX]
[DOI]
Martin Johns
,
Björn Engelmann
,
Joachim Posegga
Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008


  Loading...