Items where Division is "Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems" and Year is 2013

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,

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, Lectures from Marktoberdorf Summer School 2012. , TBD.

Chang, Victor (2013) Business Integration as a Service: The SAP Case Study. International Journal of Next-Generation Computing, June 2013, 4, (2) (In Press).

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. (In Press).

Chang, Victor, Walters, Robert John and Wills, Gary (2013) The development that leads to the Cloud Computing Business Framework. International Journal of Information Management, February (In Press).

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 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 (In Press).

Colley, John and Butler, Michael (2013) A Formal, Systematic Approach to STPA using Event-B Refinement and Proof. In, 21th Safety Critical System Symposium,

Edmunds, Andy (2013) Code generation with tasking event-b. Southampton, GB, University of Southampton, 50pp.

Enea, Constantin, Habermehl, Peter, Inverso, Omar and Parlato, Gennaro (2013) The Path-Width of Integer Linear Programming. , University of Southampton (Submitted)

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 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

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. Science of Computer Programming (doi:10.1016/j.scico.2011.03.006).

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.

La Torre, Salvatore, Napoli, Margherita and Parlato, Gennaro (2013) On Multi-stack Visibly Pushdown Languages. , University of Southampton

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.

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 (In Press).

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, 21, (1), 14-22.

Maamria, Issam (2013) Towards a practically extensible Event-B methodology. University of Southampton, Faculty of Physical & Applied Science, Doctoral Thesis , 183pp.

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).

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 N. (2013) Leakage power minimisation techniques for embedded processors. University of Southampton, Faculty of Physical & Applied Science, Doctoral Thesis , 210pp.

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, IEEE Wireless Communications and Networking Conference 2013, Shanghai, CN, 6pp.

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.

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

Wang, Ning, Merrett, Geoff V., Maunder, Robert G. and Rogers, Alex (2013) Energy and Accuracy Trade-Offs in Accelerometry-Based Activity Recognition. In, Sixth International Workshop on Sensor Networks (SN 2013), Nassau, BS, 30 Jul - 02 Aug 2013. 6pp.

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.

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 1: Regular Papers (In Press).

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.