Travelled to:1 × Russia
1 × USA
Collaborated with:O.Maler A.Donzé T.A.Henzinger B.Kragl D.Nickovic D.Ulus
Talks about:monitor (2) frequenc (1) pattern (1) robust (1) measur (1) effici (1) event (1) time (1) stl (1)
Person: Thomas Ferrère
DBLP: Ferr=egrave=re:Thomas
Contributed to:
20152013
2020Wrote 3 papers:
- CAV-2015-FerrereMNU
- Measuring with Timed Patterns (TF, OM, DN, DU), pp. 322–337.
- CAV-2013-DonzeFM #monitoring #performance #robust
- Efficient Robust Monitoring for STL (AD, TF, OM), pp. 264–279.
- CSL-2020-FerrereHK #monitoring
- Monitoring Event Frequencies (TF, TAH, BK), p. 16.