Thomas Ferrre
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
10
Active years
2013–2022
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | FASE | Information-flow Interfaces. | Ezio Bartocci, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2022 | VMCAI | Flavors of Sequential Information Flow. | Ezio Bartocci, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2020 | CSL | Monitoring Event Frequencies. | Thomas Ferrre, Thomas A. Henzinger, Bernhard Kragl |
| 2019 | RV | Shape Expressions for Specifying and Extracting Signal Features. | Dejan Nickovic, Xin Qin, Thomas Ferrre, Cristinel Mateis, Jyotirmoy V. Deshmukh |
| 2018 | EMSOFT | The first-order logic of signals: keynote. | Alexey Bakhirkin, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic |
| 2018 | FM | The Compound Interest in Relaxing Punctuality. | Thomas Ferrre |
| 2018 | LICS | A Theory of Register Monitors. | Thomas Ferrre, Thomas A. Henzinger, N. Ege Sara |
| 2018 | TACAS | AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. | Dejan Nickovic, Olivier Lebeltel, Oded Maler, Thomas Ferrre, Dogan Ulus |
| 2016 | TACAS | Online Timed Pattern Matching Using Derivatives. | Dogan Ulus, Thomas Ferrre, Eugene Asarin, Oded Maler |
| 2015 | ATVA | Trace Diagnostics Using Temporal Implicants. | Thomas Ferrre, Oded Maler, Dejan Nickovic |
| 2015 | CAV | Measuring with Timed Patterns. | Thomas Ferrre, Oded Maler, Dejan Nickovic, Dogan Ulus |
| 2013 | CAV | Efficient Robust Monitoring for STL. | Alexandre Donz, Thomas Ferrre, Oded Maler |