| Monitoring metric first-order temporal properties D Basin, F Klaedtke, S Müller, E Zălinescu Journal of the ACM (JACM) 62 (2), 1-45, 2015 | 220 | 2015 |
| Verified cryptographic implementations for TLS K Bhargavan, C Fournet, R Corin, E Zălinescu ACM Transactions on Information and System Security (TISSEC) 15 (1), 3, 2012 | 205* | 2012 |
| MONPOLY: Monitoring Usage-control Policies⋆ D Basin, M Harvan, F Klaedtke, E Zalinescu 2nd International Conference on Runtime Verification (RV), 2011 | 114 | 2011 |
| Deciding security properties for cryptographic protocols. Application to key cycles H Comon-Lundh, V Cortier, E Zălinescu ACM Transactions on Computational Logic (TOCL) 11 (2), 9, 2010 | 95* | 2010 |
| First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014 E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ... International journal on software tools for technology transfer 21, 31-70, 2019 | 94 | 2019 |
| Enforceable security policies revisited D BASIN, V JUGÉ, F KLAEDTKE, E ZALINESCU TISSEC 16 (1), 2013 | 91 | 2013 |
| The MonPoly Monitoring Tool. DA Basin, F Klaedtke, E Zalinescu RV-CuBES 3, 19-28, 2017 | 85 | 2017 |
| Algorithms for Monitoring Real-time Properties⋆ D Basin, F Klaedtke, E Zalinescu RV (Runtime Verification), 2011 | 76 | 2011 |
| Monitoring of Temporal First-order Properties with Aggregations D Basin, F Klaedtke, S Marinovic, E Zalinescu Runtime Verification 2013, 0 | 66* | |
| Monitoring Data Usage in Distributed Systems D Basin, M Harvan, F Klaedtke, E Zǎlinescu Transactions on Software Engineering 39, 2013 | 63* | 2013 |
| Monitoring events that carry data K Havelund, G Reger, D Thoma, E Zălinescu Lectures on Runtime Verification: Introductory and Advanced Topics, 61-102, 2018 | 61 | 2018 |
| Monitoring compliance policies over incomplete and disagreeing logs D Basin, F Klaedtke, S Marinovic, E Zălinescu Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013 | 49 | 2013 |
| Relating two standard notions of secrecy V Cortier, M Rusinovitch, E Zalinescu Arxiv preprint arXiv:0706.0502, 2007 | 48 | 2007 |
| Failure-aware runtime verification of distributed systems D Basin, F Klaedtke, E Zălinescu 35th IARCS Annual Conference on Foundations of Software Technology and …, 2015 | 43 | 2015 |
| Verifying security policies in multi-agent workflows with loops B Finkbeiner, C Müller, H Seidl, E Zălinescu Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017 | 38 | 2017 |
| Tenderbake-Classical BFT Style Consensus for Public Blockchains L Aştefănoaei, P Chambart, A Del Pozzo, EW Tate, S Tucci, E Zălinescu | 37* | 2020 |
| Algorithms for monitoring real-time properties D Basin, F Klaedtke, E Zălinescu Acta informatica 55, 309-338, 2018 | 34 | 2018 |
| Monitoring of temporal first-order properties with aggregations D Basin, F Klaedtke, S Marinovic, E Zălinescu Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013 | 30 | 2013 |
| A trace-based model for multiparty contracts T Hvitved, F Klaedtke, E Zălinescu Journal of Logic and Algebraic Programming, 2011 | 29 | 2011 |
| Runtime verification of temporal properties over out-of-order data streams D Basin, F Klaedtke, E Zălinescu Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017 | 27 | 2017 |
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
