John A. Clark - RankMe

153 papers A* 5A 18B 22C 12Misc 3Journal 52Unranked 40

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	AIDPS: Adaptive Intrusion Detection and Prevention System for Underwater Acoustic Sensor Networks. IEEE/ACM Trans. Netw. Soumadeep Das, Aryan Mohammadi Pasikhani, Prosanta Gope, John A. Clark, Chintan Patel, Biplab Sikdar
2024	J	`jnl`	User-empowered secure privacy-preserving authentication scheme for Digital Twin. Comput. Secur. Chintan Patel, Aryan Mohammadi Pasikhani, Prosanta Gope, John A. Clark
2023	J	`jnl`	A Privacy-Preserving Energy Theft Detection Model for Effective Demand-Response Management in Smart Grids. CoRR Arwa Alromih, John A. Clark, Prosanta Gope
2023	J	`jnl`	AIDPS: Adaptive Intrusion Detection and Prevention System for Underwater Acoustic Sensor Networks. CoRR Soumadeep Das, Aryan Mohammadi Pasikhani, Prosanta Gope, John A. Clark, Chintan Patel, Biplab Sikdar
2023	J	`jnl`	Incremental hybrid intrusion detection for 6LoWPAN. Comput. Secur. Aryan Mohammadi Pasikhani, John A. Clark, Prosanta Gope
2023	—	`conf`	Privacy Awareness Among Users of Digital Healthcare Services in Saudi Arabia. HCI (35) Hebah A. Albatati, John A. Clark, Maysoon F. Abulkhair
2022	J	`jnl`	Adaptive Hybrid Heterogeneous IDS for 6LoWPAN. CoRR Aryan Mohammadi Pasikhani, John A. Clark, Prosanta Gope
2022	J	`jnl`	Adversarial RL-Based IDS for Evolving Data Environment in 6LoWPAN. IEEE Trans. Inf. Forensics Secur. Aryan Mohammadi Pasikhani, John A. Clark, Prosanta Gope
2022	—	`conf`	Enhanced Scanning in SDN Networks and its Detection using Machine Learning. TPS-ISA Abdullah H. Alqahtani, John A. Clark
2022	—	`conf`	Neural Network Approximation of Simulation-based IDS Fitness Evaluation. CSE Abdulmonem Alshahrani, John A. Clark
2022	—	`conf`	On Optimal Configuration of IDS for RPL Resource-Constrained Networks Using Evolutionary Algorithm. FTC (2) Abdulmonem Alshahrani, John A. Clark
2022	C	`conf`	Privacy-Aware Split Learning Based Energy Theft Detection for Smart Grids. ICICS Arwa Alromih, John A. Clark, Prosanta Gope
2022	—	`conf`	Transfer Learning Approach to Discover IDS Configurations Using Deep Neural Networks. CCCI Abdulmonem Alshahrani, John A. Clark
2021	—	`conf`	Bayesian Hyper-Parameter Optimization for Malware Detection. AI-Cybersec@SGAI Fahad T. AlGorain, John A. Clark
2021	B	`conf`	Continuous User Authentication for Human-Robot Collaboration. ARES Shurook S. Almohamade, John A. Clark, James Law
2021	—	`conf`	Electricity Theft Detection in the Presence of Prosumers Using a Cluster-based Multi-feature Detection Model. SmartGridComm Arwa Alromih, John A. Clark, Prosanta Gope
2021	B	`conf`	Grammatical Evolution for Detecting Cyberattacks in Internet of Things Environments. ICCCN Hasanen Alyasiri, John A. Clark, Ali Malik, Ruairí de Fréin
2021	—	`conf`	Mimicry Attacks Against Behavioural-Based User Authentication for Human-Robot Interaction. ETAA Shurook S. Almohamade, John A. Clark, James Law
2021	B	`conf`	Reinforcement-Learning-based IDS for 6LoWPAN. TrustCom Aryan Mohammadi Pasikhani, John A. Clark, Prosanta Gope
2021	J	`jnl`	Systematic review of features for co-simulating security incidents in Cyber-Physical Systems. Secur. Priv. Ricardo M. Czekster, Charles Morisset, John A. Clark, Sadegh Soudjani, Charalampos Patsios, Peter Davison
2021	—	`conf`	Using Genetic Improvement to Retarget quantum Software on Differing Hardware. GI@ICSE George O. O'Brien, John A. Clark
2020	—	`conf`	Behaviour-Based Biometrics for Continuous User Authentication to Industrial Collaborative Robots. SECITC Shurook S. Almohamade, John A. Clark, James Law
2020	J	`jnl`	Challenges in the Safety-Security Co-Assurance of Collaborative Industrial Robots. CoRR Mario Gleirscher, Nikita Johnson, Panayiotis Karachristou, Radu Calinescu, James Law, John A. Clark
2019	C	`conf`	Efficient Evolutionary Fuzzing for Android Application Installation Process. QRS Veysel Hatas, Sevil Sen, John A. Clark
2019	J	`jnl`	Optimising Trotter-Suzuki Decompositions for Quantum Simulation Using Evolutionary Strategies. CoRR Benjamin D. M. Jones, George O. O'Brien, David Robert White, Earl T. Campbell, John A. Clark
2019	A	`conf`	Optimising trotter-suzuki decompositions for quantum simulation using evolutionary strategies. GECCO Benjamin D. M. Jones, David Robert White, George O. O'Brien, John A. Clark, Earl T. Campbell
2018	C	`conf`	Applying Cartesian Genetic Programming to Evolve Rules for Intrusion Detection System. IJCCI Hasanen Alyasiri, John A. Clark, Daniel Kudenko
2018	A	`conf`	Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes. GECCO Komsan Srivisut, John A. Clark, Richard F. Paige
2018	J	`jnl`	Evaluation of Mutation Testing in a Nuclear Industry Case Study. IEEE Trans. Reliab. Pedro Delgado-Pérez, Ibrahim Habli, Steve Gregory, Rob Alexander, John A. Clark, Inmaculada Medina-Bulo
2018	—	`conf`	Evolutionary Computation Algorithms for Detecting Known and Unknown Attacks. SecITC Hasanen Alyasiri, John A. Clark, Daniel Kudenko
2018	B	`conf`	Search-Based Temporal Testing in an Embedded Multicore Platform. EvoApplications Komsan Srivisut, John A. Clark, Richard F. Paige
2017	J	`jnl`	Data-Driven Search-Based Software Engineering (NII Shonan Meeting 2017-19). NII Shonan Meet. Rep. Markus Wagner, Leandro L. Minku, Ahmed E. Hassan, John A. Clark
2017	—	`conf`	SAFEDroid: Using Structural Features for Detecting Android Malwares. ATCS/SePrIoT@SecureComm Sevil Sen, Ahmet Ilhan Aysan, John A. Clark
2015	J	`jnl`	Subdomain-based test data generation. J. Syst. Softw. Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
2015	J	`jnl`	The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. J. Syst. Softw. Simon M. Poulding, Robert Alexander, John A. Clark, Mark J. Hadley
2014	—	`conf`	Mutation Testing for Jason Agents. EMAS@AAMAS Zhan Huang, Rob Alexander, John A. Clark
2014	—	`conf`	Probability-Based Semantic Interpretation of Mutants. ICST Workshops Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
2014	—	`conf`	The executable experimental template pattern for the systematic comparison of metaheuristics: Extended Abstract. GECCO (Companion) Geoffrey Neumann, Jerry Swan, Mark Harman, John A. Clark
2014	J	`jnl`	Trustworthy placements: Improving quality and resilience in collaborative attack detection. Comput. Networks Manuel Gil Pérez, Juan E. Tapiador, John A. Clark, Gregorio Martínez Pérez, Antonio Fernandez Gómez-Skarmeta
2013	J	`jnl`	An orchestrated survey of methodologies for automated software test case generation. J. Syst. Softw. Saswat Anand, Edmund K. Burke, Tsong Yueh Chen, John A. Clark, Myra B. Cohen, Wolfgang Grieskamp, Mark Harman, Mary Jean Harrold, Phil McMinn
2013	—	`conf`	Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote). WETSoM Mark Harman, John A. Clark, Mel Ó Cinnéide
2013	B	`conf`	Efficient Subdomains for Random Testing. SSBSE Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
2013	J	`jnl`	Evolving balanced Boolean functions with optimal resistance to algebraic and fast algebraic attacks, maximal algebraic degree, and very high nonlinearity. IACR Cryptol. ePrint Arch. James McLaughlin, John A. Clark
2013	C	`conf`	Filtered Nonlinear Cryptanalysis of Reduced-Round Serpent, and the Wrong-Key Randomization Hypothesis. IMACC James McLaughlin, John A. Clark
2013	J	`jnl`	Filtered nonlinear cryptanalysis of reduced-round Serpent, and the Wrong-Key Randomization Hypothesis. IACR Cryptol. ePrint Arch. James McLaughlin, John A. Clark
2013	J	`jnl`	Genetic algorithms and solid state NMR pulse sequences. CoRR Matthias Bechmann, John A. Clark, Angelika Sebald
2013	J	`jnl`	Guest Editorial: Special section of the best papers from the 2nd International Symposium on Search Based Software Engineering 2010. Inf. Softw. Technol. Lionel C. Briand, John A. Clark
2013	J	`jnl`	Knowing who to watch: Identifying attackers whose actions are hidden within false alarms and background noise. Inf. Syst. Frontiers Howard Chivers, John A. Clark, Philip Nobles, Siraj A. Shaikh, Hao Chen
2013	J	`jnl`	Nonlinear cryptanalysis of reduced-round Serpent and metaheuristic search for S-box approximations. IACR Cryptol. ePrint Arch. James McLaughlin, John A. Clark
2013	—	`conf`	SE and AI: A two-way street. RAISE@ICSE John A. Clark
2013	—	`conf`	Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy. APSEC (1) Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
2013	J	`jnl`	Semantic mutation testing. Sci. Comput. Program. John A. Clark, Haitao Dan, Robert M. Hierons
2013	A	`conf`	The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing. GECCO Simon M. Poulding, Robert Alexander, John A. Clark, Mark J. Hadley
2013	J	`jnl`	The placement-configuration problem for intrusion detection nodes in wireless sensor networks. Comput. Electr. Eng. Juan E. Tapiador, John A. Clark
2013	—	`conf`	Using Mutation Analysis to Evolve Subdomains for Random Testing. ICST Workshops Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark
2013	J	`jnl`	Using evolutionary computation to create vectorial Boolean functions with low differential uniformity and high nonlinearity CoRR James McLaughlin, John A. Clark
2012	A	`conf`	Dynamic adaptive search based software engineering. ESEM Mark Harman, Edmund K. Burke, John A. Clark, Xin Yao
2012	A	`conf`	MESSI: Mutant Evaluation by Static Semantic Interpretation. ICST Matthew Patrick, Manuel Oriol, John A. Clark
2012	J	`jnl`	Metaheuristic Traceability Attack against SLMAP, an RFID Lightweight Authentication Protocol. Int. J. Found. Comput. Sci. Julio César Hernández Castro, Juan M. Estévez-Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi
2012	B	`conf`	Searching for Pareto-optimal Randomised Algorithms. SSBSE Alan G. Millard, David Robert White, John A. Clark
2012	A*	`conf`	The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper). ASE Mark Harman, William B. Langdon, Yue Jia, David Robert White, Andrea Arcuri, John A. Clark
2011	—	`conf`	A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing. ICST Workshops Simon M. Poulding, John A. Clark, Hélène Waeselynck
2011	B	`conf`	Applications of Model Reuse When Using Estimation of Distribution Algorithms to Test Concurrent Software. SSBSE Jan Staunton, John A. Clark
2011	J	`jnl`	Cryptanalysis of Song's advanced smart card based password authentication protocol CoRR Juan E. Tapiador, Julio C. Hernandez-Castro, Pedro Peris-Lopez, John A. Clark
2011	—	`conf`	Decorrelating WSN Traffic Patterns with Maximally Uninformative Constrained Routing. Networking Workshops Juan E. Tapiador, Mudhakar Srivatsa, John A. Clark, John A. McDermid
2011	J	`jnl`	Evolutionary Improvement of Programs. IEEE Trans. Evol. Comput. David Robert White, Andrea Arcuri, John A. Clark
2011	J	`jnl`	Evolutionary computation techniques for intrusion detection in mobile ad hoc networks. Comput. Networks Sevil Sen, John A. Clark
2011	A*	`conf`	F for fake: four studies on how we fall for phish. CHI Mark Blythe, Helen Petrie, John A. Clark
2011	A	`conf`	Finding short counterexamples in promela models using estimation of distribution algorithms. GECCO Jan Staunton, John A. Clark
2011	J	`jnl`	Masquerade mimicry attack detection: A randomised approach. Comput. Secur. Juan E. Tapiador, John A. Clark
2011	A	`conf`	Searching for invariants using genetic programming and mutation testing. GECCO Sam Ratcliff, David Robert White, John A. Clark
2011	A	`conf`	Segmentation and Normalisation in Grapheme Codebooks. ICDAR Tara Gilliam, Richard C. Wilson, John A. Clark
2010	J	`jnl`	Defending the weakest link: phishing websites detection by analysing user behaviours. Telecommun. Syst. Xun Dong, John A. Clark, Jeremy L. Jacob
2010	J	`jnl`	Efficient Software Verification: Statistical Testing Using Automated Search. IEEE Trans. Software Eng. Simon M. Poulding, John A. Clark
2010	B	`conf`	Fine-Grained Timing Using Genetic Programming. EuroGP David Robert White, Juan E. Tapiador, Julio César Hernández Castro, John A. Clark
2010	B	`conf`	Information-Theoretic Detection of Masquerade Mimicry Attacks. NSS Juan E. Tapiador, John A. Clark
2010	C	`conf`	Learning Autonomic Security Reconfiguration Policies. CIT Juan E. Tapiador, John A. Clark
2010	—	`conf`	Modelling Uncertain and Time-Dependent Security Labels in MLS Systems. ICETE (Selected Papers) John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget
2010	B	`conf`	Optimising IDS Sensor Placement. ARES Hao Chen, John A. Clark, Siraj A. Shaikh, Howard Chivers, Philip Nobles
2010	C	`conf`	Risk based Access Control with Uncertain and Time-dependent Sensitivity. SECRYPT John A. Clark, Juan E. Tapiador, John A. McDermid, Pau-Chen Cheng, Dakshi Agrawal, Natalie Ivanic, Dave Slogget
2010	B	`conf`	Scribe Identification in Medieval English Manuscripts. ICPR Tara Gilliam, Richard C. Wilson, John A. Clark
2010	—	`conf`	Searching for Safety Violations Using Estimation of Distribution Algorithms. ICST Workshops Jan Staunton, John A. Clark
2010	—	`conf`	Semantic Mutation Testing. ICST Workshops John A. Clark, Haitao Dan, Robert M. Hierons
2009	—	`conf`	A Deployment Value Model for Intrusion Detection Sensors. ISA Siraj A. Shaikh, Howard Chivers, Philip Nobles, John A. Clark, Hao Chen
2009	Misc	`conf`	A Multi-objective Optimisation Approach to IDS Sensor Placement. CISIS Hao Chen, John A. Clark, Juan E. Tapiador, Siraj A. Shaikh, Howard Chivers, Philip Nobles
2009	C	`conf`	Automatic Test Data Generation for Multiple Condition and MCDC Coverage. ICSEA Kamran Ghani, John A. Clark
2009	B	`conf`	Comparing algorithms for search-based test data generation of Matlab® Simulink® models. IEEE Congress on Evolutionary Computation Kamran Ghani, John A. Clark, Yuan Zhan
2009	A	`conf`	Metaheuristic traceability attack against SLMAP, an RFID lightweight authentication protocol. IPDPS Julio C. Hernandez-Castro, Juan E. Tapiador, Pedro Peris-Lopez, John A. Clark, El-Ghazali Talbi
2009	—	`conf`	Power-Aware Intrusion Detection in Mobile Ad Hoc Networks. ADHOCNETS Sevil Sen, John A. Clark, Juan E. Tapiador
2009	J	`jnl`	Risk profiles and distributed risk assessment. Comput. Secur. Howard Chivers, John A. Clark, Pau-Chen Cheng
2009	J	`jnl`	TAIC PART 2007 and Mutation 2007 special issue editorial. J. Syst. Softw. Mark Harman, Zheng Li, Phil McMinn, Jeff Offutt, John A. Clark
2009	A	`conf`	Using automated search to generate test data for matlab. GECCO Sion Ll Rhys, Simon M. Poulding, John A. Clark
2008	J	`jnl`	A search-based framework for automatic testing of MATLAB/Simulink models. J. Syst. Softw. Yuan Zhan, John A. Clark
2008	B	`conf`	Evolving Intrusion Detection Rules on Mobile Ad Hoc Networks. PRICAI Sevil Sen, John A. Clark
2008	—	`conf`	Multi-objective Improvement of Software Using Co-evolution and Smart Seeding. SEAL Andrea Arcuri, David Robert White, John A. Clark, Xin Yao
2008	A	`conf`	Searching for resource-efficient programs: low-power pseudorandom number generators. GECCO David Robert White, John A. Clark, Jeremy Jacob, Simon M. Poulding
2008	—	`conf`	Strengthening Inferred Specifications using Search Based Testing. ICST Workshops Kamran Ghani, John A. Clark
2008	J	`jnl`	The certification of the Mondex electronic purse to ITSEC Level E6. Formal Aspects Comput. Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob
2008	C	`conf`	Threat Modelling in User Performed Authentication. ICICS Xun Dong, John A. Clark, Jeremy L. Jacob
2008	—	`conf`	User behaviour based phishing websites detection. IMCSIT Xun Dong, John A. Clark, Jeremy L. Jacob
2007	—	`conf`	An Efficient Experimental Methodology for Configuring Search-Based Design Algorithms. HASE Simon M. Poulding, Paul Emberson, Iain Bate, John A. Clark
2007	B	`conf`	Heuristic search for non-linear cryptanalytic approximations. IEEE Congress on Evolutionary Computation Juan M. Estévez-Tapiador, Julio César Hernández Castro, John A. Clark
2007	C	`conf`	Non-linear Cryptanalysis Revisited: Heuristic Search for Approximations to S-Boxes. IMACC Juan M. Estévez-Tapiador, John A. Clark, Julio César Hernández Castro
2006	—	`conf`	Deviational Analyses for Validating Regulations on Real Systems. ReMo2V Fiona Polack, Thitima Srivatanakul, Tim Kelly, John A. Clark
2006	B	`conf`	Fusing Natural Computational Paradigms for Cryptanalysis. Or, Using Heuristic Search to Bring Cryptanalysis Problems within Quantum Computational Range. IEEE Congress on Evolutionary Computation John A. Clark, Susan Stepney
2006	A	`conf`	Human competitive security protocols synthesis. GECCO Hao Chen, John A. Clark, Jeremy Jacob
2006	J	`jnl`	Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming. Evol. Comput. Paul Massey, John A. Clark, Susan Stepney
2006	J	`jnl`	Journeys in non-classical computation II: initial journeys and waypoints. Int. J. Parallel Emergent Distributed Syst. Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Thomas R. Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge
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	A	`conf`	The state problem for test generation in Simulink. GECCO Yuan Zhan, John A. Clark
2005	—	`conf`	"Devices Are People Too" Using Process Patterns to Elicit Security Requirements in Novel Domains: A Ubiquitous Healthcare Example. SPC Yang Liu, John A. Clark, Susan Stepney
2005	—	`conf`	Breaking the Model: Finalisation and a Taxonomy of Security Attacks. REFINE John A. Clark, Susan Stepney, Howard Chivers
2005	A	`conf`	Evolution of a human-competitive quantum fourier transform algorithm using genetic programming. GECCO Paul Massey, John A. Clark, Susan Stepney
2005	J	`jnl`	Journeys in non-classical computation I: A grand challenge for computing research. Parallel Algorithms Appl. Susan Stepney, Samuel L. Braunstein, John A. Clark, Andrew M. Tyrrell, Andrew Adamatzky, Robert E. Smith, Tom Addis, Colin G. Johnson, Jonathan Timmis, Peter H. Welch, Robin Milner, Derek Partridge
2005	A	`conf`	Search-based mutation testing for GECCO Yuan Zhan, John A. Clark
2005	J	`jnl`	The Design of S-Boxes by Simulated Annealing. New Gener. Comput. John A. Clark, Jeremy L. Jacob, Susan Stepney
2004	J	`jnl`	Almost Boolean Functions: The Design of Boolean Functions by Spectral Inversion. Comput. Intell. John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica
2004	J	`jnl`	Automated Design of Security Protocols. Comput. Intell. Hao Chen, John A. Clark, Jeremy L. Jacob
2004	J	`jnl`	Editorial: Software testing in the United Kingdom. Softw. Test. Verification Reliab. John A. Clark, Mark Harman, Robert M. Hierons
2004	C	`conf`	Effective Security Requirements Analysis: HAZOP and Use Cases. ISC Thitima Srivatanakul, John A. Clark, Fiona Polack
2004	—	`conf`	Evolving Quantum Circuits and Programs Through Genetic Programming. GECCO (2) Paul Massey, John A. Clark, Susan Stepney
2004	—	`conf`	Metrics Are Fitness Functions Too. IEEE METRICS Mark Harman, John A. Clark
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
2004	A*	`conf`	Results on Rotation Symmetric Bent and Correlation Immune Boolean Functions. FSE Pantelimon Stanica, Subhamoy Maitra, John A. Clark
2004	—	`conf`	Search Based Automatic Test-Data Generation at an Architectural Level. GECCO (2) Yuan Zhan, John A. Clark
2004	B	`conf`	Searching for cost functions. IEEE Congress on Evolutionary Computation John A. Clark, Jeremy L. Jacob, Susan Stepney
2004	J	`jnl`	Smart dust, friend or foe?--Replacing identity with configuration trust. Comput. Networks Howard Chivers, John A. Clark
2004	—	`conf`	Synthesising Efficient and Effective Security Protocols. ARSPA@IJCAR Hao Chen, John A. Clark, Jeremy L. Jacob
2004	B	`conf`	The design of s-boxes by simulated annealing. IEEE Congress on Evolutionary Computation John A. Clark, Jeremy L. Jacob, Susan Stepney
2003	B	`conf`	Almost Boolean functions: the design of Boolean functions by spectral inversion. IEEE Congress on Evolutionary Computation John A. Clark, Jeremy L. Jacob, Subhamoy Maitra, Pantelimon Stanica
2003	—	`conf`	Artificial Immune Systems and the Grand Challenge for Non-classical Computation. ICARIS Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, Robert E. Smith
2003	B	`conf`	Automated design of security protocols. IEEE Congress on Evolutionary Computation Hao Chen, John A. Clark, Jeremy L. Jacob
2003	C	`conf`	Challenging Formal Specifications by Mutation: a CSP security example. APSEC Thitima Srivatanakul, John A. Clark, Susan Stepney, Fiona Polack
2003	J	`jnl`	Formulating software engineering as a search problem. IEE Proc. Softw. John A. Clark, José Javier Dolado, Mark Harman, Robert M. Hierons, Bryan F. Jones, M. Lumkin, Brian S. Mitchell, Spiros Mancoridis, K. Rees, Marc Roper, Martin J. Shepperd
2003	B	`conf`	Making the most of two heuristics: breaking transposition ciphers with ants. IEEE Congress on Evolutionary Computation Matthew D. Russell, John A. Clark, Susan Stepney
2003	B	`conf`	Nature-inspired cryptography: past, present and future. IEEE Congress on Evolutionary Computation John A. Clark
2003	A	`conf`	Secret Agents Leave Big Footprints: How to Plant a Cryptographic Trapdoor, and Why You Might Not Get Away with It. GECCO John A. Clark, Jeremy L. Jacob, Susan Stepney
2003	—	`conf`	Smart Devices and Software Agents: The Basics of Good Behaviour. SPC Howard Chivers, John A. Clark, Susan Stepney
2003	A	`conf`	Using Ants to Attack a Classical Cipher. GECCO Matthew D. Russell, John A. Clark, Susan Stepney
2002	Misc	`conf`	Evolving Boolean Functions Satisfying Multiple Criteria. INDOCRYPT John A. Clark, Jeremy L. Jacob, Susan Stepney, Subhamoy Maitra, William Millan
2002	B	`conf`	FORTEST: Formal Methods and Testing. COMPSAC Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause
2002	A*	`conf`	Fault Injection and a Timing Channel on an Analysis Technique. EUROCRYPT John A. Clark, Jeremy L. Jacob
2001	J	`jnl`	Investigating the effectiveness of object-oriented testing strategies using the mutation method. Softw. Test. Verification Reliab. Sun-Woo Kim, John A. Clark, John A. McDermid
2001	J	`jnl`	Protocols are programs too: the meta-heuristic search for security protocols. Inf. Softw. Technol. John A. Clark, Jeremy L. Jacob
2000	J	`jnl`	Automated test-data generation for exception conditions. Softw. Pract. Exp. Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid
2000	—	`conf`	Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. S&P John A. Clark, Jeremy L. Jacob
2000	Misc	`conf`	Two-Stage Optimisation in the Design of Boolean Functions. ACISP John A. Clark, Jeremy Jacob
1999	J	`jnl`	CONVERSE: A change-oriented process for engine controllers. IEE Proc. Softw. Darren Lee Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel James Tracey
1998	A*	`conf`	An Automated Framework for Structural Test-Data Generation. ASE Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid
1998	A	`conf`	Automated Program Flaw Finding Using Simulated Annealing. ISSTA Nigel J. Tracey, John A. Clark, Keith Mander
1998	C	`conf`	Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
1995	J	`jnl`	On the Security of Recent Protocols. Inf. Process. Lett. John A. Clark, Jeremy Jacob
1994	J	`jnl`	Holistic schedulability analysis for distributed hard real-time systems. Microprocess. Microprogramming Ken Tindell, John A. Clark