Thitivatr Patanasakpinyo

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 3

Top Topics

Operating System

Error Reduction

Computation Tree Logic

Top Venues

Publications

Thitivatr Patanasakpinyo, Les Miller
UI Error Reduction for High Spatial Visualization Users when Using Adaptive Software to Verify Addresses. CATA (2020)
Thitivatr Patanasakpinyo, Georgi I. Batinov, Kofi C. Whitney, Adel Sulaiman, Les Miller
Enhanced Prediction Models for Predicting Spatial Visualization (VZ) in Address Verification Task. CATA (2019)
Thitivatr Patanasakpinyo
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification. CATA (2019)