Eugen Zălinescu

Available identifiers

zbMath Open zalinescu.eugenMaRDI QIDQ402359

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q2917407	2012-09-28	Paper
https://portal.mardi4nfdi.de/entity/Q2905212	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eugen Zălinescu