Surasak Phetmanee

Orcid: 0000-0002-8913-1124

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Constraint Migration: A Formal Theory of Throughput in AI Cybersecurity Pipelines.
CoRR, March, 2026

Maintaining Test Cases Under Requirement Evolution in Automotive Systems.
Proceedings of the 2026 18th International Conference on Knowledge and Smart Technology (KST), 2026

2025
Rational Verification in Repeated Security Games.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

2024
StEVe: A Rational Verification Tool for Stackelberg Security Games.
Proceedings of the Integrated Formal Methods - 19th International Conference, 2024


  Loading...