Eugen Zalinescu

According to our database, Eugen Zalinescu authored at least 32 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains.

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu

Proceedings of the 4th International Symposium on Foundations and Applications of Blockchain 2021, 2021

2020

Runtime Verification over Out-of-order Streams.

David A. Basin, Felix Klaedtke, Eugen Zalinescu

ACM Trans. Comput. Log., 2020

Tenderbake - Classical BFT Style Consensus for Public Blockchains.

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu

CoRR, 2020

2019

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

Ezio Bartocci, Yliès Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Klaus Havelund, Yogi Joshi, Felix Klaedtke, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang

Int. J. Softw. Tools Technol. Transf., 2019

2018

Monitoring Events that Carry Data.

Klaus Havelund, Giles Reger, Daniel Thoma, Eugen Zalinescu

Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Algorithms for monitoring real-time properties.

David A. Basin, Felix Klaedtke, Eugen Zalinescu

Acta Informatica, 2018

Inductive Invariants for Noninterference in Multi-agent Workflows.

Christian Müller, Helmut Seidl, Eugen Zalinescu

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

The MonPoly Monitoring Tool.

David A. Basin, Felix Klaedtke, Eugen Zalinescu

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Verifying Security Policies in Multi-agent Workflows with Loops.

Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

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

David A. Basin, Felix Klaedtke, Eugen Zalinescu

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Enforcing Programming Guidelines with Region Types and Effects.

Serdar Erbatur, Martin Hofmann, Eugen Zalinescu

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2015

Monitoring Metric First-Order Temporal Properties.

David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu

J. ACM, 2015

Greedily computing associative aggregations on sliding windows.

David A. Basin, Felix Klaedtke, Eugen Zalinescu

Inf. Process. Lett., 2015

Monitoring of temporal first-order properties with aggregations.

David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu

Formal Methods Syst. Des., 2015

Failure-aware Runtime Verification of Distributed Systems.

David A. Basin, Felix Klaedtke, Eugen Zalinescu

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

2014

Deciding safety and liveness in TPTL.

David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu

Inf. Process. Lett., 2014

On Real-Time Monitoring with Imprecise Timestamps.

David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu

Proceedings of the Runtime Verification - 5th International Conference, 2014

2013

Monitoring Data Usage in Distributed Systems.

David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu

IEEE Trans. Software Eng., 2013

Enforceable Security Policies Revisited.

David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu

ACM Trans. Inf. Syst. Secur., 2013

2012

Verified Cryptographic Implementations for TLS.

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu

ACM Trans. Inf. Syst. Secur., 2012

A trace-based model for multiparty contracts.

Tom Hvitved, Felix Klaedtke, Eugen Zalinescu

J. Log. Algebraic Methods Program., 2012

Monitoring Compliance Policies over Incomplete and Disagreeing Logs.

David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu

Proceedings of the Runtime Verification, Third International Conference, 2012

2011

Shorter strings containing all k-element permutations.

Eugen Zalinescu

Inf. Process. Lett., 2011

Monitoring Usage-Control Policies in Distributed Systems.

David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

MONPOLY: Monitoring Usage-Control Policies.

David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu

Proceedings of the Runtime Verification - Second International Conference, 2011

2010

Deciding security properties for cryptographic protocols. application to key cycles.

Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu

ACM Trans. Comput. Log., 2010

2008

Cryptographically verified implementations for TLS.

Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu

Proceedings of the 2008 ACM Conference on Computer and Communications Security, 2008

2007

Sécurité des protocoles cryptographiques : décidabilité et résultats de transfert. (Security of cryptographic protocols: decidability and transfer resultats).

Eugen Zalinescu

PhD thesis, 2007

Relating two standard notions of secrecy.

Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu

Log. Methods Comput. Sci., 2007

Synthesizing Secure Protocols.

Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu

Proceedings of the Computer Security, 2007

2006

Deciding Key Cycles for Security Protocols.

Véronique Cortier, Eugen Zalinescu

Proceedings of the Logic for Programming, 2006

2005

A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures.

Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu

Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005