Frederik Brix

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 4

Top Topics

Online Services

First Order Logic

Monitoring System

Highly Scalable

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Scalable online first-order monitoring. Int. J. Softw. Tools Technol. Transf. 23 (2) (2021)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Adaptive Online First-Order Monitoring. ATVA (2019)
Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel
Scalable Online First-Order Monitoring. RV (2018)
Lukas Probst, Frederik Brix, Heiko Schuldt, Martin Rumo
Real-Time Football Analysis with StreamTeam: Demo. DEBS (2017)