Martin Zimmermann

A look into real-time monitoring methods for system performance and safety.

2025-08-15T20:16:24+00:00 ― 6 min read

Discover how HyperLTL model-checking enhances the security of software systems.

2025-08-15T20:08:30+00:00 ― 6 min read

Explore how Runtime Verification aids in checking system performance through event traces.

2025-07-20T07:47:48+00:00 ― 5 min read

A look into monitoring techniques for reliable real-time system performance.

2025-06-14T20:02:42+00:00 ― 5 min read

Team semantics enhances verification of complex properties in software systems.

2025-06-04T04:28:48+00:00 ― 8 min read