Linear Time Monitoring for One Variable TPTL. - Bassem Ghorbel; Vinayak S. Prabhu (HSCC, 2022)

Quantitative Robustness for Signal Temporal Logic With Time-Freeze Quantifiers. - Bassem Ghorbel; Vinayak S. Prabhu (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Fast and Scalable Monitoring for Value-Freeze Operator augmented Signal Temporal Logic. - Bassem Ghorbel; Vinayak S. Prabhu (HSCC, 2024)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*). - Bassem Ghorbel; Vinayak S. Prabhu (MEMOCODE, 2024)

Fast Robust Monitoring for Signal Temporal Logic with Value Freezing Operators (STL*). - Bassem Ghorbel; Vinayak S. Prabhu (CoRR, 2024)