- Invited Paper.- Distributed Runtime Verification with Imperfect Monitors: Challenges and Opportunities.- Cyber-physical Systems.- A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study.- Stream-based Monitoring under Measurement Noise.- Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS.- Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption.- Sampling-based and Gradient-based Efficient Scenario Generation.

- HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems.- Temporal Logics.- faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties.- Efficient Online Monitoring for Dynamic Metric Temporal Logic.- TimelyMon: A Streaming Parallel First-Order Monitor.- Specification and Visualization.- Adding State to Stream Runtime Verification.- The Complexity of Data-Free Nfer.

- RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring.- Deep Neural Networks.- Case Study: Runtime Safety Verification of Neural Network Controlled System.- Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces.- Box-based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study.- Distributed Systems.- Distributed Monitoring of Timed Properties.- Towards Efficient Runtime Veri ed Linearizable Algorithms.

- Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.