Simon Schwarz

According to our database, Simon Schwarz authored at least 7 papers between 2019 and 2024.

Collaborative distances:

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

2024

You Cannot Escape Me: Detecting Evasions of SIEM Rules in Enterprise Networks.

Rafael Uetz, Marco Herzog, Louis Hackländer, Simon Schwarz, Martin Henze

Proceedings of the 33rd USENIX Security Symposium, 2024

Automatic Bit- and Memory-Precise Verification of eBPF Code.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

SCL(FOL) Revisited.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

CoRR, 2023

Exploring Partial Models with SCL.

Martin Bromberger, Simon Schwarz, Christoph Weidenbach

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Efficient Random Walks on Riemannian Manifolds.

Michael Herrmann, Simon Schwarz, Anja Sturm, Max Wardetzky

CoRR, 2022

Findoo - Interoperable E-Learning Semantic Search and Content Authoring Assistance.

Alexander Streicher, Simon Schwarz

Proceedings of the DELFI 2022, 2022

2019

SPASS-SATT - A CDCL(LA) Solver.

Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach

Proceedings of the Automated Deduction - CADE 27, 2019