Follow
Eugen Zalinescu
Eugen Zalinescu
Nomadic Labs
Verified email at nomadic-labs.com - Homepage
Title
Cited by
Cited by
Year
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
2072015
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
201*2012
MONPOLY: Monitoring Usage-control Policies⋆
D Basin, M Harvan, F Klaedtke, E Zalinescu
2nd International Conference on Runtime Verification (RV), 2011
1112011
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
94*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
932019
Enforceable security policies revisited
D BASIN, V JUGÉ, F KLAEDTKE, E ZALINESCU
TISSEC 16 (1), 2013
882013
The MonPoly Monitoring Tool.
DA Basin, F Klaedtke, E Zalinescu
RV-CuBES 3, 19-28, 2017
782017
Algorithms for Monitoring Real-time Properties⋆
D Basin, F Klaedtke, E Zalinescu
RV (Runtime Verification), 2011
722011
Monitoring of Temporal First-order Properties with Aggregations
D Basin, F Klaedtke, S Marinovic, E Zalinescu
Runtime Verification 2013, 0
62*
Monitoring Data Usage in Distributed Systems
D Basin, M Harvan, F Klaedtke, E Zǎlinescu
Transactions on Software Engineering 39, 2013
61*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
572018
Relating two standard notions of secrecy
V Cortier, M Rusinovitch, E Zalinescu
Arxiv preprint arXiv:0706.0502, 2007
472007
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
462013
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
382015
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
342017
Tenderbake-Classical BFT Style Consensus for Public Blockchains
L Aştefănoaei, P Chambart, A Del Pozzo, EW Tate, S Tucci, E Zălinescu
33*2020
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
312013
Algorithms for monitoring real-time properties
D Basin, F Klaedtke, E Zălinescu
Acta informatica 55, 309-338, 2018
302018
A trace-based model for multiparty contracts
T Hvitved, F Klaedtke, E Zălinescu
Journal of Logic and Algebraic Programming, 2011
292011
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
252017
The system can't perform the operation now. Try again later.
Articles 1–20