Surasak Phetmanee

Orcid: 0000-0002-8913-1124

According to our database¹, Surasak Phetmanee authored at least 4 papers between 2024 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Constraint Migration: A Formal Theory of Throughput in AI Cybersecurity Pipelines.

[DOI]

CoRR, March, 2026

Maintaining Test Cases Under Requirement Evolution in Automotive Systems.

[DOI]

Proceedings of the 2026 18th International Conference on Knowledge and Smart Technology (KST), 2026

2025

Rational Verification in Repeated Security Games.

[DOI]

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

2024

StEVe: A Rational Verification Tool for Stackelberg Security Games.

[DOI]

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024