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. (Inventors) (2012) Haptic device
Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2012) Citizen adoption of E-government services At International Conference on Information Society (i-Society 2012), United Kingdom. 6 pp, pp. 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 for Digital Society (IJDS), 3, (3/4), pp. 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), United Kingdom. 2 pp.
Alwabel, Abdulelah, Walters, Robert John and Wills, Gary (2012) Towards performance evaluation in Volunteer Clouds At 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 At International Conference on Agile and Lean Software Methods (AgileIndia2012), India. 17 - 19 Feb 2012.
Asnawi, Ani Liza, Gravell, Andrew and Wills, Gary (2012) Factor Analysis: Investigating Important Aspects for Agile Adoption in Malaysia At International Conference on Agile and Lean Software Methods (AgileIndia2012), India. 17 - 19 Feb 2012.
Bicknell, Brett, Reis, Jose, Butler, Michael, Colley, John and Snook, Colin (2012) A Practical Approach for Closed Systems Formal Verification Using Event-B At 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). , pp. 323-332.
Bolchini, C., Miele, A., Sandionigi, C., Ottavi, M., Pontarelli, S., Salsano, A, Metra, C., Omana, M., Rossi, D., Sonza Reorda, M., Sterpone, L., Violante, M., Gerardin, S., Bagattin, M. and Paccagnella, A. (2012) High-reliability fault tolerant digital systems in nanometric technologies: characterization and design methodologies At IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, United States. 03 - 05 Oct 2012. , pp. 121-125. (doi:10.1109/DFT.2012.6378211).
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), pp. 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), pp. 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 At IEEE Workshop on Signal Processing Systems, Canada. 17 - 19 Oct 2012. 6 pp, pp. 37-42. (doi:10.1109/SiPS.2012.43).
Demain, Sara H., Cunningham, Sarah, Metcalf, Cheryl, 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 At ABZ 2012, Italy. 19 - 21 Jun 2012. 4 pp.
Edmunds, Andrew, Colley, John and Butler, Michael (2012) Building on the DEPLOY legacy: code generation and simulation At 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 At Rodin User and Developer Workshop, France. 27 - 29 Feb 2012. 2 pp.
Edmunds, Andrew, Rezazadeh, Abdolbaghi and Butler, Michael (2012) Formal modelling for Ada implementations: tasking Event-B At Ada-Europe 2012: 17th International Conference on Reliable Software Technologies, Sweden. 11 - 15 Jun 2012. 14 pp.
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, pp. 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 At 25th IEEE Computer Security Foundations Symposium (CSF). 13 pp, pp. 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 At ISED 2012: International Symposium on Electronic Systems Design, India. 19 - 22 Dec 2012. , pp. 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, United States. 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 s.n.
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 At IFESS 2012 conference; Smart Machines – Neural Evolution, Canada. 5 pp.
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), pp. 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 At International Workshop on Algorithms and Concepts for Networked Sensing Systems Powered by Energy Harvesters (EnHaNSS'12), Belgium. 11 - 14 Jun 2012. 4 pp.
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 and Ayala Garcia, Ivo (2012) Modeling of Wireless Sensor Nodes Powered by Tunable Energy Harvesters: HDL-Based Approach IEEE Sensors Journal, 12, (8), pp. 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 At 32nd Foundations of Software Technology and Theoretical Computer Science Conference (FSTTCS), India. 15 - 17 Dec 2012. 12 pp, pp. 173-184.
La Torre, Salvatore, Madhusudan, P. and Parlato, Gennaro (2012) Sequentializing parameterized programs At 4th International Workshop on Foundations of Interface Technologies. 21 pp.
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), pp. 289-313. (doi:10.1142/S1793351X12400090).
Lovell, Chris (2012) Active learning for discovery in the laboratory: characterising biomolecular systems At ALRA: Active Learning in Real-world Applications, United Kingdom. 28 Sep 2012.
Lovell, Chris, Edmunds, Andy, Silva, Renato, Maamria, Issam and Butler, Michael (2012) Ensuring extensibility within code generation At Rodin User and Developer Workshop, France. 27 - 29 Feb 2012.
Lovell, Chris and Gunn, Steve (2012) Towards Improved Theoretical Problems for Autonomous Discovery IEEE WCCI IJCNN 2012
Mak, Terrence, yakovlev, Alex, Dahir, Nizar and Xia, Fei (2012) Modeling and tools for power supply variations analysis in networks-on-chip IEEE Transactions on Computers, 63, (3), pp. 679-690. (doi:10.1109/TC.2012.272).
Mazomenos, Evangelos, Chen, Taihai, Acharyya, Amit, Bhattacharya, Arnab, Rosengarten, James and Maharatna, Koushik (2012) A Time-domain morphology and gradient based algorithm for ECG feature extraction At IEEE International Conference on Industrial Technology, Greece. 6 pp, pp. 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? At International Workshop Algorithms and Concepts for Networked Sensing Systems Powered by Energy Harvesters 2012 (EnHaNSS'12), Belgium. 11 Jun 2012. 5 pp.
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 At Power and Timing Modelling, Optimization and Simulation (PATMOS) 2012, United Kingdom. 04 - 06 Sep 2012. 10 pp.
Mistry, Jatin N. and Myers, James (2012) An ARM Cortex-M0 for Energy Harvesting Systems: A Novel Application of UPF with Synopsys’ Galaxy Platform At Synopsys User's Group (SNUG) 2012, Silicon Valley, CA, United States.
Morse, Jeremy, Cordeiro, Lucas, Nicole, Denis and Fischer, Bernd (2012) Model checking LTL properties over ANSI-C programs with bounded traces At 9th International Conference on Software Engineering and Formal Methods (SEFM 2011), Uruguay. 14 - 18 Nov 2011. 30 pp. (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), pp. 415-421. (doi:10.1016/j.brat.2012.03.001). (PMID:22516321).
Nitchot, Athitaya, Gilbert, Lester and Wills, Gary
Error parsing XML in render_xhtml_field: :1: parser error : xmlParseEntityRef: no name
ent>Competence Web-based System for Suggesting Study Materials Links: Approach &
At EdMedia 2012 - World Conference on Educational Media and Technology, United States.
Omana, Martin, Rossi, Daniele, Collepalumbo, Giacomo, Metra, Cecilia and Lombardi, Fabrizio (2012) Faults affecting the control blocks of PV arrays and techniques for their concurrent detection At IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, United States. 03 - 05 Oct 2012. , pp. 199-204. (doi:10.1109/DFT.2012.6378224).
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, pp. 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)
Perez-Andrade, I., Zuo, X., Maunder, R.G., Al-Hashimi, B.M. and Hanzo, L. (2012) Analysis of voltage- and clock-scaling-induced timing errors in stochastic LDPC decoders At 2013 IEEE Wireless Communications and Networking Conference (WCNC), China. 07 - 10 Apr 2013. , pp. 4293-4298. (doi:10.1109/WCNC.2013.6555268).
Pinpathomrat, Nakarin, Gilbert, Lester and Wills, Gary (2012) A model for the uptake and continued use of e-learning in Thai higher education At Asia Regional OpenCourseWare and Open Education Conference (AROOC2012), Thailand. 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 At Third International Workshop on Software Engineering for Sensor Network Applications, Switzerland. 2 pp.
Qahtani, Abdulrahman, Gary, Wills and Andrew, Gravell (2012) Toward a framework for development and specialisation of product software across organisational boundaries At International Conference on Information Society (i-Society 2012), United Kingdom. 5 pp.
Qahtani, Abdulrahman, Gravell, Andrew and Wills, Gary (2012) Toward a framework for software development across organisational boundaries At PhD Symposium in 13th International Conference on Agile Software Development (XP2012), Sweden. 21 - 25 May 2012. 4 pp.
Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2012) Toward a Framework for Localisation of Product Software across Organisational Boundaries
Said, Mar Yah, Snook, C. F. and Butler, M. J. (2012) ATM Case study models - UML-B/Event-B University of Southampton [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 At IEEE Computer Society Annual Symposium on VLSI, United States. 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), pp. 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 At 5th World Summit on the Knowledge Society, 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, United States.
Tribastone, Mirco, Ding, Jie, Gilmore, Stephen and Hillston, Jane (2012) Fluid rewards for a stochastic process algebra IEEE Transactions on Software Engineering, 38, pp. 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), pp. 205-219. (doi:10.1109/TSE.2010.82).
Uzun, Emre, Atluri, Vijayalakshmi, Sural, Shamik, Vaidya, Jaideep, Gennaro, Parlato, Ferrara, Anna Lisa and Madhusudan, P. (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 At 13th IFIP Working Conference on Virtual Enterprises, United Kingdom. 01 - 03 Oct 2012. 8 pp.
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 Mason, Mark E. (ed.) In Design for Manufacturability through Design-Process Integration VI. The International Society for Optical Engineering., 83270F. (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 At IET Wireless Sensor Systems 2012, United Kingdom. 18 - 19 Jun 2012. 5 pp.
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 At PowerMEMS 2012, United States. 02 - 05 Dec 2012. 4 pp.
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 At INTED 2012, Spain.
Wongse-ek, Woraluck, Wills, Gary and Gilbert, Lester (2012) Calculating learner’s trust in teaching activity At Reasoning Web 2012 Summer School, 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 At IET Wireless Sensor Systems 2012, United Kingdom. 18 - 19 Jun 2012. 5 pp.
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 At SenseCam 2012: Third Annual Symposium, United Kingdom. 03 - 04 Apr 2012. 20 pp.
Yeganefard, Sanaz and Butler, Michael (2012) Control systems: phenomena and structuring functional requirement documents At 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012)., France. 18 - 20 Jul 2012. 10 pp.
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 At GLSVLSI 2012, United States. 03 - 04 May 2012. , pp. 333-338. (doi:10.1145/2206781.2206862).
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 At IET Wireless Sensor Systems 2012, United Kingdom. 18 - 19 Jun 2012. 5 pp.