Author

Eugen Zălinescu

Observed names: E. Zalinescu, Eugen Zalinescu, Eugen Zălinescu Modern Problems, Eugen Zǎlinescu, Zalinescu, Eugen, Zălinescu, Eugen

Observed institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, ETH Zurich, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Institute of Information Security, Université Henri Poincaré, Technical University of Munich

ORCID: 0000-0002-2312-5661

Observed ORCID: 0000-0002-2312-5661

OpenAlex ID: A5083266867

Monitoring Metric First-Order Temporal Properties

2015 · David Basin, Felix Klaedtke, et al. · Journal of the ACM · 179

Cryptographically verified implementations for TLS

2008 · Karthikeyan Bhargavan, Cédric Fournet, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 110

MONPOLY: Monitoring Usage-Control Policies

2012 · David Basin, Matúš Harvan, et al. · Lecture notes in computer science · 92

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

2017 · Ezio Bartocci, Yliès Falcone, et al. · International Journal on Software Tools for Technology Transfer · 75

PDF

Enforceable Security Policies Revisited

2013 · David Basin, Vincent Jugé, et al. · ACM Transactions on Information and System Security · 74

Monitoring of temporal first-order properties with aggregations

2015 · David Basin, Felix Klaedtke, et al. · Formal Methods in System Design · 64

The MonPoly Monitoring Tool

2018 · David Basin, Felix Klaedtke, et al. · Kalpa publications in computing · 62

PDF

Deciding security properties for cryptographic protocols. application to key cycles

2010 · Hubert Comon-Lundh, Véronique Cortier, et al. · ACM Transactions on Computational Logic · 61

PDF

Algorithms for Monitoring Real-Time Properties

2012 · David Basin, Felix Klaedtke, et al. · Lecture notes in computer science · 58

Monitoring Events that Carry Data

2018 · Klaus Havelund, Giles Reger, et al. · Lecture notes in computer science · 54

Verified Cryptographic Implementations for TLS

2012 · Karthikeyan Bhargavan, Cédric Fournet, et al. · ACM Transactions on Information and System Security · 53

Relating two standard notions of secrecy

2007 · Veronique Cortier, Michael Rusinovitch, et al. · Logical Methods in Computer Science · 40

PDF

Monitoring Compliance Policies over Incomplete and Disagreeing Logs

2013 · David Basin, Felix Klaedtke, et al. · Lecture notes in computer science · 35

Monitoring Data Usage in Distributed Systems

2013 · David Basin, Matus Harvan, et al. · IEEE Transactions on Software Engineering · 30

Verifying Security Policies in Multi-agent Workflows with Loops

2017 · Bernd Finkbeiner, Christian Müller, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 29

PDF

Algorithms for monitoring real-time properties

2017 · David Basin, Felix Klaedtke, et al. · Acta Informatica · 28

Failure-aware Runtime Verification of Distributed Systems

2015 · Basin, David, Klaedtke, Felix, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 23

PDF

A trace-based model for multiparty contracts

2011 · Tom Hvitved, Felix Klaedtke, et al. · The Journal of Logic and Algebraic Programming · 23

PDF

Runtime Verification of Temporal Properties over Out-of-Order Data Streams

2017 · David Basin, Felix Klaedtke, et al. · Lecture notes in computer science · 22

PDF

Monitoring of Temporal First-Order Properties with Aggregations

2013 · David Basin, Felix Klaedtke, et al. · Lecture notes in computer science · 22

Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains

2020 · Aştefănoaei, Lăcrămioara, Chambart, Pierre, et al. · arXiv (Cornell University) · 18

PDF

Monitoring Usage-Control Policies in Distributed Systems

2011 · David Basin, Matus Harvan, et al. · International Symposium on Temporal Representation and Reasoning · 17

Synthesizing Secure Protocols

2007 · Véronique Cortier, Bogdan Warinschi, et al. · Lecture notes in computer science · 17

Deciding Key Cycles for Security Protocols

2006 · Véronique Cortier, Eugen Zălinescu · Lecture notes in computer science · 17

Runtime Verification over Out-of-order Streams

2019 · David Basin, Felix Klaedtke, et al. · ACM Transactions on Computational Logic · 16

PDF

Works count: 47

Citation count: 1,318

H-index: 20

I10-index: 30