Eugen Zălinescu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Runtime verification of temporal properties over out-of-order data streams (available as arXiv preprint)	2022-07-01	Paper
Runtime Verification over Out-of-order Streams ACM Transactions on Computational Logic	2019-11-22	Paper
Algorithms for monitoring real-time properties Acta Informatica	2018-06-26	Paper
Failure-aware runtime verification of distributed systems	2017-07-13	Paper
Monitoring metric first-order temporal properties Journal of the ACM	2016-03-24	Paper
Monitoring of temporal first-order properties with aggregations Formal Methods in System Design	2015-10-30	Paper
Deciding security properties for cryptographic protocols. application to key cycles ACM Transactions on Computational Logic	2015-09-17	Paper
Greedily computing associative aggregations on sliding windows Information Processing Letters	2014-12-09	Paper
Deciding safety and liveness in TPTL Information Processing Letters	2014-08-28	Paper
Shorter strings containing all \(k\)-element permutations Information Processing Letters	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 Journal of Combinatorics and Number Theory	2012-08-26	Paper
Enforceable Security Policies Revisited Lecture Notes in Computer Science	2012-06-29	Paper
A trace-based model for multiparty contracts The Journal of Logic and Algebraic Programming	2012-03-13	Paper
Relating Two Standard Notions of Secrecy Computer Science Logic	2009-03-12	Paper
Deciding Key Cycles for Security Protocols Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Relating two standard notions of secrecy Logical Methods in Computer Science	2007-11-15	Paper

Research outcomes over time

This page was built for person: Eugen Zălinescu