Phillip J. Brooke

	2011
32		Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: High-integrity agile processes for the development of safety critical software. IJCCBS 2(2): 181-216 (2011)
	2010
31		Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti: Programming Phase: Formal Methods. Encyclopedia of Software Engineering 2010: 772-785
30		Phillip J. Brooke, Richard F. Paige, Christopher Power: Document-centric XML workflows with fragment digital signatures. Softw., Pract. Exper. 40(8): 655-672 (2010)
	2009
29		Richard F. Paige, Phillip J. Brooke: Editorial. Formal Asp. Comput. 21(4): 303 (2009)
28		Phillip J. Brooke, Richard F. Paige: Cameo: an alternative model of concurrency for Eiffel. Formal Asp. Comput. 21(4): 363-391 (2009)
	2008
27		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
26		Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43
25		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
24		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
23		Phillip J. Brooke, Richard F. Paige: Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49
22		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
21		Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
20		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)
19		Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob: A CSP model of Eiffel's SCOOP. Formal Asp. Comput. 19(4): 487-512 (2007)
18		C. J. Tucker, Steven Furnell, Bogdan V. Ghita, Phillip J. Brooke: A new taxonomy for comparing intrusion detection systems. Internet Research 17(1): 88-98 (2007)
17		Phillip J. Brooke, Richard F. Paige: Exceptions in Concurrent Eiffel. Journal of Object Technology 6(10): 111-126 (2007)
	2006
16		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
15		Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
14		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
13		Emine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke: Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163
12		Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke: Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199
11		George Magklaras, Steven Furnell, Phillip J. Brooke: Towards an insider threat prediction specification language. Inf. Manag. Comput. Security 14(4): 361-381 (2006)
10		Richard F. Paige, Triston S. Attridge, Phillip J. Brooke: Game Development Using Design-by-Contract. Journal of Object Technology 5(7): 57-73 (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		Richard F. Paige, Phillip J. Brooke: Agile Formal Method Engineering. IFM 2005: 109-128
7		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		Richard F. Paige, Phillip J. Brooke: Integrating BON and Object-Z. Journal of Object Technology 3(3): 121-141 (2004)
	2003
5		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		Phillip J. Brooke, Richard F. Paige: Fault trees for security system design and analysis. Computers & Security 22(3): 256-264 (2003)
3		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		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	[13]
4	Ana Cavalcanti	[31]
5	Ramon Charalambous	[26] [32]
6	Howard Chivers	[13] [15] [22]
7	John A. Clark (John Andrew Clark)	[16]
8	Nathan L. Clarke	[14] [24] [25]
9	Steven Furnell (Steven M. Furnell)	[9] [11] [14] [18] [24] [25]
10	Andy Galloway	[32]
11	Xiaocheng Ge	[15] [21] [26] [27] [32]
12	Bogdan V. Ghita	[18]
13	Jeremy L. Jacob (Jeremy Jacob)	[19]
14	Dimitrios S. Kolovos	[27]
15	Peter Laurens	[22]
16	George Magklaras	[11]
17	David Makalsky	[7]
18	Jonathan S. Ostroff	[1] [3] [7] [20]
19	Richard F. Paige	[1] [2] [3] [4] [5] [6] [7] [8] [10] [12] [13] [15] [16] [17] [19] [20] [21] [22] [23] [26] [27] [28] [29] [30] [31] [32]
20	Fiona A. C. Polack (Fiona Polack)	[15] [16] [21]
21	Christopher Power	[30]
22	Shukor A. Razak	[9] [14] [24] [25]
23	Louis M. Rose	[27]
24	Zoë R. Stephenson	[12]
25	C. J. Tucker	[18]
26	Xiaochen Wang	[12]
27	Jim Woodcock (J. C. P. Woodcock)	[31]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page