Eugen Zălinescu

Available identifiers

Publication	Date of Publication	Type
Runtime verification of temporal properties over out-of-order data streams	2022-07-01	Paper
Runtime Verification over Out-of-order Streams	2019-11-22	Paper
Algorithms for monitoring real-time properties	2018-06-26	Paper
Failure-aware Runtime Verification of Distributed Systems	2017-07-13	Paper
Monitoring metric first-order temporal properties	2016-03-24	Paper
Monitoring of temporal first-order properties with aggregations	2015-10-30	Paper
Deciding security properties for cryptographic protocols. application to key cycles	2015-09-17	Paper
Greedily computing associative aggregations on sliding windows	2014-12-09	Paper
Deciding safety and liveness in TPTL	2014-08-28	Paper
Shorter strings containing all \(k\)-element permutations	2013-03-28	Paper
Relating two standard notions of secrecy	2012-09-28	Paper
Analysis of Kasami-Welch functions in odd dimension using Stickelberger's theorem	2012-08-26	Paper
Enforceable Security Policies Revisited	2012-06-29	Paper
A trace-based model for multiparty contracts	2012-03-13	Paper
Relating Two Standard Notions of Secrecy	2009-03-12	Paper
Deciding Key Cycles for Security Protocols	2008-05-27	Paper
Relating two standard notions of secrecy	2007-11-15	Paper

This page was built for person: Eugen Zălinescu