Felix Klaedtke

Monitoring Metric First-Order Temporal Properties

David Basin, Felix Klaedtke, Samuel Müller et al. · Journal of the ACM · 2015 · 166 citations

Engineering, Verification, Software Engineering +23

A Security Architecture for 5G Networks

Ghada Arfaoui, Pascal Bisson, Rolf Blom et al. · IEEE Access · 2018 · 88 citations · Full text

5G Network Slicing, Mobile Security, Engineering +16

Runtime Monitoring of Metric First-order Temporal Properties

David Basin, Felix Klaedtke, Samuel Müller et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 72 citations · Full text

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014

Ezio Bartocci, Ylìès Falcone, Borzoo Bonakdarpour et al. · International Journal on Software Tools for Technology Transfer · 2017 · 66 citations · Full text

Enforceable Security Policies Revisited

David Basin, Vincent Jugé, Felix Klaedtke et al. · ACM Transactions on Information and System Security · 2013 · 65 citations

Engineering, Information Security, Verification +18