Julius Michaelis

According to our database, Julius Michaelis authored at least 16 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

ShadowSync: latency long tail caused by hidden synchronization in real-time LSM-tree based stream processing systems.

Shungeng Zhang, Qingyang Wang, Yasuhiko Kanemasa, Julius Michaelis, Jianshu Liu, Calton Pu

Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022

Formalizing Alexander duality through BDDs.

Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio

Proceedings of the International Symposium on Artificial Intelligence and Mathematics 2022 (ISAIM 2022), 2022

Recovery-Robust Inquiry to External Services from Stream Processing Application.

Yuki Nishiguchi, Hiroaki Aoki, Takafumi Onishi, Julius Michaelis, Yasuhiko Kanemasa

Proceedings of the IEEE International Conference on Big Data, 2022

2021

Simplicial Complexes and Boolean functions.

Jesús Aransay, Alejandro del Campo, Julius Michaelis

Arch. Formal Proofs, 2021

2020

Recovery-Conscious Adaptive Watermark Generation for Time-Order Event Stream Processing.

Takafumi Onishi, Julius Michaelis, Yasuhiko Kanemasa

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.

Hisatoshi Yamaoka, Kota Itakura, Eiichi Takahashi, Gaku Nakagawa, Julius Michaelis, Yasuhiko Kanemasa, Miwa Ueki, Tatsuro Matsumoto, Riichiro Take, Sayuri Tanie, Daigo Inoue

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

2018

Verified iptables Firewall Analysis and Verification.

Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle

J. Autom. Reason., 2018

2017

Propositional Proof Systems.

Julius Michaelis, Tobias Nipkow

Arch. Formal Proofs, 2017

Formalized Proof Systems for Propositional Logic.

Julius Michaelis, Tobias Nipkow

Proceedings of the 23rd International Conference on Types for Proofs and Programs, 2017

2016

Algorithms for Reduced Ordered Binary Decision Diagrams.

Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel

Arch. Formal Proofs, 2016

LOFT - Verified Migration of Linux Firewalls to SDN.

Julius Michaelis, Cornelius Diekmann

Arch. Formal Proofs, 2016

Routing.

Julius Michaelis, Cornelius Diekmann

Arch. Formal Proofs, 2016

Simple Firewall.

Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck

Arch. Formal Proofs, 2016

IP Addresses.

Cornelius Diekmann, Julius Michaelis, Lars Hupel

Arch. Formal Proofs, 2016

Verified iptables firewall analysis.

Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck, Georg Carle

Proceedings of the 2016 IFIP Networking Conference, 2016

2014

Analysis of injection capabilities and media access of IEEE 802.11 hardware in monitor mode.

Stephan M. Günther, Maurice Leclaire, Julius Michaelis, Georg Carle

Proceedings of the 2014 IEEE Network Operations and Management Symposium, 2014