# Julius Michaelis

According to our database

Collaborative distances:

^{1}, Julius Michaelis authored at least 11 papers between 2014 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

Dracena: A Real-Time IoT Service Platform Based on Flexible Composition of Data Streams.

Proceedings of the IEEE/SICE International Symposium on System Integration, 2019

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