Phillip J. Brooke Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShukor 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
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShukor 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
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige: Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige, Jeremy L. Jacob: A CSP model of Eiffel's SCOOP. Formal Asp. Comput. 19(4): 487-512 (2007)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. 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)
2006
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShukor 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
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke: Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke: Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. Magklaras, Steven Furnell, Phillip J. Brooke: Towards an insider threat prediction specification language. Inf. Manag. Comput. Security 14(4): 361-381 (2006)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Triston S. Attridge, Phillip J. Brooke: Game Development Using Design-by-Contract. Journal of Object Technology 5(7): (2006)
2005
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShukor A. Razak, Steven Furnell, Phillip J. Brooke: A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks. ECIW 2005: 271-280
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Phillip J. Brooke: Agile Formal Method Engineering. IFM 2005: 109-128
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan 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
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Phillip J. Brooke: Integrating BON and Object-Z. Journal of Object Technology 3(3): 121-141 (2004)
2003
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Priyanka Agarwal, Phillip J. Brooke: Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP 2003: 351-353
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige: Fault trees for security system design and analysis. Computers & Security 22(3): 256-264 (2003)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Theorem Proving Support for View Consistency Checking. L'OBJET 9(4): 115-134 (2003)
2002
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPhillip J. Brooke, Richard F. Paige: The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM 2002: 299-318
2000
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Principles for modeling language design. Information & Software Technology 42(10): 665-675 (2000)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Wed Nov 25 14:46:41 2009 by Michael Ley (ley@uni-trier.de)