Thitima Srivatanakul

	2006
3		Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark: Deviational Analyses for Validating Regulations on Real Systems. ReMo2V 2006
	2004
2		Thitima Srivatanakul, John A. Clark, Fiona Polack: Effective Security Requirements Analysis: HAZOP and Use Cases. ISC 2004: 416-427
	2003
1		Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack: Challenging Formal Specifications by Mutation: a CSP security example. APSEC 2003: 340-

Coauthor Index

1	John A. Clark (John Andrew Clark)	[1] [2] [3]
2	Tim Kelly (Tim P. Kelly)	[3]
3	Fiona Polack	[1] [2] [3]
4	Susan Stepney	[1]