Giuseppe Bombara

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 5

Top Topics

Concurrent Systems

Formal Specification Language

Top Venues

ACM Trans. Cyber Phys. Syst.

Publications

Giuseppe Bombara, Calin Belta
Offline and Online Learning of Signal Temporal Logic Formulae Using Decision Trees. ACM Trans. Cyber Phys. Syst. 5 (3) (2021)
Giuseppe Bombara, Calin Belta
Online Learning of Temporal Logic Formulae for Signal Classification. ECC (2018)
Prashant Vaidyanathan, Rachael Ivison, Giuseppe Bombara, Nicholas A. DeLateur, Ron Weiss, Douglas Densmore, Calin Belta
Grid-based temporal logic inference. CDC (2017)
Giuseppe Bombara, Calin Belta
Signal Clustering Using Temporal Logics. RV (2017)
Giuseppe Bombara, Cristian Ioan Vasile, Francisco Penedo, Hirotoshi Yasuoka, Calin Belta
A Decision Tree Approach to Data Classification using Signal Temporal Logic. HSCC (2016)