Julius Wenzel

According to our database, Julius Wenzel authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

A Workflow for Full Traceability of AI Decisions.

Julius Wenzel, Syeda Umaima Alam, Andreas Schmidt, Hanwei Zhang, Holger Hermanns

CoRR, November, 2025

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