Frederik Brix

According to our database, Frederik Brix authored at least 3 papers between 2017 and 2021.

Collaborative distances:

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

2021

Scalable online first-order monitoring.

Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel

Int. J. Softw. Tools Technol. Transf., 2021

2019

Adaptive Online First-Order Monitoring.

Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel

Proceedings of the Automated Technology for Verification and Analysis, 2019

2017

Real-Time Football Analysis with StreamTeam: Demo.

Lukas Probst, Frederik Brix, Heiko Schuldt, Martin Rumo

Proceedings of the 11th ACM International Conference on Distributed and Event-based Systems, 2017