Eugen ZĂLINESCU
(
IPA
: /e.u.d͡ʒen/ /zɘ.li.nes.ku/)
ex-research assistent in
Helmut Seidl's group
at
TUM, Munich
now working at
Nomadic Labs
E-mail:
eugen.zalinescu@gmail.com
Publications
(in
DBLP
,
Google Scholar
)
MonPoly
a monitoring tool that checks compliance of log files or event streams with respect to policies specified by formulas in metric first-order temporal logic
last modified: January 26th, 2016