Julius Michaelis

16 papers A 1B 3Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2022 Misc conf
Formalizing Alexander duality through BDDs.
ISAIM
Jesús Aransay, Laureano Lambán, Julius Michaelis, Julio Rubio
2022 B conf
Recovery-Robust Inquiry to External Services from Stream Processing Application.
IEEE Big Data
Yuki Nishiguchi, Hiroaki Aoki, Takafumi Onishi, Julius Michaelis, Yasuhiko Kanemasa
2022 A conf
ShadowSync: latency long tail caused by hidden synchronization in real-time LSM-tree based stream processing systems.
Middleware
Shungeng Zhang, Qingyang Wang, Yasuhiko Kanemasa, Julius Michaelis, Jianshu Liu, Calton Pu
2021 J jnl
Simplicial Complexes and Boolean functions.
Arch. Formal Proofs
Jesús Aransay, Alejandro del Campo, Julius Michaelis
2020 — conf
Recovery-Conscious Adaptive Watermark Generation for Time-Order Event Stream Processing.
IoTDI
Takafumi Onishi, Julius Michaelis, Yasuhiko Kanemasa
2019 — conf
Dracena: A Real-Time IoT Service Platform Based on Flexible Composition of Data Streams.
SII
Hisatoshi Yamaoka, Kota Itakura, Eiichi Takahashi, Gaku Nakagawa, Julius Michaelis, Yasuhiko Kanemasa, Miwa Ueki, Tatsuro Matsumoto, Riichiro Take, Sayuri Tanie, Daigo Inoue
2018 J jnl
Verified iptables Firewall Analysis and Verification.
J. Autom. Reason.
Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle
2017 — conf
Formalized Proof Systems for Propositional Logic.
TYPES
Julius Michaelis, Tobias Nipkow
2017 J jnl
Propositional Proof Systems.
Arch. Formal Proofs
Julius Michaelis, Tobias Nipkow
2016 J jnl
Algorithms for Reduced Ordered Binary Decision Diagrams.
Arch. Formal Proofs
Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel
2016 J jnl
IP Addresses.
Arch. Formal Proofs
Cornelius Diekmann, Julius Michaelis, Lars Hupel
2016 J jnl
LOFT - Verified Migration of Linux Firewalls to SDN.
Arch. Formal Proofs
Julius Michaelis, Cornelius Diekmann
2016 J jnl
Routing.
Arch. Formal Proofs
Julius Michaelis, Cornelius Diekmann
2016 J jnl
Simple Firewall.
Arch. Formal Proofs
Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck
2016 B conf
Verified iptables firewall analysis.
Networking
Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck, Georg Carle
2014 B conf
Analysis of injection capabilities and media access of IEEE 802.11 hardware in monitor mode.
NOMS
Stephan M. Günther, Maurice Leclaire, Julius Michaelis, Georg Carle