Most influential paper prizes
ACM/IEEE Automated Software Engineering. Most influential 15 year (+1/-1) paper (award decision made 23 July 2013). Joint winners:
• Nigel Tracey, John Clark, Keith Mander and John McDermid for the 1998 paper: An Automated Framework for Structural Test-Data Generation.
• The other joint winners were: Lance Tokuda, Don Batory, for the 1999 paper: Evolving object-oriented architectures with refactorings.
Best paper prizes
- Esther Guerra, Juan De Lara, Dimitris Kolovos, Richard Paige, Osmar Dos Santos. transML: A Family of Languages to Model Model Transformations. In Proc. International Conference on Model Driven Engineering Languages and Systems (MoDELS) Oslo, Norway, October 2010. ACM best paper award
- Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer. On the Predictability of Random Tests for Object-Oriented Software. 2008
- 6th Transformation Tool Contest, co-located with ICMT 2013, Best overall solution (with Dr Louis Rose, Ran Wei, Adolfo Sanchez-Barbudo Herrera, and Babajide Ogunyomi)
- Robert Feldt and Simon Poulding, Finding Test Data with Specific Properties via Metaheuristic Search, Proc. International Symposium on Software Reliability Engineering (ISSRE 2013, Best Research Paper)
- Simon Poulding, John A. Clark, Robert Alexander, and Mark J. Hadley, The Optimisation of Stochastic Grammars to Enable Cost-Effective Probabilistic Structural Testing, Proc. Genetic and Evolutionary Computation Conference (GECCO 2013), 1477–1484, 2013. Winner of Best Paper Award, SBSE Track
- Alan G. Millard, David Robert White and John A. Clark. Symposium on Search Based Software Engineering (SSBSE) 2012. Searching for Pareto-optimal Randomised Algorithms.
- Simon Poulding, John A. Clark, and Helene Waeselynck. Best Paper Prize. Search Based Software Testing 2011. A Principled Evaluation of the Effect of Directed Mutation on Search-Based Statistical Testing.
- Jan Staunton and John Clark. Best Student Paper. SBST 2010. Searching for Safety Violations using Estimation of Distribution Algorithms.
- Sam Ratcliff, David R White, and John A Clark. Searching for Invariants using Genetic Programming and Mutation Testing. Search Based Software Engineering at GECCO 2011. 12-16 July 2011. Sam was a summer UG intern.
- Shaikh, S.A., Chivers, H., Nobles, P., Clark, J.A. and Chen, H. 3rd International Conference on Information Security and Assurance. A Deployment Value Model for Intrusion Detection Sensors.
- Automatic Test Data Generation for Multiple Condition and MCDC Coverage. Kamran Ghani and John A Clark. ICSEA 2009. “Top Paper Prize” ICSEA 2009.
- Sani, F. A. C. Polack, R. F. Paige, Model transformation specification for automated formal verification, Software Engineering (MySEC), 2011 5th Malaysian Conference, pp76 - 81, Dec. 2011.
- R.I. Davis, S. Altmeyer, J. Reineke, "Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling”. In proceedings 24th International Conference on Real-Time Networks and Systems (RTNS 2016) 19th-21st Oct 2015.
- S. Altmeyer, R.I. Davis, L. Indrusiak, C. Maiza, V. Nelis, J. Reineke, "A Generic and Compositional Framework for Multicore Response Time Analysis". In proceedings 23rd International Conference on Real-Time Networks and Systems (RTNS 2015) , 4-6th Nov 2015.
- J. Woodcock, A. Wellings, A. Cavalcanti, “Mobile CSP”, In proceedings XVIII Brazilian Symposium on Formal Methods, 21-25th Sept 2015.
- I. Bate, A. Burns, R.I. Davis, "A Bailout Protocol for Mixed Criticality Systems”." In proceedings 27th Euromicro Conference on Real-Time Systems (ECRTS), pages 259-268, 7-10th July 2015.
- D. Muller and A. Burns, “Deriving period restrictions from a given utilization bound under RMS”, In proceedings 10th IEEE International Symposium on Industrial Embedded Systems (SIES 2015), pages 1-7, 8-10th June 2015.
- P. Graydon and I. Bate, “The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward” In proceedings IEEE 20th Pacific Rim International Symposium on Dependable Computing (PRDC 2014), pages 135-144, 19-21st Nov 2014.
- Y. Abdeddaïm, Y. Chanderli, R.I. Davis, D. Masson, "Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting". In proceedings 22nd International Conference on Real-Time Networks and Systems (RTNS 2014), pages 311-320, 8-10th Oct 2014.
- W. Lunniss, S. Altmeyer, G. Lipari, R.I. Davis, "Accounting for Cache Related Pre-emption Delays in Hierarchical Scheduling". In proceedings 22nd International Conference on Real-Time Networks and Systems (RTNS 2014), pages 183-192, 8-10th Oct 2014.
- S. Altmeyer, R. Douma, W. Lunniss, R.I. Davis, "Evaluation of Cache Partitioning for Hard Real-Time Systems”. In proceedings 26th Euromicro Conference on Real-Time Systems (ECRTS 2014), pages 15-26, 8-11th July 2014.
- B. Sudev and L. S. Indrusiak, "Low overhead predictability enhancement in non-preemptive network-on-chip routers using Priority Forwarded Packet Splitting". Ninth International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2014.
- R.I. Davis, A. Burns J. Marinho, V. Nelis, S.M. Petters, M. Bertogna, " Global Fixed Priority Scheduling with Deferred Pre-emption ”. In proceedings IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2013), pages 1-11, 19th-21st Aug 2013.
- Ipek Caliskanelli, James Harbin, Leandro Soares Indrusiak, Paul Mitchell, David Chesmore and Fiona Polack, ROLBPS - Runtime Optimisation in WSNs for Load Balancing Using Pheromone Signalling, 3rd IEEE International Conference on Networked Embedded Systems for Enterprise Applications, NESEA'12, December 2012.
- R.I. Davis, S. Kollmann, V. Pollex, F. Slomka “Controller Area Network (CAN) Schedulability Analysis with FIFO queues”. In proceedings 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011), pages 45-56, July 5-8th, 2011.
- L. Ost, G. Guindani, L. S. Indrusiak, C. Reinbrecht, T. Raupp, F. Moraes, "A high abstraction, high accuracy power estimation model for networks-on-chip". In 22nd Annual Symposium on Integrated Circuits and System Design (SBCCI), Natal, Brazil, Pages 31:1-31:6, 2009.
- K. Yu, N. Audsley, "A Mixed Timing System-Level Embedded Software Modelling and Simulation Approach". International Conference on Embedded Software and Systems, 2009.
High Integrity Systems Engineering
- Richard Hawkins and Tim Kelly. 27th International System Safety Conference, Huntsville, AL, 2009. “A Systematic Approach for Developing Software Safety Arguments" Programming Languages & Systems
- Peter Landin Prize for best paper at IFL Symposium, 2008. See http://www.academia.edu/2849191/The_Peter_Landin_prize for details of the prize. Neil Mitchell and Colin Runciman. A Supercompiler for Core Haskell.
Human Computer Interaction
- Sanders, T., Cairns, P. (2010) Time perception, immersion and music in videogames. BCS HCI 2010, ACM Press, 160-167.
- Seah, M., Cairns, P. Best Long Paper. Proc. of HCI 2008, vol 1 BCS, 55-63. From Immersion to addiction in videogames.
- IEEE Worksop on 3D Image/Video Technologies and Applications, June 10-12, 2013, Seoul, Korea Adrian Bors.
- Edwin Hancock and X Shia. ICIAP 2009. Learning Class Specific Graph Prototypes.
- Ioannis Klapaftis, Suraj Pandey and Suresh Manandhar. Graph-Based Relation Mining. In Multimedia Communications, Services and Security. Vol. 149. p.100-112. 2011
- Siva Reddy, Diana McCarthy and Suresh Manandhar. Dynamic and Static Prototype Vectors for Semantic Composition. In Proceedings of 5th International Joint Conference on Natural Language Processing (IJCNLP-2011), p.705—713, November, 2011.
- S.K. Bista, K.P. Dahal, P.I. Cowling, B.M. Tuladhar (2009). 11th IEEE Conference on Commerce and Enterprise Computing – CEC ’09). Evolution of Cooperativeness in a Business Game Relying on Acquaintance Based Trustworthiness Assessment”, Vienna, Austria.
- International Conference on Intelligent Design and Applications (ISDA’09). Y. Alqasrawi, D. Neagu, P.I Cowling (2009): "Natural Scene Image Recognition by Fusing Weighted Colour Moments with Bag of Visual Patches on Spatial Pyramid Layout”. Best Student Paper.
- M. Butler and D. Kazakov. IEEE CIFEr 2012: Best Student Paper Award. Testing Implications of the Adaptive Market Hypothesis via Computational Intelligence.