Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2013
|Up a level|
Derrick, John, Boiten, Eerke A. and Reeves, Steve (eds.) (2013) Proceedings 16th International Refinement Workshop, EPTCS
Butler, Michael, Hallerstede, Stefan and Walden, Marina (eds.) (2013) Proceedings of the 4th Rodin User and Developer Workshop, Turku, FI, Turku Centre for Computer Science, 41pp. (TUCS Publication Series).
Agarwal, A., Singh, A., Acharyya, A., Shafik, R.A. and Ahamed, S.R. (2013) Energy efficient and high-speed robust channel identification methodology to solve permutation indeterminacy in ICA for artifacts removal from ECG in remote healthcare. In, IEEE International Symposium on Electronic System Design (ISED), Singapore, SG, 12 - 13 Dec 2013.
Alateyah, Suilaiman, Crowder, Richard and Wills, Gary (2013) Factors influencing citizen intention to adopt egovernment in Saudi Arabia. In, 2013 International Conference on Information Society (i-Society), Toronto, CA, , 250-255.
Alateyah, Suilaiman, Crowder, Richard M. and Wills, Gary B. (2013) Factors Affecting the Citizen’s Intention to Adopt E-government in Saudi Arabia. International Journal of Social, Human Science and Engineering, 7, (9), 80-85.
Alateyah, Sulaiman, Crowder, Richard M and Wills, Gary B. (2013) An integrated model for influencing Saudi Arabian citizens to adopt E-government services. In, International Conference on Cloud Computing and eGovernance. , Dubai, AE, 6pp, 38-44.
Alateyah, Sulaiman, Crowder, Richard M. and Wills, Gary B. (2013) Identified Factors Affecting the Citizen’s Intention to Adopt E-government in Saudi Arabia. International Journal of Social, Human Science and Engineering, 7, (8), 244-252.
Alkhammash, Eman, Salehi Fathabadi, Asieh, Butler, Michael and Cirstea, Corina (2013) Building Traceable Event-B Models from Requirements. In, Automated Verification of Critical Systems (AVoCS 2013)
Almutiry, Omar, Wills, Gary, Alwabel, Abdulelah, Crowder, Richard and Walters, Robert John (2013) Toward a framework for data quality in cloud-based health information system. In, 2013 International Conference on Information Scociety (i-society), 24 - 26 Jun 2013. , 153-157.
Almutiry, Omar, Wills, Gary and Crowder, Richard (2013) Towards a framework for data quality in Electonic health records. In, IADIS International Conference, e-Society 2013 , Lisbon, PT,
Alotaibi, Hanan, Crowder, Richard and Wills, Gary (2013) Investigating Factors for Knowledge Sharing Using Web Technologies. At i-know 2013, Graz, AT,
Alqurashi, Ezzat, Wills, Gary and Gilbert, Lester (2013) A viable system model for information security governance: establishing a baseline of the current information security operations system. In, Janczewski, Lech J., Wolfe, Henry B. and Shenoi, Shujeet (eds.) Security and Privacy Protection in Information Processing Systems. 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings. Berlin, DE, Heidelberg, DE, Springer, 245-256. (IFIP Advances in Information and Communication Technology, 405). (doi:10.1007/978-3-642-39218-4_19).
Anderson, Gabrielle (2013) Behavioural properties and dynamic software update for concurrent programmes. University of Southampton, Faculty of Physical Science and Engineering, Doctoral Thesis , 208pp.
Badan, Mohammad Imran bin, Bhattacharjee, Subhasish, Shafik, Rishad A., Mathew, Jimson and Pradhan, Dhiraj K. (2013) Lifetime reliability aware checkpointing mechanism: modelling and analysis. In, IEEE International Symposium on Electronic System Design (ISED), Singapore, SG, 12 - 13 Dec 2013.
Banach, Richard and Butler, Michael (2013) Cruise Control in Hybrid Event-B. In, International Colloquium on Theoretical Aspects of Computing (ICTAC)
Banach, Richard and Butler, Michael (2013) A Hybrid Event-B Study of Lane Centering. In, Complex Systems Design & Management (CSD&M) 2013
Beeby, S.P., Wang, Leran, Zhu, Dibin, Weddell, Alex S., Merrett, Geoff V., Stark, Bernard, Szarka, Gyorgy and Al-Hashimi, Bashir M. (2013) A comparison of power output from linear and non-linear kinetic energy harvesters using real vibration data. Smart Materials and Structures, 22, (7), 075022. (doi:10.1088/0964-1726/22/7/075022).
Bischoff, Sascha, Hansson, Andreas and Al-Hashimi, Bashir M. (2013) Applying quality of experience to system optimisation. In, 23th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2013), Karlsruhe, DE, 09 - 11 Sep 2013. (Submitted).
Boettcher, Matthias, Gabrielli, Giacomo, Al-Hashimi, Bashir M. and Kershaw, Danny (2013) MALEC: a multiple access low energy cache. In, DATE2013: Design Automation and Test Conference in Europe , Grenoble, FR, 19 - 22 Mar 2013. 6pp.
Butler, Michael (2013) Mastering System Analysis and Design through Abstraction and Refinement. In, Engineering Dependable Software Systems. Summer School on Engineering Dependable Software Systems, Marktoberdorf, Germany, 2012 , IOS Press.
Butler, Michael, Colley, John, Edmunds, Andrew, Snook, Colin, Evans, Neil, Grant, Neil and Marshall, Helen (2013) Modelling and Refinement in CODA. In, Refine , 36-51.
Butler, Michael and Maamria, Issam (2013) Practical Theory Extension in Event-B. In, Festschrift Symposium in Honour of He Jifeng on the Occasion of His 70th Birthday
Butler, Michael, Voisin, Laurent and Muller, Thomas (2013) Tooling in DEPLOY. In, Romanovsky, Alexander and Thomas, Martin (eds.) Industrial Deployment of System Engineering Methods. , Springer.
Chaisriya, Somjit, Gilbert, Lester and Wills, Gary B. (2013) The game challenge model. In, International Conferences: part of the IADIS Multi Conference MCCSIS 2013: e-Learning, Lisbon, PT, 22 - 24 Jul 2013. 4pp.
Chang, Victor (2013) Business integration as a service: computational risk analysis for small and medium enterprises adopting SAP. International Journal of Next-Generation Computing, 4, (3)
Chang, Victor (2013) A Case Study for Business Integration as a Service. In, Trends in E-Business, E-Services, and E-Commerce: Impact of Technology on Goods, Services, and Business Transactions. , IGI Global. (doi:10.4018/978-1-4666-4510-3).
Chang, Victor (2013) Cloud Bioinformatics in a private cloud deployment. In, Advancing Medical Practice through Technology: Applications for Healthcare Delivery, Management, and Quality. , IGI Global. (doi:10.4018/978-1-4666-4619-3.ch011).
Chang, Victor (2013) Cloud Computing for brain segmentation technology. In, IEEE CloudCom 2013, 02 - 05 Dec 2013.
Chang, Victor (2013) A proposed model to analyse risk and return for a large computing system adoption. University of Southampton, Physical Science and Engineering, Doctoral Thesis , 288pp.
Chang, Victor, Walters, Robert John and Wills, Gary (2013) Cloud Storage and Bioinformatics in a private cloud deployment: Lessons for Data Intensive research. In, Cloud Computing and Service Science. , Springer Lecture Notes Series, Springer Book. (doi:10.1007/978-3-319-04519-1_16).
Chang, Victor, Walters, Robert John and Wills, Gary (2013) The development that leads to the Cloud Computing Business Framework. International Journal of Information Management, June, 33, (3), 524-538. (doi:10.1016/j.ijinfomgt.2013.01.005).
Chang, Victor and Wills, Gary (2013) A University of Greenwich Case Study of Cloud Computing – Education as a Service. In, E-Logistics and E-Supply Chain Management: Applications for Evolving Business. , IGI Global.
Chen, Taihai (2013) On the trade-off of accuracy and computational complexity for classifying normal and abnormal ECG in remote CVD monitoring systems. Southampton, GB, University of Southampton, 1pp.
Chen, Taihai, Mazomenos , Evangelos B. , Maharatna, Koushik, Dasmahapatra, Srinandan and Niranjan, Mahesan (2013) Design of a low-power on-body ECG classifier for remote cardiovascular monitoring systems. IEEE Journal of Emerging and Selected Topics in Circuits and Systems, 3, (1), 75-85. (doi:10.1109/JETCAS.2013.2242772).
Chen-Wilson, Lisha (2013) eCert: a secure and user centric edocument transmission protocol: solving the digital signing practical issues. University of Southampton, Physical Sciences and Engineering, Doctoral Thesis , 294pp.
Colley, John and Butler, Michael (2013) A Formal, Systematic Approach to STPA using Event-B Refinement and Proof. In, 21th Safety Critical System Symposium,
Das, Saptarshi and Maharatna, Koushik (2013) Fractional dynamical model for the generation of ECG like signals from filtered coupled Van-der Pol oscillators. Computer Methods and Programs in Biomedicine, 112, (3), 490-507. (doi:10.1016/j.cmpb.2013.08.012). (PMID:24028797).
Dghaym, Dana, Butler, Michael and Salehi Fathabadi, Asieh (2013) Evaluation of graphical control flow management approaches for Event-B modelling. [in special issue: Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVocS 2013)] Electronic Communications of the EASST, 66, 1-15.
Dima, Sofia-Maria, Panagiotou, Christos, Mazomenos , Evangelos B. , Rosengarten, James, Maharatna, Koushik, Gialelis, John, Curzen, Nick and Morgan, John (2013) On the detection of myocadial scar based on ECG/VCG analysis. IEEE Transactions on Biomedical Engineering, 60, (12), 3399-3409. (doi:10.1109/TBME.2013.2279998). (PMID:24001951).
Edmunds, Andrew (2013) Developments in Code Generation Tools for Event-B. In, 4th Rodin User and Developer Workshop
Edmunds, Andy (2013) Code generation with tasking event-b. Southampton, GB, University of Southampton, 50pp.
Fadhel, Nawfal, Wills, Gary and Crowder, Richard M. (2013) Approaches to maintaining provenance throughout the additive manufacturing process. In, 2013 World Congress on Internet Security (WorldCIS), London, GB, 09 - 11 Dec 2013. , 82-87. (doi:10.1109/WorldCIS.2013.6751022).
Ferrara, Anna Lisa, Madhusudan, P. and Parlato, Gennaro (2013) Policy analysis for self-administrated role-based access control. In, TACAS 2013: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Rome, IT, 16 - 24 Mar 2013. 15pp.
Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: a concurrency pre-processor for sequential c verification tools (tool demonstration). In, 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) IEEE.
Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: A Sequentialization Tool for C - (Competition Contribution). In, Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013 , 616-618.
Garg, Pranav, Madhusudan, P. and Parlato, Gennaro (2013) Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists. In, 20th Static Analysis Symposium
Gondal, Ali (2013) Feature-oriented reuse with Event-B and Rodin. University of Southampton, Faculty of Physical Sciences and Engineering, Doctoral Thesis , 171pp.
Grech, Neville (2013) Preemptive type checking in dynamically typed programs. University of Southampton, Physical Sciences and Engineering, Doctoral Thesis , 148pp.
Hart, Darren (2013) Direct and reflex motor effects of conventional and catch-like electrical stimulation for dropped foot correction. University of Southampton, Physical Sciences and Engineering, Doctoral Thesis , 340pp.
Huang, Xiaoyu, Mathew, Jimson, Shafik, Rishad A., Bhattacharjee, Subhasis and Pradhan, Dhiraj K. (2013) A fast and effective DFT for test and diagnosis of power switches in SoCs. In, ACM/IEEE Conference on Design, Automation and Test in Europe , Grenoble, France, 18 - 22 Mar 2013. IEEE4pp, 1089-1092. (doi:10.7873/DATE.2013.229).
Intana, Adisak, Poppleton, Michael R. and Merrett, Geoff V. (2013) Adding value to WSN simulation through formal modelling and analysis. In, Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, San Francisco, US, 18 - 26 May 2013.
Inverso, Omar, La Torre, Salvatore, Tomasco, Ermenegildo and Parlato, Gennaro (2013) Looking at Computations from a Different Angle. , University of Southampton (Submitted)
Ireland, Andrew, Grov, Gudmund, Llano, Maria Teresa and Butler, Michael (2013) Reasoned modelling critics: turning failed proofs into modelling guidance. [in special issue: Abstract State Machines, Alloy, B and Z - Selected Papers from ABZ 2010] Science of Computer Programming, 78, (3), 293-309. (doi:10.1016/j.scico.2011.03.006).
Jamal, Wasifa, Das, Saptarshi and Maharatna, Koushik (2013) Existence of millisecond-order stable states in time-varying phase synchronization measure in EEG signals. In, 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Osaka, Japan, 03 - 07 Jul 2013. 4pp, 2539-2542. (doi:10.1109/EMBC.2013.6610057).
Jiang, Teng, Merrett, Geoff V. and Harris, N.R. (2013) Opportunistic direct interconnection between co-located wireless sensor networks. In, Sixth International Workshop on Sensor Networks, Nassau, BS, 30 Jul - 02 Aug 2013. 5pp.
Jiang, Teng, Merrett, Geoff V. and Harris, N.R. (2013) Opportunistic energy trading between co-located energy-harvesting wireless sensor networks. In, 1st International Workshop on Energy Neutral Sensing Systems, Rome, IT, 11 - 14 Nov 2013. (doi:10.1145/2534208.2534212).
Kazmierski, Tom J., Wang, Leran, Al-Hashimi, Bashir and Merrett, Geoff V. (2013) DoE-based performance optimization of energy management in sensor nodes powered by tunable energy-harvesters. Design, Automation and Test in Europe (DATE 13), Grenoble, FR, 18 - 22 Mar 2013. , 484. (doi:10.7873/DATE.2013.110).
La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2013) On Multi-stack Visibly Pushdown Languages. , University of Southampton, 20pp.
Lau, Sei Ping, Merrett, Geoff V. and White, Neil M. (2013) Energy-efficient street lighting through embedded adaptive intelligence. In, Symposium on Intelligent Transportation Systems (ICALT-ITS’2013), Sousse, TN, 29 - 31 May 2013. IEEE. (doi:10.1109/ICAdLT.2013.6568434).
Li, L., Maunder, R.G., Al-Hashimi, B.M., Zwolinski, M. and Hanzo, L. (2013) Energy-conscious turbo decoder design: a joint signal processing and transmit energy reduction approach. IEEE Transactions on Vehicular Technology, 62, (8), 3627-3638.
Li, Liang, Maunder, Robert G., Al-Hashimi, Bashir and Hanzo, Lajos (2013) A low-complexity turbo decoder architecture for energy-efficient wireless sensor networks. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 21, (1), 14-22. (doi:10.1109/TVLSI.2011.2177104).
Li, Xun, Merrett, Geoff V. and White, Neil M. (2013) Energy-efficient data acquisition for accurate signal estimation in wireless sensor networks. EURASIP Journal on Wireless Communications and Networking, 2013, (230), 1-15. (doi:10.1186/1687-1499-2013-230).
Maamria, Issam (2013) Towards a practically extensible Event-B methodology. University of Southampton, Faculty of Physical & Applied Science, Doctoral Thesis , 183pp.
Maheshwari, Sidharth , Acharyya, Amit , Puddu, Paolo Emilio, Mazomenos , Evangelos B. , Leekha, Gourav , Maharatna, Koushik and Schiariti, Michele (2013) An automated algorithm for online detection of fragmented QRS and identification of its various morphologies. Journal of the Royal Society Interface, 10, (89), 20130761-[16pp]. (doi:10.1098/rsif.2013.0761).
Mazomenos, E.B., Biswas, D., Acharyya, A., Chen, T., Maharatna, K., Rosengarten, J., Morgan, J. and Curzen, N. (2013) A low-complexity ECG feature extraction algorithm for mobile healthcare applications. IEEE Journal of Biomedical and Health Informatics, 17, (2), 459-469. (doi:10.1109/TITB.2012.2231312). (PMID:23362250).
Merrett, Geoff V. (2013) New tricks with old sensors: Pervasive Technologies for Novel Applications. Sensors & their Applications XVII, Dubrovnik, HR, 16 - 18 Sep 2013. IOP Publishing, 012002. (doi:10.1088/1742-6596/450/1/012002).
Mery, Dominique and Poppleton, Michael (2013) Formal modelling and verification of population protocols. In, iFM 2013: 10th International Conference on integrated Formal Methods, Turku, FI, 10 - 14 Jun 2013. 15pp. (In Press).
Mistry, Jatin, Myers, James, Al-Hashimi, Bashir, Flynn, David, Biggs, John and Merrett, Geoff V. (2013) Active mode subclock power gating. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 1-11. (doi:10.1109/TVLSI.2013.2280886).
Mistry, Jatin N. (2013) Leakage power minimisation techniques for embedded processors. University of Southampton, Faculty of Physical & Applied Science, Doctoral Thesis , 210pp.
Omana, Martin, Rossi, Daniele, Bosio, Nicolo' and Metra, Cecilia (2013) Low cost NBTI degradation detection and masking approaches. IEEE Transactions on Computers, 62, (3), 496-509. (doi:10.1109/TC.2011.246).
Omana, Martin, Rossi, Daniele, Fuzzi, Filippo, Metra, Cecilia, Tirumurti, Chandra and Galivanche, Rajesh (2013) Novel approach to reduce power droop during scan-based logic BIST. In, 18th IEEE European Test Symposium (ETS), Avignon, FR, 27 - 30 May 2013. , 1-6. (doi:10.1109/ETS.2013.6569375).
Omana, Martin, Rossi, Daniele, Giaffreda, Daniele, Specchia, Roberto, Metra, Cecilia, Marzencki, Marcin and Kaminska, Bozena (2013) Faults affecting energy harvesting circuits of self-powered wireless sensors and their possible concurrent detection. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 21, (12), 2286-2294. (doi:10.1109/TVLSI.2012.2230036).
Perez-Andrade, I., Zuo, X., Maunder, R.G., Al-Hashimi, B.M. and Hanzo, L. (2013) Analysis of voltage- and clock-scaling-induced timing errors in stochastic LDPC decoders. In, 2013 IEEE Wireless Communications and Networking Conference (WCNC), Shanghai, CN, 07 - 10 Apr 2013. , 4293-4298. (doi:10.1109/WCNC.2013.6555268).
Pinpathomrat, Nakarin, Gilbert, Lester and Wills, Gary (2013) A model of e-learning adoption in higher education institutions: national culture consideration. In, E-LEARN 2013 - World Conference on E-Learning, Las Vegas, US, 21 - 24 Oct 2013.
Prodromakis, T. (2013) Two centuries of memristors. In, Chen, G. and Adamatzky, A. (eds.) Chaos, CNN, Memristors and Beyond: A Festschrift for Leon Chua. London, GB, World Scientific, 508-517.
Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2013) Customising software products in distributed software development a model for allocating customisation requirements across organisational boundaries. In, International Conference on Information Society (i-Society 2013), Toronto, Canada, 24 - 26 Jun 2013.
Qahtani, Abdulrahman, Wills, Gary and Gravell, Andrew (2013) A framework of challenges and key factors for applying agile methods for the development and customisation of software products in distributed projects. International Journal of Digital Society, Special Issue, (1/1), 766-773.
Recio, Alejandra, Whitelock, Denise, Gilbert, Lester, Hatzipanagos, Stylianos, Gillary, Paul, Watt, Stuart and Zhang, Pei (2013) Improving a tutor’s feedback assessment tool: transforming Open Mentor following two recent deployments. International Journal of E-Assessment , 3, (1), 1-16.
Reddy, B.K., Sabbavarapu, S., Gupta, K., Prabhat, R., Acharyya, A., Shafik, R.A. and Mathew, J. (2013) A novel and unified digital IC design and automation methodology with reduced NRE cost and time-to-market. In, IEEE International Symposium on Electronic System Design (ISED), Singapore, SG, 12 - 13 Dec 2013.
Rossi, Daniele, Omana, Martin, Garrammone , Giuliano, Metra, Cecilia and Jas, Abhijit (2013) Low cost concurrent error detection strategy for the control logic of high performance microprocessor RAS improvement. Journal of Electronic Testing Theory and Applications (JETTA), 29, 401-413. (doi:10.1007/s10836-013-5355-2).
Sabbavarapu, S., Reddy, B.K., Prabhat, R., Gupta, K., Acharyya, A., Shafik, R.A. and Mathew, J. (2013) A novel physical synthesis methodology in the VLSI design automation by introducing dynamic library concept. In, IEEE International Symposium on Electronic System Design (ISED), Singapore, SG, 12 - 13 Dec 2013.
Sarshogh, Mohammad Reza (2013) Extending Event-B with discrete timing properties. University of Southampton, Faculty of Physical Sciences and Engineering, Doctoral Thesis , 217pp.
Satpathy, M., Ramesh, S., Snook, Colin, Singh, N.K. and Butler, Michael (2013) A Mixed Approach to Rigorous Development of Control Designs. In, IEEE Multi-Conference on Systems and Control (MSC 2013)
Satpathy, Manoranjan, Snook, Colin, Arora, Silky, Ramesh, S and Butler, Michael (2013) Systematic Development of Control Designs via Formal Refinement. In, International Conference on Model-Driven Engineering and Software Development
Savicks, Vitaly, Butler, Michael, Bendisposto, Jens and Colley, John (2013) Co-simulation of Event-B and Continuous Models in Rodin. In, 4th Rodin User and Developer Workshop
Shafik, Rishad Ahmed, Rauwerda, Gerard, Potman, Jordy, Sunesen, Kim, Pradhan, Dhiraj K., Mathew, Jimson and Sourdis, Ioannis (2013) Software modification aided transient error tolerance for embedded systems. In, 16th Euromicro Conference on Digital System Design (Euromicro DSD/SEAA 2013, Santander, Spain, 04 - 06 Sep 2013. 8pp.
Sourdis, I., Shafik, R.A., Strydis, C., Pnevmatikatos, D., Theodoropoulos, D., Pradhan, D.K. and Rauwerda, G. (2013) Towards on-demand system reliability: software implemented fault tolerance and testing. European Test Symposium (ETS), Avignon, FR, 27 - 31 May 2013. , in-press.
Sourdis, Ioannis, Strydis, Christos, Armato, Antonino, Bouganis, Christos-Savvas, Falsafi, Babak , Gaydadjiev, Georgi, Isaza, Sebastian, Malek, Alirad, Mariani, Riccardo, Pnevmatikatos, Dionisios N, Pradhan, Dhiraj K, Rauwerda, Gerard, Seepers, Robert, Shafik, Rishad Ahmed, Sunesen, Kim, Theodoropoulos, Dimitris, Tzilis, Stavros and Vavouras, Michail (2013) DeSyRe: on-Demand System Reliability. Microprocessors and Microsystems, 37, (2013), 981-1001. (doi:10.1016/j.micpro.2013.08.008).
Stallwood, James, Ranchhod, Ashok and Wills, Gary (2013) A Model for in-Simulation Assessment. In, International Computer Assisted Assessment (CAA) , Southampton, GB, 09 - 10 Jul 2013.
Sun, Luo, Mathew, Jimson, Shafik, Rishad A. and Pradhan, Dhiraj K. (2013) Low power and robust binary tree SRAM design for embedded systems. In, IEEE International Symposium on Electronic System Design (ISED), Singapore, SG, 12 - 13 Dec 2013.
Tangworakitthaworn, Preecha (2013) ILO diagram: a conceptual model for curriculum development. IEEE Technology and Engineering Education, 8, (3), 12-19.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2013) A conceptual model of intended learning outcomes supporting curriculum development. In, 32nd International Conference on Conceptual Modeling (ER 2013), Hong Kong, HK, 11 - 13 Nov 2013. 13pp, 161-173.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2013) Facilitating Formative Assessment Through Learning Paths Extracted From a Logical Structure of Intended Learning Outcomes. In, International Computer Assisted Assessment (CAA 2013) Conference , 09 - 10 Jul 2013.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary B. (2013) Designing and diagraming an intended learning outcome structure: a case study from the instructors' perspective. In, 13th IEEE International Conference on Advanced Learning Technologies (ICALT), Beijing, CN, 15 - 18 Jul 2013. , 189-193. (doi:10.1109/ICALT.2013.58).
Tenentes, V. and Kavousianos, X. (2013) High-quality statistical test compression with narrow ATE interface. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 32, (9), 1369-1382. (doi:10.1109/TCAD.2013.2256394).
Vimalathithan, R., Rossi, Daniele, Omana, Martin, Metra, Cecilia and Valarmathi, M. L. (2013) Polynomial based key distribution scheme for WPAN. Malaysian Journal of Mathematical Sciences, 7, (S), 59-72.
Wang, Ning, Merrett, Geoff V., Maunder, Robert G. and Rogers, Alex (2013) Energy and Accuracy Trade-Offs in Accelerometry-Based Activity Recognition. In, 2013 22nd International Conference on Computer Communications and Networks (ICCCN) , Nassau, BS, 30 Jul - 02 Aug 2013. 6pp, 1-6. (doi:10.1109/ICCCN.2013.6614133).
Weddell, Alex S., Zhu, Dibin, Merrett, Geoff V., Beeby, Stephen P. and Al-Hashimi, Bashir M. (2013) Tunable vibration energy harvester. In, 1st International Workshop on Energy Neutral Sensing Systems (ENSsys 2013), Rome, IT, 14 Nov 2013. (doi:10.1145/2534208.2534226).
Weddell, Alexander S., Magno, Michele, Merrett, Geoff V., Brunelli, Davide, Al-Hashimi, Bashir and Benini, Luca (2013) A Survey of Multi-Source Energy Harvesting Systems. In, Design, Automation and Test in Europe (DATE), Grenoble, France, 18 - 22 Mar 2013. 4pp. (doi:10.7873/DATE.2013.190).
Wilkinson, Toby (2013) Enriched coalgebraic modal logic. University of Southampton, faculty of Physical Sciences and Engineering, Doctoral Thesis , 228pp.
Wongse-ek, Woraluck, Wills, Gary and Gilbert, Lester (2013) Towards a trust model in e-learning: antecedents of a student’s trust. In, IADIS e-Learning 2013 Conference, Prague, CZ, 23 - 26 Jul 2013.
Yang, Sheng (2013) Error resilient techniques for storage elements of low power design. University of Southampton, Faculty of Physical Sciences and Engineering, Doctoral Thesis , 193pp.
Yang, Sheng, Khursheed, Saqib, Al-Hashimi, Bashir M., Flynn, David and Merrett, Geoff V. (2013) Improved state integrity of flip-flops for voltage scaled retention under PVT variation. IEEE Transactions on Circuits and Systems I: Regular Papers, 60, (11), 1-9. (doi:10.1109/TCSI.2013.2252640).
Yang, Y., Mathew, J., Shafik, R.A. and Pradhan, D.K. (2013) Verilog-A based effective complementary resistive switch model for simulations and analysis. IEEE Embedded Systems Letters (In Press).
Yeganefard, Sanaz and Butler, Michael (2013) Problem Decomposition and Sub-Model Reconciliation of Control Systems in Event-B. In, IEEE International Workshop on Formal Methods Integration
Zhao, Yi (2013) Design and validation of online fault tolerance architecture for TSV-based 3D-IC. Southampton, GB, University of Southampton, 19pp.
Zhong, Shida (2013) Fault modelling and accelerated simulation of integrated circuits manufacturing defects under process variation. University of Southampton, Faculty of Physical & Applied Science, Doctoral Thesis , 200pp.
Zuo, X., Perez-Andrade, I., Maunder, R.G., Al-Hashimi, B.M. and Hanzo, L. (2013) Improved stochastic LDPC decoder for correcting both channel-induced transmission errors and clock-scaling-induced timing errors. IEEE Transactions on VLSI Systems, 1-9.