Eugen Zalinescu

ORCID

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 14

Top Venues

CoRR

ACM Trans. Inf. Syst. Secur.

Inf. Process. Lett.

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Thibault Rieutord, Sara Tucci Piergiovanni, Eugen Zalinescu
Tenderbake - A Solution to Dynamic Repeated Consensus for Blockchains. FAB (2021)
Lacramioara Astefanoaei, Pierre Chambart, Antonella Del Pozzo, Edward Tate, Sara Tucci Piergiovanni, Eugen Zalinescu
Tenderbake - Classical BFT Style Consensus for Public Blockchains. CoRR (2020)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification over Out-of-order Streams. ACM Trans. Comput. Log. 21 (1) (2020)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification over Out-of-order Streams. CoRR (2019)
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
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
Enforcing Programming Guidelines with Region Types and Effects. CoRR (2018)
Christian Müller, Helmut Seidl, Eugen Zalinescu
Inductive Invariants for Noninterference in Multi-agent Workflows. CSF (2018)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Algorithms for monitoring real-time properties. Acta Informatica 55 (4) (2018)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification of Temporal Properties over Out-of-order Data Streams. CoRR (2017)
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
Enforcing Programming Guidelines with Region Types and Effects. APLAS (2017)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Runtime Verification of Temporal Properties over Out-of-Order Data Streams. CAV (1) (2017)
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu
Verifying Security Policies in Multi-agent Workflows with Loops. CoRR (2017)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
The MonPoly Monitoring Tool. RV-CuBES (2017)
Bernd Finkbeiner, Christian Müller, Helmut Seidl, Eugen Zalinescu
Verifying Security Policies in Multi-agent Workflows with Loops. CCS (2017)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Failure-aware Runtime Verification of Distributed Systems. FSTTCS (2015)
David A. Basin, Felix Klaedtke, Samuel Müller, Eugen Zalinescu
Monitoring Metric First-Order Temporal Properties. J. ACM 62 (2) (2015)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Greedily computing associative aggregations on sliding windows. Inf. Process. Lett. 115 (2) (2015)
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
Monitoring of temporal first-order properties with aggregations. Formal Methods Syst. Des. 46 (3) (2015)
David A. Basin, Carlos Cotrini Jiménez, Felix Klaedtke, Eugen Zalinescu
Deciding safety and liveness in TPTL. Inf. Process. Lett. 114 (12) (2014)
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
On Real-Time Monitoring with Imprecise Timestamps. RV (2014)
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
Monitoring of Temporal First-Order Properties with Aggregations. RV (2013)
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
Monitoring Data Usage in Distributed Systems. IEEE Trans. Software Eng. 39 (10) (2013)
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
Enforceable Security Policies Revisited. ACM Trans. Inf. Syst. Secur. 16 (1) (2013)
David A. Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zalinescu
Monitoring Compliance Policies over Incomplete and Disagreeing Logs. RV (2012)
Tom Hvitved, Felix Klaedtke, Eugen Zalinescu
A trace-based model for multiparty contracts. J. Log. Algebraic Methods Program. 81 (2) (2012)
Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Verified Cryptographic Implementations for TLS. ACM Trans. Inf. Syst. Secur. 15 (1) (2012)
David A. Basin, Vincent Jugé, Felix Klaedtke, Eugen Zalinescu
Enforceable Security Policies Revisited. POST (2012)
Eugen Zalinescu
Shorter strings containing all k-element permutations. Inf. Process. Lett. 111 (12) (2011)
David A. Basin, Felix Klaedtke, Eugen Zalinescu
Algorithms for Monitoring Real-Time Properties. RV (2011)
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
MONPOLY: Monitoring Usage-Control Policies. RV (2011)
David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu
Monitoring Usage-Control Policies in Distributed Systems. TIME (2011)
Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
Deciding security properties for cryptographic protocols. application to key cycles. ACM Trans. Comput. Log. 11 (2) (2010)
Karthikeyan Bhargavan, Cédric Fournet, Ricardo Corin, Eugen Zalinescu
Cryptographically verified implementations for TLS. CCS (2008)
Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
Deciding security properties for cryptographic protocols. Application to key cycles CoRR (2007)
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
Relating two standard notions of secrecy CoRR (2007)
Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu
Synthesizing Secure Protocols. ESORICS (2007)
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
Relating two standard notions of secrecy. Log. Methods Comput. Sci. 3 (3) (2007)
Véronique Cortier, Eugen Zalinescu
Deciding Key Cycles for Security Protocols. LPAR (2006)
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
Relating Two Standard Notions of Secrecy. CSL (2006)
Eugen Zalinescu, Véronique Cortier, Michaël Rusinowitch
Relating two standard notions of secrecy. Trustworthy Software (2006)
Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures. PPDP (2005)

Eugen Zalinescu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eugen Zalinescu