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 At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Alateyah, Suilaiman, Crowder, Richard and Wills, Gary (2013) Factors influencing citizen intention to adopt egovernment in Saudi Arabia At 2013 International Conference on Information Society (i-Society), Canada. , pp. 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), pp. 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. At International Conference on Cloud Computing and eGovernance., United Arab Emirates. 6 pp, pp. 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), pp. 244-252.
Alkhammash, Eman, Salehi Fathabadi, Asieh, Butler, Michael and Cirstea, Corina (2013) Building Traceable Event-B Models from Requirements At 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 At 2013 International Conference on Information Scociety (i-society). 24 - 26 Jun 2013. , pp. 153-157.
Almutiry, Omar, Wills, Gary and Crowder, Richard (2013) Towards a framework for data quality in Electonic health records At IADIS International Conference, e-Society 2013, Portugal.
Alotaibi, Hanan, Crowder, Richard and Wills, Gary (2013) Investigating Factors for Knowledge Sharing Using Web Technologies At i-know 2013, Austria.
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 Janczewski, Lech J., Wolfe, Henry B. and Shenoi, Shujeet (eds.) In Security and Privacy Protection in Information Processing Systems. 28th IFIP TC 11 International Conference, SEC 2013, Auckland, New Zealand, July 8-10, 2013. Proceedings. Springer., pp. 245-256. (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 At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Banach, Richard and Butler, Michael (2013) Cruise Control in Hybrid Event-B At International Colloquium on Theoretical Aspects of Computing (ICTAC).
Banach, Richard and Butler, Michael (2013) A Hybrid Event-B Study of Lane Centering At Complex Systems Design & Management (CSD&M) 2013.
Beeby, S.P., Wang, Leran, Zhu, Dibin, Weddell, Alex, 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), p. 75022. (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 At 23th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS 2013), Germany. 09 - 11 Sep 2013.
Boettcher, Matthias, Gabrielli, Giacomo, Al-Hashimi, Bashir M. and Kershaw, Danny (2013) MALEC: a multiple access low energy cache At DATE2013: Design Automation and Test Conference in Europe, France. 19 - 22 Mar 2013. 6 pp.
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 At Refine. , pp. 36-51.
Butler, Michael and Maamria, Issam (2013) Practical Theory Extension in Event-B At 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
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) The business intelligence as a service in the cloud [in special issue: Innovative Methods and Algorithms for Advanced Data-Intensive Computing; Semantics, Intelligent Processing and Services for Big Data; Advances in Data-Intensive Modelling and Simulation; Hybrid Intelligence for Growing Internet and its Applications] Future Generation Computer Systems, 37, pp. 512-534. (doi:10.1016/j.future.2013.12.028).
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 At 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), pp. 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 University of Southampton 1pp. , Southampton, GB
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), pp. 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 At 21th Safety Critical System Symposium.
Costante, Elisa, Paci, Federica and Zannone, Nicola (2013) Privacy-aware web service composition and ranking At 2013 IEEE International Conference on Web services (ICWS), United States. 08 Jun - 03 Jul 2013. , pp. 131-138. (doi:10.1109/ICWS.2013.27).
Dahir, Nizar, Al-Dujaily, Ra'ed, Mak, Terrence and Yakovlev, Alex (2013) Thermal optimization in network-on-chip-based 3D chip multiprocessors using dynamic programming networks [in special issue: Real-Time and Embedded Technology and Applications, Domain-Specific Multicore Computing, Cross-Layer Dependable Embedded Systems, and Application of Concurrency to System Design (ACSD'13)] ACM Transactions on Embedded Computing Systems, 13, (4s), pp. 1-25. (doi:10.1145/2584668).
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), pp. 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 At Proceedings of the 13th International Workshop on Automated Verification of Critical Systems (AVocS 2013), United Kingdom. 15 pp. (doi:10.14279/tuj.eceasst.66.891).
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), pp. 3399-3409. (doi:10.1109/TBME.2013.2279998). (PMID:24001951).
Edmunds, Andrew (2013) Developments in Code Generation Tools for Event-B At 4th Rodin User and Developer Workshop.
Edmunds, Andy (2013) Code generation with tasking event-b University of Southampton 50pp. , Southampton, GB
Fadhel, Nawfal, Wills, Gary and Crowder, Richard M. (2013) Approaches to maintaining provenance throughout the additive manufacturing process At 2013 World Congress on Internet Security (WorldCIS), United Kingdom. 09 - 11 Dec 2013. , pp. 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 At TACAS 2013: 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Italy. 16 - 24 Mar 2013. 15 pp.
Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: a concurrency pre-processor for sequential c verification tools (tool demonstration) At 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Fischer, Bernd, Inverso, Omar and Parlato, Gennaro (2013) CSeq: A Sequentialization Tool for C - (Competition Contribution) At Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013. , pp. 616-618.
Garg, Pranav, Madhusudan, P. and Parlato, Gennaro (2013) Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists At 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 At ACM/IEEE Conference on Design, Automation and Test in Europe, France. 18 - 22 Mar 2013. 4 pp, pp. 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 At Fourth International Workshop on Software Engineering for Sensor Network Applications (SESENA), 2013, United States. 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
Jamal, Wasifa, Das, Saptarshi and Maharatna, Koushik (2013) Existence of millisecond-order stable states in time-varying phase synchronization measure in EEG signals At 35th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, Japan. 03 - 07 Jul 2013. 4 pp, pp. 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 At Sixth International Workshop on Sensor Networks, Bahamas. 30 Jul - 02 Aug 2013. 5 pp.
Jiang, Teng, Merrett, Geoff V. and Harris, N.R. (2013) Opportunistic energy trading between co-located energy-harvesting wireless sensor networks At 1st International Workshop on Energy Neutral Sensing Systems, Italy. 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 At Design, Automation and Test in Europe (DATE 13), France. 18 - 22 Mar 2013. , p. 484. (doi:10.7873/DATE.2013.110).
La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2013) On Multi-stack Visibly Pushdown Languages 20 pp.
Labunets, Katsyarina, Massacci, Fabio, Paci, Federica and Tran, Le Minh Sang (2013) An experimental comparison of two risk-based security methods At 2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM), United States. 10 - 11 Oct 2013. 10 pp. (doi:10.1109/ESEM.2013.29).
Lau, Sei Ping, Merrett, Geoff V. and White, Neil M. (2013) Energy-efficient street lighting through embedded adaptive intelligence At Symposium on Intelligent Transportation Systems (ICALT-ITS’2013), Tunisia. 29 - 31 May 2013. (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), pp. 3627-3638.
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), pp. 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), pp. 459-469. (doi:10.1109/TITB.2012.2231312). (PMID:23362250).
Merrett, Geoff V. (2013) New tricks with old sensors: Pervasive Technologies for Novel Applications At Sensors & their Applications XVII, Croatia. 16 - 18 Sep 2013. , p. 12002. (doi:10.1088/1742-6596/450/1/012002).
Mery, Dominique and Poppleton, Michael (2013) Formal modelling and verification of population protocols At iFM 2013: 10th International Conference on integrated Formal Methods, Finland. 10 - 14 Jun 2013. 15 pp.
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, pp. 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), pp. 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 At 18th IEEE European Test Symposium (ETS), France. 27 - 30 May 2013. , pp. 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), pp. 2286-2294. (doi:10.1109/TVLSI.2012.2230036).
Pinpathomrat, Nakarin, Gilbert, Lester and Wills, Gary (2013) A model of e-learning adoption in higher education institutions: national culture consideration At E-LEARN 2013 - World Conference on E-Learning, United States. 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 pp. 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 At International Conference on Information Society (i-Society 2013), 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), pp. 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), pp. 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 At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Rossi, Daniele, Omana, Martin, Garrammone, Giuliano, Metra, Cecilia, Jas, Abhijit and Galivanche, Rajesh (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, pp. 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 At IEEE International Symposium on Electronic System Design (ISED), Singapore. 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 At 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 At 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 At 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 At 16th Euromicro Conference on Digital System Design (Euromicro DSD/SEAA 2013, Spain. 04 - 06 Sep 2013. 8 pp.
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 At European Test Symposium (ETS), France. 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), pp. 981-1001. (doi:10.1016/j.micpro.2013.08.008).
Stallwood, James, Ranchhod, Ashok and Wills, Gary (2013) A Model for in-Simulation Assessment At International Computer Assisted Assessment (CAA), United Kingdom. 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 At IEEE International Symposium on Electronic System Design (ISED), Singapore. 12 - 13 Dec 2013.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2013) A conceptual model of intended learning outcomes supporting curriculum development At 32nd International Conference on Conceptual Modeling (ER 2013), Hong Kong. 11 - 13 Nov 2013. 13 pp, pp. 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 At International Computer Assisted Assessment (CAA 2013) Conference. 09 - 10 Jul 2013.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary (2013) ILO diagram: a conceptual model for curriculum development IEEE Technology and Engineering Education, 8, (3), pp. 12-19.
Tangworakitthaworn, Preecha, Gilbert, Lester and Wills, Gary B. (2013) Designing and diagraming an intended learning outcome structure: a case study from the instructors' perspective At 13th IEEE International Conference on Advanced Learning Technologies (ICALT), China. 15 - 18 Jul 2013. , pp. 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), pp. 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), pp. 59-72.
Wang, Ning, Merrett, Geoff V., Maunder, Robert G. and Rogers, Alex (2013) Energy and Accuracy Trade-Offs in Accelerometry-Based Activity Recognition At 2013 22nd International Conference on Computer Communications and Networks (ICCCN), Bahamas. 30 Jul - 02 Aug 2013. 6 pp, pp. 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 At 1st International Workshop on Energy Neutral Sensing Systems (ENSsys 2013), Italy. 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 At Design, Automation and Test in Europe (DATE), France. 18 - 22 Mar 2013. 4 pp. (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 At IADIS e-Learning 2013 Conference, Czech Republic. 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), pp. 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
Yeganefard, Sanaz and Butler, Michael (2013) Problem Decomposition and Sub-Model Reconciliation of Control Systems in Event-B At IEEE International Workshop on Formal Methods Integration.
Zhao, Yi (2013) Design and validation of online fault tolerance architecture for TSV-based 3D-IC University of Southampton 19pp. , Southampton, GB
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.