Phillip J. Brooke - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2017

Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication ModulesJoão F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke. IFM 2017: 407-421 [doi]

2015

Denotational semantics and its algebraic derivation for an event-driven system-level languageHuibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke. fac, 27(1):133-166, 2015. [doi]

2013

Linking the Semantics of BPEL Using MaudePeng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu. apsec 2013: 422-431 [doi]

Linking Algebraic Semantics and Operational Semantics for Web Services Using MaudePeng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu. ICECCS 2013: 260-263 [doi]

2012

2011

High-integrity agile processes for the development of safety critical softwareRichard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke. ijccbs, 2(2):181-216, 2011. [doi]

2010

Document-centric XML workflows with fragment digital signaturesPhillip J. Brooke, Richard F. Paige, Christopher Power. SPE, 40(8):655-672, 2010. [doi]

2009

Cameo: an alternative model of concurrency for EiffelPhillip J. Brooke, Richard F. Paige. fac, 21(4):363-391, 2009. [doi]

EditorialRichard F. Paige, Phillip J. Brooke. fac, 21(4):303, 2009. [doi]

2008

2007

Practical Distributed ProcessingPhillip J. Brooke, Richard F. Paige. Undergraduate Topics in Computer Science, Springer, 2007. [doi]

Lazy Exploration and Checking of CSP Models with CSPsimPhillip J. Brooke, Richard F. Paige. wotug 2007: 33-49

Exceptions in Concurrent EiffelPhillip J. Brooke, Richard F. Paige. jot, 6(10):111-126, 2007. [doi]

A CSP model of Eiffel s SCOOPPhillip J. Brooke, Richard F. Paige, Jeremy L. Jacob. fac, 19(4):487-512, 2007. [doi]

Extreme Programming Security PracticesXiaocheng Ge, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke. xpu 2007: 226-230 [doi]

A Novel Approach to the Detection of Cheating in Multiplayer Online GamesPeter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers. ICECCS 2007: 97-106 [doi]

Metamodel-based model conformance and multiview consistency checkingRichard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff. TOSEM, 16(3):11, 2007. [doi]

Building a Trusted Community for Mobile Ad Hoc Networks Using Friend RecommendationShukor A. Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke. adhoc-now 2007: 129-141 [doi]

A new taxonomy for comparing intrusion detection systemsC. J. Tucker, Steven Furnell, Bogdan V. Ghita, Phillip J. Brooke. intr, 17(1):88-98, 2007. [doi]

2006

Security Planning and Refactoring in Extreme ProgrammingEmine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke. xpu 2006: 154-163 [doi]

Agile development of secure web applicationsXiaocheng Ge, Richard F. Paige, Fiona A. C. Polack, Howard Chivers, Phillip J. Brooke. ICWE 2006: 305-312 [doi]

Towards an insider threat prediction specification languageG. Magklaras, Steven Furnell, Phillip J. Brooke. imcs, 14(4):361-381, 2006. [doi]

Game Development Using Design-by-ContractRichard F. Paige, Triston S. Attridge, Phillip J. Brooke. jot, 5(7):57-73, 2006. [doi]

Towards an Agile Process for Building Software Product LinesRichard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke. xpu 2006: 198-199 [doi]

A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks - A Friend ApproachShukor A. Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke. isi 2006: 590-595 [doi]

2005

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for EiffelJonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke. jot, 4(7):97-114, 2005. [doi]

Agile Formal Method EngineeringRichard F. Paige, Phillip J. Brooke. IFM 2005: 109-128 [doi]

A Two-Tier Intrusion Detection System for Mobile Ad Hoc NetworksShukor A. Razak, Steven Furnell, Phillip J. Brooke. eciw 2005: 271-280

2004

Playing the game: cheating, loopholes, and virtual identityPhillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney. sigcas, 34(2):3, 2004. [doi]

Integrating BON and Object-ZRichard F. Paige, Phillip J. Brooke. jot, 3(3):121-141, 2004. [doi]

2003

Fault trees for security system design and analysisPhillip J. Brooke, Richard F. Paige. compsec, 22(3):256-264, 2003. [doi]

Combining Agile Practices with UML and EJB: A Case Study in Agile DevelopmentRichard F. Paige, Priyanka Agarwal, Phillip J. Brooke. xpu 2003: 351-353 [doi]

Theorem Proving Support for View Consistency CheckingRichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke. Lobjet, 9(4):115-134, 2003. [doi]

2002

The Design of a Tool-Supported Graphical Notation for Timed CSPPhillip J. Brooke, Richard F. Paige. IFM 2002: 299-318 [doi]

2000

Principles for modeling language designRichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke. INFSOF, 42(10):665-675, 2000. [doi]

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Phillip J. Brooke'

Viewing Publication 1 - 40 from 40

2017

2015

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2000

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Phillip J. Brooke'

Viewing Publication 1 - 40 from 40

2017

2015

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2000

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1