@article{Bartocci-STTT2017,
author = {Bartocci, Ezio
and Falcone, Yli{\`e}s
and Bonakdarpour, Borzoo
and Colombo, Christian
and Decker, Normann
and Havelund, Klaus
and Joshi, Yogi
and Klaedtke, Felix
and Milewicz, Reed
and Reger, Giles
and Rosu, Grigore
and Signoles, Julien
and Thoma, Daniel
and Z\u{a}linescu, Eugen
and Zhang, Yi},
title = {First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of {CRV} 2014},
journal = {International Journal on Software Tools for Technology Transfer},
year = {2017},
pages = {1--40},
doi = {10.1007/s10009-017-0454-5},
url = {http://dx.doi.org/10.1007/s10009-017-0454-5}
}
@article{BasinKZ-AI2017,
author = {Basin, David and Klaedtke, Felix and Z{\u{a}}linescu, Eugen},
title = {Algorithms for monitoring real-time properties},
journal = {Acta Informatica},
year = {2017},
pages = {1--30},
doi = {10.1007/s00236-017-0295-4},
url = {http://dx.doi.org/10.1007/s00236-017-0295-4}
}
@article{BasinKMZ-JACM15,
title = {Monitoring Metric First-order Temporal Properties},
author = {Basin, David and Klaedtke, Felix and M\"{u}ller, Samuel and Z\u{a}linescu, Eugen},
journal = {Journal of the ACM},
year = 2015,
volume = {62},
number = {2},
month = apr,
pages = {15:1--15:45},
articleno = {15},
numpages = {45},
publisher = {ACM},
doi = {10.1145/2699444},
url = {http://doi.acm.org/10.1145/2699444},
pdf = {../papers/bkmz__monitoring_first_order_properties__jacm15.pdf}
}
@article{BasinKMZ-FMSD15,
author = {David Basin and Felix Klaedtke and Srdjan Marinovic and Eugen Z\u{a}linescu},
title = {Monitoring of Temporal First-order Properties with Aggregations},
journal = {Formal Methods in System Design},
year = {2015},
volume = {46},
number = {3},
pages = {262--285},
publisher = {Springer},
doi = {10.1007/s10703-015-0222-7},
pdf = {../papers/bkmz__aggregations__fmsd15.pdf},
url = {http://dx.doi.org/10.1007/s10703-015-0222-7}
}
@article{BasinKZ-IPL15,
author = {Basin, David and Klaedtke, Felix and Z\u{a}linescu, Eugen},
title = {Greedily computing associative aggregations on sliding windows},
journal = {Information Processing Letters},
year = {2015},
volume = {115},
number = {2},
pages = {186--192},
doi = {10.1016/j.ipl.2014.09.009},
url = {http://www.sciencedirect.com/science/article/pii/S0020019014001859},
pdf = {../papers/bkz__sliding_window_alg__ipl14.pdf}
}
@article{BasinCKZ-IPL14,
author = {Basin, David and Cotrini Jimenez, Carlos and
Klaedtke, Felix and Z\u{a}linescu, Eugen},
title = {Deciding safety and liveness in {TPTL}},
journal = {Information Processing Letters},
year = {2014},
volume = {114},
number = {12},
pages = {680--688},
doi = {10.1016/j.ipl.2014.06.005},
url = {http://www.sciencedirect.com/science/article/pii/S0020019014001136},
pdf = {../papers/bjkz__tptl_safety__ipl14.pdf}
}
@article{BasinHKZ-TSE13,
author = {David Basin and Mat\'u\v{s} Harvan and Felix Klaedtke and Eugen Z\u{a}linescu},
title = {Monitoring Data Usage in Distributed Systems},
journal = {IEEE Transactions on Software Engineering},
year = {2013},
volume = {39},
number = {10},
pages = {1403--1426},
publisher = {IEEE},
doi = {10.1109/TSE.2013.18},
url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6493331},
pdf = {../papers/bhkz__data_usage__tse13.pdf}
}
@article{BasinJKZ-TISSEC13,
author = {David Basin and Vincent Jug\'e and Felix Klaedtke and Eugen Z\u{a}linescu},
title = {Enforceable Security Policies Revisited},
journal = {ACM Transactions on Information and System Security (TISSEC)},
year = {2013},
volume = {16},
number = {1},
month = jun,
pages = {3:1--3:26},
articleno = {3},
publisher = {ACM Press},
doi = {10.1145/2487222.2487225},
url = {http://dl.acm.org/citation.cfm?id=2487225},
pdf = {../papers/bjkz__enforceable_policies__tissec13.pdf}
}
@article{HvitvedKZ-JLAP12,
author = {Hvitved, Tom and Klaedtke, Felix and Z\u{a}linescu, Eugen},
title = {A Trace-based Model for Multi-Party Contracts},
journal = {Journal of Logic and Algebraic Programming},
year = {2012},
volume = {81},
number = {2},
pages = {72--98},
doi = {10.1016/j.jlap.2011.04.010},
url = {http://dx.doi.org/10.1016/j.jlap.2011.04.010},
pdf = {../papers/hkz_jlap11_contracts.pdf}
}
@article{Zal-IPL11,
author = {Z\u{a}linescu, Eugen},
title = {Shorter strings containing all $k$-element permutations},
journal = {Information Processing Letters},
year = {2011},
volume = {111},
number = {12},
pages = {605--608},
doi = {10.1016/j.ipl.2011.03.018},
url = {http://dx.doi.org/10.1016/j.ipl.2011.03.018},
pdf = {../papers/zal_ipl11_perms.pdf}
}
@article{BhargavanCCZ-TISSEC12,
author = {Karthikeyan Bhargavan and Ricardo Corin and C\'{e}dric Fournet and Eugen Z\u{a}linescu},
title = {Cryptographically Verified Implementations for {TLS}},
journal = {ACM Transactions on Information and System Security},
year = {2012},
volume = {15},
number = {1},
pages = {3:1--3:32},
article_no = {3},
doi = {10.1145/2133375.2133378},
url = {http://doi.acm.org/10.1145/2133375.2133378},
pdf = {../papers/cryptographically-verified-implementations-for-tls-tissec.pdf},
files = {../soft/tls_tissec.tgz}
}
@article{LLMZ-JCNT10,
author = {Langevin, Philippe and Leander, Gregor and McGuire,
Gary and Z\u{a}linescu, Eugen},
title = {{Analysis of Kasami-Welch Functions in Odd Dimension
using Stickelberger's Theorem}},
journal = {Journal of Combinatorics and Number Theory},
volume = {2},
number = {1},
pages = {55--72},
year = {2010},
pdf = {../papers/llmz_article.pdf},
oldurl = {http://www.novapublishers.com/catalog/product_info.php?products_id=15506},
url = {https://www.novapublishers.com/catalog/product_info.php?products_id=30824}
}
@article{ComonCZ-TOCL10,
author = {Hubert Comon-Lundh and V\'{e}ronique Cortier and Eugen Z\u{a}linescu},
title = {{Deciding security properties for cryptographic protocols. Application to key cycles}},
journal = {ACM Transactions on Computational Logic},
volume = {11},
number = {2},
year = {2010},
doi = {10.1145/1656242.1656244},
url = {http://portal.acm.org/citation.cfm?id=1656244},
pdf = {http://tocl.acm.org/accepted/356zalinescu.pdf}
}
@article{CortierRZ-LMCS06,
author = {V\'{e}ronique Cortier and Micha\"{e}l Rusinowitch and Eugen Z\u{a}linescu},
title = {Relating two standard notions of secrecy},
journal = {Logical Methods in Computer Science},
volume = {3},
number = {2},
year = {2007},
doi = {10.2168/LMCS-3(3:2)2007},
url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=273},
pdf = {../papers/crz_lmcs07_secrecy.pdf}
}
This file was generated by bibtex2html 1.98.