Eugen Zălinescu

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

Cryptographically verified implementations for TLS

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin et al. · 2008 · 107 citations

Cryptographic Primitive, Engineering, Information Security +21

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

Monitoring of temporal first-order properties with aggregations

David Basin, Felix Klaedtke, Srdjan Marinovic et al. · Formal Methods in System Design · 2015 · 64 citations · Full text

Temporal First-order Properties, Engineering, Aggregate Function +5