Julius Wenzel

According to our database, Julius Wenzel authored at least 3 papers in 2024.

Collaborative distances:

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

2024

VMCaaS - Virtual Monotonic Counters as a Service.

Gabriel Fernandez, Julius Wenzel, Christof Fetzer

Proceedings of the 17th IEEE/ACM International Conference on Utility and Cloud Computing, 2024

Invited Paper: Using Signed Formulas for Online Certification.

Julius Wenzel, Andreas Berg, Christof Fetzer

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2024

Traceability and Accountability by Construction.

Julius Wenzel, Maximilian A. Köhl, Sarah Sterz, Hanwei Zhang, Andreas Schmidt, Christof Fetzer, Holger Hermanns

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024