Phillip J. Brooke

44 papers B 12C 1Journal 20Unranked 8

Year	Rank	Type	Title / Venue / Authors
2017	B	`conf`	Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. IFM João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke
2015	J	`jnl`	Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. Huibiao Zhu, Jifeng He, Shengchao Qin, Phillip J. Brooke
2015	J	`jnl`	User-visible cryptography in email and web scenarios. Inf. Comput. Secur. Phillip J. Brooke, Richard F. Paige
2013	B	`conf`	Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
2013	—	`conf`	Linking the Semantics of BPEL Using Maude. APSEC (1) Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
2013	J	`jnl`	The Value of User-Visible Internet Cryptography CoRR Phillip J. Brooke, Richard F. Paige
2012	—	`conf`	Approaches to Modelling Security Scenarios with Domain-Specific Languages(Transcript of Discussion). Security Protocols Workshop Phillip J. Brooke
2012	—	`conf`	Approaches to Modelling Security Scenarios with Domain-Specific Languages. Security Protocols Workshop Phillip J. Brooke, Richard F. Paige, Christopher Power
2012	B	`conf`	Behaviour-Based Cheat Detection in Multiplayer Games with Event-B. IFM HaiYun Tian, Phillip J. Brooke, Anne-Gwenn Bosser
2012	—	`conf`	Revealing Complexity through Domain-Specific Modelling and Analysis. Monterey Workshop Richard F. Paige, Phillip J. Brooke, Xiaocheng Ge, Christopher Power, Frank R. Burton, Simon M. Poulding
2011	J	`jnl`	High-integrity agile processes for the development of safety critical software. Int. J. Crit. Comput. Based Syst. Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
2010	J	`jnl`	Document-centric XML workflows with fragment digital signatures. Softw. Pract. Exp. Phillip J. Brooke, Richard F. Paige, Christopher Power
2010	—	`ch.`	Programming Phase: Formal Methods. Encyclopedia of Software Engineering Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti
2009	J	`jnl`	Cameo: an alternative model of concurrency for Eiffel. Formal Aspects Comput. Phillip J. Brooke, Richard F. Paige
2009	J	`jnl`	Editorial. Formal Aspects Comput. Richard F. Paige, Phillip J. Brooke, Jin Song Dong, J. C. P. Woodcock
2008	—	`conf`	FPTC: Automated Safety Analysis for Domain-Specific Languages. MoDELS (Workshops) Richard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitrios S. Kolovos, Phillip J. Brooke
2008	J	`jnl`	Friend-assisted intrusion detection and response mechanisms for mobile ad hoc networks. Ad Hoc Networks Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke
2008	B	`conf`	Towards Agile Engineering of High-Integrity Systems. SAFECOMP Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
2007	J	`jnl`	A CSP model of Eiffel's SCOOP. Formal Aspects Comput. Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob
2007	B	`conf`	A Novel Approach to the Detection of Cheating in Multiplayer Online Games. ICECCS Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers
2007	J	`jnl`	A new taxonomy for comparing intrusion detection systems. Internet Res. C. J. Tucker, Steven Furnell, Bogdan V. Ghita, Phillip J. Brooke
2007	—	`conf`	Building a Trusted Community for Mobile Ad Hoc Networks Using Friend Recommendation. ADHOC-NOW Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke
2007	J	`jnl`	Exceptions in Concurrent Eiffel. J. Object Technol. Phillip J. Brooke, Richard F. Paige
2007	B	`conf`	Extreme Programming Security Practices. XP Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke
2007	—	`conf`	Lazy Exploration and Checking of CSP Models with CSPsim. CPA Phillip J. Brooke, Richard F. Paige
2007	J	`jnl`	Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
2007	—	`book`	Practical Distributed Processing. Phillip J. Brooke, Richard F. Paige
2006	C	`conf`	A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks - A Friend Approach. ISI Shukor Abd Razak, Steven Furnell, Nathan L. Clarke, Phillip J. Brooke
2006	B	`conf`	Agile development of secure web applications. ICWE Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke
2006	J	`jnl`	Game Development Using Design-by-Contract. J. Object Technol. Richard F. Paige, Triston S. Attridge, Phillip J. Brooke
2006	B	`conf`	Security Planning and Refactoring in Extreme Programming. XP Emine Gokce Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke
2006	—	`ed.`	Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings SPC John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke
2006	B	`conf`	Towards an Agile Process for Building Software Product Lines. XP Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke
2006	J	`jnl`	Towards an insider threat prediction specification language. Inf. Manag. Comput. Secur. George Magklaras, Steven Furnell, Phillip J. Brooke
2005	—	`conf`	A Two-Tier Intrusion Detection System for Mobile Ad Hoc Networks. ECIW Shukor Abd Razak, Steven Furnell, Phillip J. Brooke
2005	B	`conf`	Agile Formal Method Engineering. IFM Richard F. Paige, Phillip J. Brooke
2005	J	`jnl`	E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. J. Object Technol. Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke
2004	J	`jnl`	Integrating BON and Object-Z. J. Object Technol. Richard F. Paige, Phillip J. Brooke
2004	J	`jnl`	Playing the game: cheating, loopholes, and virtual identity. SIGCAS Comput. Soc. Phillip J. Brooke, Richard F. Paige, John A. Clark, Susan Stepney
2003	B	`conf`	Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke
2003	J	`jnl`	Fault trees for security system design and analysis. Comput. Secur. Phillip J. Brooke, Richard F. Paige
2003	J	`jnl`	Theorem Proving Support for View Consistency Checking. Obj. Logiciel Base données Réseaux Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
2002	B	`conf`	The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM Phillip J. Brooke, Richard F. Paige
2000	J	`jnl`	Principles for modeling language design. Inf. Softw. Technol. Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke