Automatic Requirement Extraction from Test Cases. - Christopher Ackermann; Rance Cleaveland; Samuel Huang 001; Arnab Ray; Charles P. Shelton; Elizabeth Latronico (RV, 2010)

Query Checking for Linear Temporal Logic. - Samuel Huang 001; Rance Cleaveland (FMICS-AVoCS, 2017)

Learning Temporal Properties from Data Streams. - Samuel Huang 001 (2020)

A tableau construction for finite linear-time temporal logic. - Samuel Huang 001; Rance Cleaveland (J. Log. Algebraic Methods Program., 2022)

Temporal-logic query checking over finite data streams. - Samuel Huang 001; Rance Cleaveland (Int. J. Softw. Tools Technol. Transf., 2022)