ESS Publications
Latest Publications
Edmunds, Andrew, Lovell, Chris, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Tooling: Code Generation Update. In, Rodin User and Developer Workshop
Lovell, Chris, Jones, Gareth, Zauner, Klaus-Peter and Gunn, Steve R. (2012) Exploration and Exploitation with Insufficient Resources. JMLR: Workshop and Conference Proceedings, 26, On-line Trading of Exploration and Exploitation, 37-61.
Lovell, Chris, Edmunds, Andy, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Ensuring Extensibility within Code Generation. In, Rodin User and Developer Workshop
Merrett, Geoff V. and Weddell, Alex S. (2012) Supercapacitor leakage in energy-harvesting sensor nodes: fact or fiction? In, International Workshop Algorithms and Concepts for Networked Sensing Systems Powered by Energy Harvesters 2012 (EnHaNSS'12), Antwerp, BE, 11 Jun 2012. 5pp. (Submitted)
Huang, Hui, Merrett, Geoff V. and White, Neil M. (2012) Design of a linearized magnetic spring for body-worn inertial energy harvesters. In, International Workshop on Algorithms and Concepts for Networked Sensing Systems Powered by Energy Harvesters (EnHaNSS'12), Antwerp, BE, 11 - 14 Jun 2012. 4pp. (Submitted)
Yeganefard, Sanaz and Butler, Michael (2012) Control systems: phenomena and structuring functional requirement documents. In, 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012)., Paris, FR, 18 - 20 Jul 2012. 10pp. (Submitted)
Yeganefard, Sanaz and Butler, Michael (2011) Structuring functional requirements of control systems to facilitate refinement-based formalisation. [in special issue: Automated Verification of Critical Systems 2011] Electronic Communications of the EASST, 46
Wood, Alex L., Merrett, Geoff V., de Jager, Dirk, Al-Hashimi, Bashir M., O'Hara, Kieron, Shadbolt, Nigel R. and Hall, Wendy (2012) DejaView: Help with memory, when you need it. In, SenseCam 2012: Third Annual Symposium, Oxford, UK, 03 - 04 Apr 2012. 20pp.
Ibrahim, Roziana (2011) A conceptual framework for supporting gender inclusivity in games. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis, 180pp.
Poppleton, Michael R. and Merrett, Geoff V. (2012) Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks. In, Third International Workshop on Software Engineering for Sensor Network Applications, Zurich, Switzerland, 2pp.