Julius Michaelis
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
- [j1]Cornelius Diekmann, Lars Hupel, Julius Michaelis, Maximilian P. L. Haslbeck, Georg Carle:
Verified iptables Firewall Analysis and Verification. J. Autom. Reasoning 61(1-4): 191-242 (2018) - 2017
- [d6]
- [c3]Julius Michaelis, Tobias Nipkow:
Formalized Proof Systems for Propositional Logic. TYPES 2017: 5:1-5:16 - 2016
- [d5]Cornelius Diekmann, Julius Michaelis, Lars Hupel:
IP Addresses. Archive of Formal Proofs 2016 (2016) - [d4]Cornelius Diekmann, Julius Michaelis, Maximilian P. L. Haslbeck:
Simple Firewall. Archive of Formal Proofs 2016 (2016) - [d3]
- [d2]Julius Michaelis, Cornelius Diekmann:
LOFT - Verified Migration of Linux Firewalls to SDN. Archive of Formal Proofs 2016 (2016) - [d1]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
last updated on 2019-01-10 20:48 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint