Samuel Huang

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 6

Top Topics

Mazurkiewicz Traces

Bounded Model Checking

Query Execution

Top Venues

J. Log. Algebraic Methods Program.

Int. J. Softw. Tools Technol. Transf.

Publications

Samuel Huang, Rance Cleaveland
A tableau construction for finite linear-time temporal logic. J. Log. Algebraic Methods Program. 125 (2022)
Samuel Huang, Rance Cleaveland
Temporal-logic query checking over finite data streams. Int. J. Softw. Tools Technol. Transf. 24 (3) (2022)
Samuel Huang, Rance Cleaveland
Temporal-Logic Query Checking over Finite Data Streams. FMICS (2020)
Samuel Huang, Rance Cleaveland
Temporal-Logic Query Checking over Finite Data Streams. CoRR (2020)
Samuel Huang, Rance Cleaveland
A Tableau Construction for Finite Linear-Time Temporal Logic. CoRR (2019)
Samuel Huang, Rance Cleaveland
Query Checking for Linear Temporal Logic. FMICS-AVoCS (2017)
Christopher Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles P. Shelton, Elizabeth Latronico
Automatic Requirement Extraction from Test Cases. RV (2010)