Julius Michaelis

According to our database1, Julius Michaelis authored at least 10 papers between 2014 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Verified iptables Firewall Analysis and Verification.
J. Autom. Reasoning, 2018

2017
Propositional Proof Systems.
Archive of Formal Proofs, 2017

Formalized Proof Systems for Propositional Logic.
Proceedings of the 23rd International Conference on Types for Proofs and Programs, 2017

2016
Algorithms for Reduced Ordered Binary Decision Diagrams.
Archive of Formal Proofs, 2016

LOFT - Verified Migration of Linux Firewalls to SDN.
Archive of Formal Proofs, 2016

Routing.
Archive of Formal Proofs, 2016

Simple Firewall.
Archive of Formal Proofs, 2016

IP Addresses.
Archive of Formal Proofs, 2016

Verified iptables firewall analysis.
Proceedings of the 2016 IFIP Networking Conference, 2016

2014
Analysis of injection capabilities and media access of IEEE 802.11 hardware in monitor mode.
Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014


  Loading...