• 2653 Citations
  • 25 h-Index
20032020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference article
2019

Arch-comp 2019 category report: Falsification

Ernst, G., Arcaini, P., Donze, A., Fainekos, G., Mathesen, L., Pedrielli, G., Yaghoubi, S., Yamagata, Y. & Zhang, Z., Jan 1 2019, In : EPiC Series in Computing. 61, p. 129-140 12 p.

Research output: Contribution to journalConference article

Open Access
4 Scopus citations
2016

MITL specification debugging for monitoring of cyber-physical systems

Dokhanchi, A., Hoxha, B. & Fainekos, G., Dec 13 2016, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 232, p. 10-13 4 p.

Research output: Contribution to journalConference article

Open Access