Eugen Zalinescu

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