Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2012
|Up a level|
Cirstea, Corina, Seisenberger, Monika and Wilkinson, Toby (eds.) (2012) CALCO Young Researchers Workshop: CALCO-jnr 2011, 29 August 2011: selected papers, Southampton, GB, University of Southampton, 68pp.
Wilcock, Reuben, Metcalf, Cheryl D., Demain, Sara H. and Merrett, Geoff V. (Patent Holders) (2012) Haptic device.
Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2012) Citizen adoption of E-government services. In, International Conference on Information Society (i-Society 2012), London, GB, 6pp, 182-187.
Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2012) Towards an integrated model for citizen adoption of E-government services in developing countries: A Saudi Arabia case study. International Journal of Digital Society, 3, (3/4), 666-676.
Ali, Mustafa (2012) Design considerations of harvested-energy management. University of Southampton, Faculty of Physical and Applied Sciences, Doctoral Thesis , 232pp.
Alwabel, Abdulelah, Walters, Robert John and Wills, Gary (2012) Towards a volunteer cloud architecture. At UKPEW 2012 (the UK Performance Engineering Workshop), Edinburgh, GB, 2pp.
Alwabel, Abdulelah, Walters, Robert John and Wills, Gary (2012) Towards performance evaluation in Volunteer Clouds. In, European Conference on Service-Oriented and Cloud Computing (ESOCC2012), 19 - 21 Sep 2012.
Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2012) Emergence of Agile Methods: Perceptions from Software Practitioners in Malaysia. In, International Conference on Agile and Lean Software Methods (AgileIndia2012), Bengaluru, India, 17 - 19 Feb 2012. (Submitted).
Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2012) Factor Analysis: Investigating Important Aspects for Agile Adoption in Malaysia. In, International Conference on Agile and Lean Software Methods (AgileIndia2012), Bengaluru, India, 17 - 19 Feb 2012. (Submitted).
Bicknell, Brett, Reis, Jose, Butler, Michael, Colley, John and Snook, Colin (2012) A Practical Approach for Closed Systems Formal Verification Using Event-B. In, 10th International Conference on Software Engineering and Formal Methods (SEFM 2012) , 323-332.
Butler, Michael (2012) External and internal choice with event groups in Event-B. [in special issue: Celebrating the 60th Birthday of Carroll Morgan] FORMAL ASPECTS OF COMPUTING, 24, (4-6), 555-567. (doi:10.1007/s00165-012-0239-2).
Chang, Victor (2012) Three Greenwich Case Studies in Private Cloud migration and adoption. , University of Greenwich and University of Southampton
Chang, Victor, Walters, Robert and Wills, Gary (2012) Business Integration as a Service. International Journal of Cloud Applications and Computing, 2, (1), 16-40.
Chen, Taihai, Mazomenos, Evangelos B. , Maharatna, Koushik, Dasmahapatra, Srinandan and Mahesan, Niranjan (2012) On the trade-of of accuracy and computational complexity for classifying normal and abnormal ECG in remote CVD monitoring systems. In, Proceedings of 2012 IEEE Workshop on Signal Processing Systems (SiPS). IEEE Workshop on Signal Processing Systems Quebec City, CA, Institute of Electrical and Electronics Engineers , 37-42. (doi:10.1109/SiPS.2012.43).
Cordeiro, Lucas, Fischer, Bernd and Marques-Silva, Joao (2012) SMT-based bounded model checking for embedded ANSI-C software. IEEE Transactions on Software Engineering, 38, (4), 957-974. (doi:10.1109/TSE.2011.59).
Demain, Sara H., Cunningham, Sarah, Metcalf, Cheryl D., Zheng, Deyi and Merrett, Geoff V. (2012) A narrative review on haptic devices: relating the physiology and psychophysical properties of the hand to devices for rehabilitation in central nervous system disorders. Disability and Rehabilitation: Assistive Technology
Edmunds, Andrew, Butler, Michael, Maamria, Issam, Silva, Renato and Lovell, Chris (2012) Event-B code generation: type extension with theories. In, ABZ 2012, Pisa, IT, 19 - 21 Jun 2012. 4pp.
Edmunds, Andrew, Colley, John and Butler, Michael (2012) Building on the DEPLOY legacy: code generation and simulation. In, DS-Event-B-2012: Workshop on the experience of and advances in developing dependable systems in Event-B
Edmunds, Andrew, Lovell, Chris, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Code generation update. In, Rodin User and Developer Workshop, Fontainebleau, FR, 27 - 29 Feb 2012. 2pp.
Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: tasking Event-B. In, Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Stockholm, SE, 11 - 15 Jun 2012. 14pp.
Ejlali, Alireza, Al-Hashimi, Bashir and Eles, Petru (2012) Low-energy standby-sparing for hard real-time systems. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 31, (3), Autumn Issue, 329-342. (doi:10.1109/TCAD.2011.2173488).
Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2012) Security Analysis of Role-based Access Control through Program Verification. In, 25th IEEE Computer Security Foundations Symposium (CSF) 13pp, 113-125.
Galadanci, Jamil, Shafik, Rishad Ahmed, Mathew, Jimson, Acharyya, Amit and Pradhan, Dhiraj K. (2012) A closed-loop control strategy for glucose control in artificial pancreas systems. In, ISED 2012: International Symposium on Electronic Systems Design, Kolkata, India, 19 - 22 Dec 2012. , 295-299. (doi:10.1109/ISED.2012.76).
Ghosh, Shaona and Gunn, Steve (2012) Towards potential-based learning for pareto trade-offs in on-line prediction with experts. At Women in Machine Learning 2012, Lake Tahoe, Nevada, USA, 03 Dec 2012.
Gondal, Ali (2012) Modelling ATM case study in event-B. Pre-print
Gondal, Ali (2012) Production cell case study in event-B. ,
Grange , Simon , Qi , Liping , Frank , Cy , Ferguson-Pell , Martin , Holloway , Catherine , Taylor , Stephen , Wills, Gary and Tyler , Nick (2012) Establishing Translational Research Pipelines for Smart Devices. In, IFESS 2012 conference; Smart Machines – Neural Evolution , Banff, Alberta, Canada, 5pp.
Harnad, Stevan (2012) Publisher wheeling and dealing: open access via national and global McNopoly? Open Access Archivangelism
Hillston, Jane, Tribastone, Mirco and Gilmore, Stephen (2012) Stochastic process algebras: from individuals to populations. The Computer Journal, 55, (7), 866-881. (doi:10.1093/comjnl/bxr094).
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.
Jones, Gareth, Lovell, Chris, Gunn, Steve, Morgan, Hywel and Zauner, Klaus-Peter (2012) Enabling the Discovery of Computational Characteristics of Enzyme Dynamics. IEEE WCCI CEC 2012
Kazmierski, Tom, Merrett, Geoff V., Wang, Leran, Al-Hashimi, Bashir, Weddell, Alex S. and Ayala Garcia, Ivo (2012) Modeling of Wireless Sensor Nodes Powered by Tunable Energy Harvesters: HDL-Based Approach. IEEE Sensors Journal, 12, (8), 2680-2689. (doi:10.1109/JSEN.2012.2196037).
La Torre, Salvatore and Gennaro, Parlato (2012) Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width. In, 32nd Foundations of Software Technology and Theoretical Computer Science Conference (FSTTCS), Hyderabad, IN, 15 - 17 Dec 2012. 12pp, 173-184.
La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2012) Sequentializing parameterized programs. In, 4th International Workshop on Foundations of Interface Technologies 21pp.
Li, Yunjia, Wald, Mike and Wills, Gary (2012) Applying linked data in multimedia annotations. [in special issue: Semantic Multimedia] International Journal of Semantic Computing, 6, (3), 289-313. (doi:10.1142/S1793351X12400090).
Lovell, Chris (2012) Active learning for discovery in the laboratory: characterising biomolecular systems. ALRA: Active Learning in Real-world Applications, Bristol, GB, 28 Sep 2012.
Lovell, Chris, Edmunds, Andy, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Ensuring extensibility within code generation. In, Rodin User and Developer Workshop, Fontainebleau, FR, 27 - 29 Feb 2012.
Lovell, Chris and Gunn, Steve (2012) Towards Improved Theoretical Problems for Autonomous Discovery. IEEE WCCI IJCNN 2012
Lovell, Chris, Jones, Gareth, Zauner, Klaus-Peter and Gunn, Steve R., Glowacka, Dorota, Dorard, Louis and Shawe-Taylor, John (eds.) (2012) Exploration and exploitation with insufficient resources. [in special issue: Proceedings of the Workshop on On-line Trading of Exploration and Exploitation 2, July 2, 2011, Bellevue, Washington, USA] JMLR: Workshop and Conference Proceedings, 26, 37-61.
Mazomenos, Evangelos, Chen, Taihai, Acharyya, Amit, Bhattacharya, Arnab, Rosengarten, James and Maharatna, Koushik (2012) Time-domain morphology and gradient based algorithm for ECG feature extraction. In, Proceedings of 2012 IEEE International Conference on Industrial Technology (ICIT). IEEE International Conference on Industrial Technology Piscataway, United States, Institute of Electrical and Electronics Engineers, 117-122. (doi:10.1109/ICIT.2012.6209924).
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.
Mistry, Jatin N., Biggs, John, Myers, James, Al-Hashimi, Bashir M. and Flynn, David (2012) dRail: a novel physical layout methodology for power gated circuits. In, Power and Timing Modelling, Optimization and Simulation (PATMOS) 2012, Newcastle upon Tyne, GB, 04 - 06 Sep 2012. 10pp.
Mistry, Jatin N. and Myers, James (2012) An ARM Cortex-M0 for Energy Harvesting Systems: A Novel Application of UPF with Synopsys’ Galaxy Platform. In, Synopsys User's Group (SNUG) 2012, Silicon Valley, CA, Santa Clara County, US,
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2012) Model checking LTL properties over ANSI-C programs with bounded traces. 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Montevideo, UY, 14 - 18 Nov 2011. 30pp. (doi:10.1007/s10270-013-0366-0).
Moss-Morris, Rona , McCrone, Paul , Yardley, Lucy, van Kessel, Kirsten , Wills, Gary and Dennison , Laura K. (2012) A pilot randomised controlled trial of an internet-based cognitive behavioural therapy self-management programme (MS Invigor8) for multiple sclerosis fatigue. Behaviour Research and Therapy, 50, (6), 415-421. (doi:10.1016/j.brat.2012.03.001). (PMID:22516321).
Narayanan, V.K., Mathew, J., Shafik, R.A. and Pradhan, D.K., Mathew, J., Patra, P., Pradhan, D.K. and Kuttyamma, A.J. (eds.) (2012) Fault tolerant high performance Galios field arithmetic processor. Springer Lectures Notes in Computer Science, 305, (2012), 269-281. (doi:10.1007/978-3-642-32112-2_33).
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary (2012) Competence Web-based System for Suggesting Study Materials Links: Approach & Experimental Design. In, EdMedia 2012 - World Conference on Educational Media and Technology, Denver, CO, USA,
Paolo, Baldan, Andrea, Corradini, Tobias, Heindel, Barbara, Koenig and Pawel, Sobocinski (2012) Processes and unfoldings: concurrent computations in adhesive categories. Mathematical Structures in Computer Science, 1-40.
Parker, Marlon, Wills, Julia, Aanhuizen , Lucille , Gilbert, Lester and Wills, Gary (2012) Mobile instant messaging used to provide support and advice to South African youth. International Journal of ICT Research and Development in Africa (IJICTRDA), 3, (2)
Pinpathomrat, Nakarin, Gilbert, Lester and Wills, Gary (2012) A model for the uptake and continued use of e-learning in Thai higher education. In, Asia Regional OpenCourseWare and Open Education Conference (AROOC2012) , Bangkok, TH, 21 - 22 Jan 2012.
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.
Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2012) Toward a Framework for Localisation of Product Software across Organisational Boundaries.
Qahtani, Abdulrahman , Gary, Wills and Andrew, Gravell (2012) Toward a framework for development and specialisation of product software across organisational boundaries. In, International Conference on Information Society (i-Society 2012), London, GB, 5pp.
Qahtani, Abdulrahman , Gravell, Andrew and Wills, Gary (2012) Toward a framework for software development across organisational boundaries. In, PhD Symposium in 13th International Conference on Agile Software Development (XP2012), Malmo, Sweden, 21 - 25 May 2012. 4pp.
Said, Mar Yah (2012) ATM Case study models - UML-B/Event-B. [dataset]
Sarshogh, Mohammad Reza (2012) AppendixC: Event-B Model of the Message Passing Case-study (Manual). , University of Southampton
Sarshogh, Mohammad Reza (2012) Thesis Appendix_Gear Controller Case-study(Plugin1). , University of Southampton
Sarshogh, Mohammad Reza (2012) Thesis Appendix_Gear Controller Case-study(Plugin2). , University of Southampton
Sarshogh, Mohammad Reza (2012) Thesis Appendixes-Gear Controller Case-study (Time Added Manually). , University of Southampton
Shafik, R.A., Al-Hashimi, B.M., Mathew, J., Pradhan, D.K. and Mohanty, S.P. (2012) RAEF: a power normalized system-level reliability analysis and estimation framework. In, IEEE Computer Society Annual Symposium on VLSI, Amherst, US, 19 - 21 Aug 2012.
Shafik, Rishad Ahmed, Al-Hashimi, Bashir M. and Reeve, Jeff S. (2012) System-level design optimization of reliable and low power multiprocessor system-on-chip. Microelectronics Reliability, 52, (8), 1735-1748. (doi:10.1016/j.microrel.2012.03.002).
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2012) An Equivalent Architecture of Learner's and Instructor's Knowledge through the Matching of Intended Learning Outcome. In, 5th World Summit on the Knowledge Society, Rome, Italy, 20 - 22 Jun 2012.
Tinati, Ramine, Carr, Les, Hall, Wendy and Bentwood, Johnny (2012) Scale Free: Twitter’s Retweet Network Structure. At Network Science 2012, Evanston, US,
Tribastone, Mirco, Ding, Jie, Gilmore, Stephen and Hillston, Jane (2012) Fluid rewards for a stochastic process algebra. IEEE Transactions on Software Engineering, 38, 861-874. (doi:10.1109/TSE.2011.81).
Tribastone, Mirco, Gilmore, Stephen and Hillston, Jane (2012) Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering, 38, (1), 205-219. (doi:10.1109/TSE.2010.82).
Uzun, Emre, Atluri, Vijayalakshmi, Sural, Shamik, Vaidya, Jaideep, Gennaro, Parlato, Ferrara, Anna Lisa, Madhusudan, P. and UNSPECIFIED (2012) Analyzing temporal role based access control models. 17th ACM Symposium on Access Control Models and Technologies, SACMAT '12, 177 -186.
Walters, Robert John, Crouch, Stephen and Bennett, Phillip (2012) Building computational grids using ubiquitous web technologies. In, 13th IFIP Working Conference on Virtual Enterprises, Bournemouth, Borough of, GB, 01 - 03 Oct 2012. 8pp.
Wang, Yangang, Zwolinski, Mark, Appleby, Andrew, Scoones, Mark, Caldwell, Sonia, Azam, Touqeer, Hurat, Philippe and Pitchford, Chris (2012) Analysis, quantification, and mitigation of electrical variability due to layout dependent effects in SOC designs. In, Mason, Mark E. (ed.) Design for Manufacturability through Design-Process Integration VI. Bellingham, US, The International Society for Optical Engineering, 83270F. (Proceedings of SPIE, 8327). (doi:10.1117/12.916458).
Weddell, Alex S., Merrett, Geoff V., Barrow, Stuart and Al-Hashimi, Bashir M. (2012) Vibration-powered sensing system for engine condition monitoring. In, IET Wireless Sensor Systems 2012, London, GB, 18 - 19 Jun 2012. Institution of Engineering and Technology5pp.
Weddell, Alex S., Zhu, Dibin, Merrett, Geoff V., Beeby, S.P. and Al-Hashimi, B.M. (2012) A practical self-powered sensor system with a tunable vibration energy harvester. In, PowerMEMS 2012, Atlanta, US, 02 - 05 Dec 2012. 4pp. (Submitted).
Whitelock, Denise M., Gilbert, Lester, Hatzipanagos, Stylianos, Watt, Stuart, Zhang, Pei, Gillary, Paul and Recio, Alejandra (2012) Addressing the Challenges of Assessment and Feedback in Higher Education: A collaborative effort across three UK Universities. In, INTED 2012, Valencia, Spain,
Wongse-ek, Woraluck, Wills, Gary and Gilbert, Lester (2012) Calculating learner’s trust in teaching activity. At Reasoning Web 2012 Summer School, Vienna, Austria, 03 - 08 Sep 2012.
Wood, Alex L., Merrett, Geoff V., Gunn, Steve R., Al-Hashimi, Bashir M., Shadbolt, Nigel R and Hall, Wendy (2012) Adaptive sampling in context-aware systems: a machine learning approach. In, IET Wireless Sensor Systems 2012, London, GB, 18 - 19 Jun 2012. 5pp.
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.
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).
Yeolekar, Pranav, Shafik, Rishad A, Mathew, Jimson, Pradhan, Dhiraj K and Mohanty, Saraju P (2012) STEP: a unified design methodology for secure test and IP core protection. In, GLSVLSI 2012, Salt Lake City, US, 03 - 04 May 2012. Association for Computing Machinery, 333-338. (doi:10.1145/2206781.2206862).
Yu, Tai-Tuck, Scanlan, James P., Crowder, Richard M. and Wills, Gary B. (2012) Approaches to modeling the gas-turbine maintenance process. Journal of Computing and Information Science in Engineering, 12, (1), 011007-[9pp]. (doi:10.1115/1.3647876).
Zilli, D. and Merrett, G.V. (2012) Design and comparative analysis of single-path and epidemic approaches to information and energy management in wireless sensor networks. In, IET Wireless Sensor Systems 2012, London, GB, 18 - 19 Jun 2012. 5pp.
Zuo, X., Perez-Andrade, I., Maunder, R.G., Al-Hashimi, B.M. and Hanzo, L. (2012) Improved stochastic LDPC decoder for correcting both channel-induced transmission errors and clock-scaling-induced timing errors. IEEE Transactions on VLSI Systems, 1-9. (Submitted).