Challenging Formal Specifications by Mutation: a CSP security example. - Thitima Srivatanakul; John A. Clark; Susan Stepney; Fiona Polack (APSEC, 2003)

Effective Security Requirements Analysis: HAZOP and Use Cases. - Thitima Srivatanakul; John A. Clark; Fiona Polack (ISC, 2004)

Deviational Analyses for Validating Regulations on Real Systems. - Fiona Polack; Thitima Srivatanakul; Tim Kelly; John A. Clark (ReMo2V, 2006)

Uses of Online Survey: A Case Study in Thailand. - Thitima Srivatanakul; Nuwee Wiwatwattana (ICADL, 2014)

Emerging from the pandemic: instructor reflections and students' perceptions on an introductory programming course in blended learning. - Thitima Srivatanakul (Educ. Inf. Technol., 2023)

Efficient and Privacy-Preserving Integrity Verification for Federated Learning with TEEs. - Jiarui Li; Nan Chen; Shucheng Yu; Thitima Srivatanakul (MILCOM, 2024)