Παρακολούθηση
Eugen Zalinescu
Eugen Zalinescu
Nomadic Labs
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα nomadic-labs.com - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Monitoring metric first-order temporal properties
D Basin, F Klaedtke, S Müller, E Zălinescu
Journal of the ACM (JACM) 62 (2), 1-45, 2015
2262015
Verified cryptographic implementations for TLS
K Bhargavan, C Fournet, R Corin, E Zălinescu
ACM Transactions on Information and System Security (TISSEC) 15 (1), 3, 2012
207*2012
MONPOLY: Monitoring Usage-control Policies⋆
D Basin, M Harvan, F Klaedtke, E Zalinescu
2nd International Conference on Runtime Verification (RV), 2011
1192011
Deciding security properties for cryptographic protocols. Application to key cycles
H Comon-Lundh, V Cortier, E Zălinescu
ACM Transactions on Computational Logic (TOCL) 11 (2), 9, 2010
97*2010
First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014
E Bartocci, Y Falcone, B Bonakdarpour, C Colombo, N Decker, ...
International journal on software tools for technology transfer 21, 31-70, 2019
942019
Enforceable security policies revisited
D BASIN, V JUGÉ, F KLAEDTKE, E ZALINESCU
TISSEC 16 (1), 2013
922013
The MonPoly Monitoring Tool.
DA Basin, F Klaedtke, E Zalinescu
RV-CuBES 3, 19-28, 2017
902017
Algorithms for Monitoring Real-time Properties⋆
D Basin, F Klaedtke, E Zalinescu
RV (Runtime Verification), 2011
772011
Monitoring of Temporal First-order Properties with Aggregations
D Basin, F Klaedtke, S Marinovic, E Zalinescu
Runtime Verification 2013, 0
67*
Monitoring events that carry data
K Havelund, G Reger, D Thoma, E Zălinescu
Lectures on Runtime Verification: Introductory and Advanced Topics, 61-102, 2018
642018
Monitoring Data Usage in Distributed Systems
D Basin, M Harvan, F Klaedtke, E Zǎlinescu
Transactions on Software Engineering 39, 2013
64*2013
Monitoring compliance policies over incomplete and disagreeing logs
D Basin, F Klaedtke, S Marinovic, E Zălinescu
Runtime Verification: Third International Conference, RV 2012, Istanbul …, 2013
502013
Relating two standard notions of secrecy
V Cortier, M Rusinovitch, E Zalinescu
Arxiv preprint arXiv:0706.0502, 2007
482007
Failure-aware runtime verification of distributed systems
D Basin, F Klaedtke, E Zălinescu
35th IARCS Annual Conference on Foundations of Software Technology and …, 2015
432015
Tenderbake-Classical BFT Style Consensus for Public Blockchains
L Aştefănoaei, P Chambart, A Del Pozzo, EW Tate, S Tucci, E Zălinescu
41*2020
Verifying security policies in multi-agent workflows with loops
B Finkbeiner, C Müller, H Seidl, E Zălinescu
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
392017
Algorithms for monitoring real-time properties
D Basin, F Klaedtke, E Zălinescu
Acta informatica 55, 309-338, 2018
342018
Monitoring of temporal first-order properties with aggregations
D Basin, F Klaedtke, S Marinovic, E Zălinescu
Runtime Verification: 4th International Conference, RV 2013, Rennes, France …, 2013
312013
Runtime verification of temporal properties over out-of-order data streams
D Basin, F Klaedtke, E Zălinescu
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
302017
A trace-based model for multiparty contracts
T Hvitved, F Klaedtke, E Zălinescu
Journal of Logic and Algebraic Programming, 2011
302011
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20