Send email Copy Email Address
PhD Student

Frederik Scheerer

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Member of Groups

Further Information

Publications by Frederik Scheerer

Year 2025

2025-09-18

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach

Conference / Medium

The 25th International Conference on Runtime Verification (RV)

Tags
Authors
Full Paper Visit Detail Page
2025-05-03

Stream-Based Monitoring of Algorithmic Fairness

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Authors
Visit Detail Page
2025-05-03

Stream-Based Monitoring of Algorithmic Fairness

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2025-05-03

Stream-Based Monitoring of Algorithmic Fairness

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2025-01-27

A Tutorial on Stream-Based Monitoring

Conference / Medium

Formal Methods (FM)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2025

An Intermediate Program Representation for Optimizing Stream-Based Languages

Conference / Medium

Computer Aided Verification (CAV)

Tags
Authors
Full Paper Visit Detail Page