Phillip J. Brooke

2008
24	EE	Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke: FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS Workshops 2008: 229-242
23	EE	Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43
22	EE	Shukor A. Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke: Friend-assisted intrusion detection and response mechanisms for mobile ad hoc networks. Ad Hoc Networks 6(7): 1151-1167 (2008)
2007
21	EE	Shukor A. Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke: Building a Trusted Community for Mobile Ad Hoc Networks Using Friend Recommendation. ADHOC-NOW 2007: 129-141
20		Phillip J. Brooke, Richard F. Paige: Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49
19	EE	Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers: A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS 2007: 97-106
18	EE	Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
17	EE	Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
16	EE	Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob: A CSP model of Eiffel's SCOOP. Formal Asp. Comput. 19(4): 487-512 (2007)
2006
15		John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings Springer 2006
14	EE	Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
13	EE	Shukor A. Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke: A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks - A Friend Approach. ISI 2006: 590-595
12	EE	Emine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke: Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163
11	EE	Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke: Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199
10	EE	Richard F. Paige, Triston S. Attridge, Phillip J. Brooke: Game Development Using Design-by-Contract. Journal of Object Technology 5(7): (2006)
2005
9		Shukor A. Razak, Steven Furnell, Phillip J. Brooke: A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks. ECIW 2005: 271-280
8	EE	Richard F. Paige, Phillip J. Brooke: Agile Formal Method Engineering. IFM 2005: 109-128
7	EE	Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke: E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. Journal of Object Technology 4(7): 97-114 (2005)
2004
6	EE	Richard F. Paige, Phillip J. Brooke: Integrating BON and Object-Z. Journal of Object Technology 3(3): 121-141 (2004)
2003
5	EE	Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke: Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP 2003: 351-353
4	EE	Phillip J. Brooke, Richard F. Paige: Fault trees for security system design and analysis. Computers & Security 22(3): 256-264 (2003)
3	EE	Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Theorem Proving Support for View Consistency Checking. L'OBJET 9(4): 115-134 (2003)
2002
2	EE	Phillip J. Brooke, Richard F. Paige: The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM 2002: 299-318
2000
1		Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Principles for modeling language design. Information & Software Technology 42(10): 665-675 (2000)

Coauthor Index

1	Priyanka Agarwal	[5]
2	Triston S. Attridge	[10]
3	Emine G. Aydal	[12]
4	Ramon Charalambous	[23]
5	Howard Chivers	[12] [14] [19]
6	John A. Clark (John Andrew Clark)	[15]
7	Nathan L. Clarke	[13] [21] [22]
8	Steven Furnell	[9] [13] [21] [22]
9	Xiaocheng Ge	[14] [18] [23] [24]
10	Jeremy L. Jacob (Jeremy Jacob)	[16]
11	Dimitrios S. Kolovos	[24]
12	Peter Laurens	[19]
13	David Makalsky	[7]
14	Jonathan S. Ostroff	[1] [3] [7] [17]
15	Richard F. Paige	[1] [2] [3] [4] [5] [6] [7] [8] [10] [11] [12] [14] [15] [16] [17] [18] [19] [20] [23] [24]
16	Fiona Polack	[14] [15] [18]
17	Shukor A. Razak	[9] [13] [21] [22]
18	Louis M. Rose	[24]
19	Zoë R. Stephenson	[11]
20	Xiaochen Wang	[11]

Colors in the list of coauthors