Frederik Brix

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

Collaborative distances:

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

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

2018

Scalable Online First-Order Monitoring.

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

Proceedings of the Runtime Verification - 18th International Conference, 2018

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