Julius Michaelis
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 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
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2018-03-07 10:24 CET by the dblp team