Julius Michaelis

According to our database1, Julius Michaelis authored at least 12 papers between 2014 and 2020.

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

2020
Recovery-Conscious Adaptive Watermark Generation for Time-Order Event Stream Processing.
Proceedings of the Fifth IEEE/ACM International Conference on Internet-of-Things Design and Implementation, 2020

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.
Arch. 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.
Arch. Formal Proofs, 2016

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

Routing.
Arch. Formal Proofs, 2016

Simple Firewall.
Arch. Formal Proofs, 2016

IP Addresses.
Arch. 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...