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