Julius Michaelis
◁ ▷ joint publications with coauthor community group 1
- > Home > Persons > Julius Michaelis
Publications
- 2017
- [j6]
- 2016
- [j5]Cornelius Diekmann, Julius Michaelis, Lars Hupel:
IP Addresses. Archive of Formal Proofs 2016 (2016) - [j4]Cornelius Diekmann, Julius Michaelis, Maximilian P. L. Haslbeck:
Simple Firewall. Archive of Formal Proofs 2016 (2016) - [j3]
- [j2]Julius Michaelis, Cornelius Diekmann:
LOFT - Verified Migration of Linux Firewalls to SDN. Archive of Formal Proofs 2016 (2016) - [j1]Julius Michaelis, Maximilian P. L. Haslbeck, Peter Lammich, Lars Hupel:
Algorithms for Reduced Ordered Binary Decision Diagrams. Archive of Formal Proofs 2016 (2016) - [c2]Cornelius Diekmann, Julius Michaelis, Maximilian P. L. Haslbeck, Georg Carle:
Verified iptables firewall analysis. Networking 2016: 252-260 - 2014
- [c1]Stephan M. Günther, Maurice Leclaire, Julius Michaelis, Georg Carle:
Analysis of injection capabilities and media access of IEEE 802.11 hardware in monitor mode. NOMS 2014: 1-9
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-09-13 19:06 CEST by the dblp team