Items where Division is "Faculties (pre 2018 reorg) > Faculty of Physical Sciences and Engineering (pre 2018 reorg) > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Electronics & Computer Science (pre 2018 reorg) > Cyber Physical Systems (pre 2018 reorg)
Current Faculties > Faculty of Engineering and Physical Sciences > School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)
School of Electronics and Computer Science > Cyber Physical Systems > Cyber Physical Systems (pre 2018 reorg)" and Year is 2012
 | Up a level |
Number of items: 84.
Article
Towards an integrated model for citizen adoption of E-government services in developing countries: A Saudi Arabia case study - Sulaiman Alateyah, Richard M. Crowder and Gary B. Wills
Type: Article
| 2012
External and internal choice with event groups in Event-B - Michael Butler
Type: Article
| 2012
Type: Article
| 2012
SMT-based bounded model checking for embedded ANSI-C software - Lucas Cordeiro, Bernd Fischer and Joao Marques-Silva
Type: Article
| 2012
An information system to support the engineering designer - Richard Crowder, David Fowler, Quentin Reul, Derek Sleeman, Nigel Shadbolt and Gary Wills
Type: Article
| 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 - Sara H. Demain, Sarah Cunningham, Cheryl Metcalf, Deyi Zheng and Geoff V. Merrett
Type: Article
| 2012
Low-energy standby-sparing for hard real-time systems - Alireza Ejlali, Bashir Al-Hashimi and Petru Eles
Type: Article
| 2012
Novel association approach for variable number tandem repeats (VNTR) identifies DOCK5 as a susceptibility gene for severe obesity - J.S. El-Sayed Moustafa, H. Eleftherohorinou, A.J. De Smith, J.C. Andersson-Assarsson, A. Couto Alves, E. Hadjigeorgiou, R.G. Walters, J.E. Asher, L. Bottolo, J.L. Buxton, R. Sladek, D. Meyre, C. Dina, S. Visvikis-Siest, P. Jacobson, L. Sjöström, L.M. Carlsson, A. Walley, M. Falchi, P. Froguel, A.I. Blakemore and L.J. Coin
Type: Article
| 2012
| Item not available on this server.
Modelling ATM case study in event-B - Ali Gondal
Type: Article
| 2012
Type: Article
| 2012
Stochastic process algebras: from individuals to populations - Jane Hillston, Mirco Tribastone and Stephen Gilmore
Type: Article
| 2012
| Item not available on this server.
Enabling the Discovery of Computational Characteristics of Enzyme Dynamics - Gareth Jones, Chris Lovell, Steve Gunn, Hywel Morgan and Klaus-Peter Zauner
Type: Article
| 2012
Modeling of Wireless Sensor Nodes Powered by Tunable Energy Harvesters: HDL-Based Approach - Tom Kazmierski, Geoff V. Merrett, Leran Wang, Bashir Al-Hashimi, Alex Weddell and Ivo Ayala Garcia
Type: Article
| 2012
Type: Article
| 2012
Type: Article
| 2012
Exploration and exploitation with insufficient resources - Chris Lovell, Gareth Jones, Klaus-Peter Zauner and Steve R. Gunn
Type: Article
| 2012
A pilot randomised controlled trial of an internet-based cognitive behavioural therapy self-management programme (MS Invigor8) for multiple sclerosis fatigue - Rona Moss-Morris, Paul McCrone, Lucy Yardley, Kirsten van Kessel, Gary Wills and Laura K. Dennison
Type: Article
| 2012
Processes and unfoldings: concurrent computations in adhesive categories - Baldan Paolo, Corradini Andrea, Heindel Tobias, Koenig Barbara and Sobocinski Pawel
Type: Article
| 2012
| Item not available on this server.
Mobile instant messaging used to provide support and advice to South African youth - Marlon Parker, Julia Wills, Lucille Aanhuizen, Lester Gilbert and Gary Wills
Type: Article
| 2012
| Item availability restricted.
System-level design optimization of reliable and low power multiprocessor system-on-chip - Rishad Ahmed Shafik, Bashir M. Al-Hashimi and Jeff S. Reeve
Type: Article
| 2012
| Item not available on this server.
Fluid rewards for a stochastic process algebra - Mirco Tribastone, Jie Ding, Stephen Gilmore and Jane Hillston
Type: Article
| 2012
| Item not available on this server.
Scalable differential analysis of process algebra models - Mirco Tribastone, Stephen Gilmore and Jane Hillston
Type: Article
| 2012
| Item not available on this server.
Photovoltaic sample-and-hold circuit enabling MPPT indoors for low-power systems - Alex S. Weddell, Geoff V. Merrett and Bashir M. Al-Hashimi
Type: Article
| 2012
Type: Article
| 2012
| Item not available on this server.
Approaches to modeling the gas-turbine maintenance process - Tai-Tuck Yu, James P. Scanlan, Richard M. Crowder and Gary B. Wills
Type: Article
| 2012
Book
Type: Book
| 2012
| University of Southampton
Conference or Workshop Item
Type: Conference or Workshop Item
| 2012
Type: Conference or Workshop Item
| 2012
Towards performance evaluation in Volunteer Clouds - Abdulelah Alwabel, Robert John Walters and Gary Wills
Type: Conference or Workshop Item
| 2012
Emergence of Agile Methods: Perceptions from Software Practitioners in Malaysia - Ani Liza Asnawi, Andrew Gravell and Gary Wills
Type: Conference or Workshop Item
| 2012
Factor Analysis: Investigating Important Aspects for Agile Adoption in Malaysia - Ani Liza Asnawi, Andrew Gravell and Gary Wills
Type: Conference or Workshop Item
| 2012
A Practical Approach for Closed Systems Formal Verification Using Event-B - Brett Bicknell, Jose Reis, Michael Butler, John Colley and Colin Snook
Type: Conference or Workshop Item
| 2012
High-reliability fault tolerant digital systems in nanometric technologies: characterization and design methodologies - C. Bolchini, A. Miele, C. Sandionigi, M. Ottavi, S. Pontarelli, A Salsano, C. Metra, M. Omana, D. Rossi, M. Sonza Reorda, L. Sterpone, M. Violante, S. Gerardin, M. Bagattin and A. Paccagnella
Type: Conference or Workshop Item
| 2012
Event-B code generation: type extension with theories - Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell
Type: Conference or Workshop Item
| 2012
Building on the DEPLOY legacy: code generation and simulation - Andrew Edmunds, John Colley and Michael Butler
Type: Conference or Workshop Item
| 2012
Code generation update - Andrew Edmunds, Chris Lovell, Renato Silva, Issam Maamria and Michael Butler
Type: Conference or Workshop Item
| 2012
Formal modelling for Ada implementations: tasking Event-B - Andrew Edmunds, Abdolbaghi Rezazadeh and Michael Butler
Type: Conference or Workshop Item
| 2012
Security Analysis of Role-based Access Control through Program Verification - Anna Lisa Ferrara, P. Madhusudan and Gennaro Parlato
Type: Conference or Workshop Item
| 2012
A closed-loop control strategy for glucose control in artificial pancreas systems - Jamil Galadanci, Rishad Ahmed Shafik, Jimson Mathew, Amit Acharyya and Dhiraj K. Pradhan
Type: Conference or Workshop Item
| 2012
| Item not available on this server.
Towards potential-based learning for pareto trade-offs in on-line prediction with experts - Shaona Ghosh and Steve Gunn
Type: Conference or Workshop Item
| 2012
| Item not available on this server.
Establishing Translational Research Pipelines for Smart Devices - Simon Grange, Liping Qi, Cy Frank, Martin Ferguson-Pell, Catherine Holloway, Stephen Taylor, Gary Wills and Nick Tyler
Type: Conference or Workshop Item
| 2012
Design of a linearized magnetic spring for body-worn inertial energy harvesters - Hui Huang, Geoff V. Merrett and Neil M. White
Type: Conference or Workshop Item
| 2012
Combining link and content-based information in a Bayesian inference model for entity search - Christos Koumenides, Nigel Shadbolt, Manuel Salvadores and Temitope Omitola
Type: Conference or Workshop Item
| 2012
Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width - Salvatore La Torre and Parlato Gennaro
Type: Conference or Workshop Item
| 2012
Type: Conference or Workshop Item
| 2012
Type: Conference or Workshop Item
| 2012
Ensuring extensibility within code generation - Chris Lovell, Andy Edmunds, Renato Silva, Issam Maamria and Michael Butler
Type: Conference or Workshop Item
| 2012
A Time-domain morphology and gradient based algorithm for ECG feature extraction - Evangelos Mazomenos, Taihai Chen, Amit Acharyya, Arnab Bhattacharya, James Rosengarten and Koushik Maharatna
Type: Conference or Workshop Item
| 2012
Supercapacitor leakage in energy-harvesting sensor nodes: fact or fiction? - Geoff V. Merrett and Alex S. Weddell
Type: Conference or Workshop Item
| 2012
dRail: a novel physical layout methodology for power gated circuits - Jatin N. Mistry, John Biggs, James Myers, Bashir M. Al-Hashimi and David Flynn
Type: Conference or Workshop Item
| 2012
An ARM Cortex-M0 for Energy Harvesting Systems: A Novel Application of UPF with Synopsys’ Galaxy Platform - Jatin N. Mistry and James Myers
Type: Conference or Workshop Item
| 2012
Model checking LTL properties over ANSI-C programs with bounded traces - Jeremy Morse, Lucas Cordeiro, Denis Nicole and Bernd Fischer
Type: Conference or Workshop Item
| 2012
| Item availability restricted.
Competence Web-based System for Suggesting Study Materials Links: Approach & Experimental Design - Athitaya Nitchot, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2012
Faults affecting the control blocks of PV arrays and techniques for their concurrent detection - Martin Omana, Daniele Rossi, Giacomo Collepalumbo, Cecilia Metra and Fabrizio Lombardi
Type: Conference or Workshop Item
| 2012
| Item availability restricted.
A model for the uptake and continued use of e-learning in Thai higher education - Nakarin Pinpathomrat, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2012
Towards a Principled and Evolvable Approach to Software Development for Future Wireless Sensor Networks - Michael R. Poppleton and Geoff V. Merrett
Type: Conference or Workshop Item
| 2012
Toward a framework for development and specialisation of product software across organisational boundaries - Abdulrahman Qahtani, Wills Gary and Gravell Andrew
Type: Conference or Workshop Item
| 2012
| Item availability restricted.
Toward a framework for software development across organisational boundaries - Abdulrahman Qahtani, Andrew Gravell and Gary Wills
Type: Conference or Workshop Item
| 2012
RAEF: a power normalized system-level reliability analysis and estimation framework - R.A. Shafik, B.M. Al-Hashimi, J. Mathew, D.K. Pradhan and S.P. Mohanty
Type: Conference or Workshop Item
| 2012
| Item not available on this server.
An Equivalent Architecture of Learner's and Instructor's Knowledge through the Matching of Intended Learning Outcome - Preecha Tangworakitthaworn, Lester Gilbert and Gary Wills
Type: Conference or Workshop Item
| 2012
Scale Free: Twitter’s Retweet Network Structure - Ramine Tinati, Les Carr, Wendy Hall and Johnny Bentwood
Type: Conference or Workshop Item
| 2012
Analyzing temporal role based access control models - Emre Uzun, Vijayalakshmi Atluri, Shamik Sural, Jaideep Vaidya, Parlato Gennaro, Anna Lisa Ferrara and Parthasarathy Madhusudan
Type: Conference or Workshop Item
| 2012
| Association for Computing Machinery
Building computational grids using ubiquitous web technologies - Robert John Walters, Stephen Crouch and Phillip Bennett
Type: Conference or Workshop Item
| 2012
Analysis, quantification, and mitigation of electrical variability due to layout dependent effects in SOC designs - Yangang Wang, Mark Zwolinski, Andrew Appleby, Mark Scoones, Sonia Caldwell, Touqeer Azam, Philippe Hurat and Chris Pitchford
Type: Conference or Workshop Item
| 2012
| SPIE - The International Society for Optical Engineering
| Item not available on this server.
Vibration-powered sensing system for engine condition monitoring - Alex S. Weddell, Geoff V. Merrett, Stuart Barrow and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2012
A practical self-powered sensor system with a tunable vibration energy harvester - Alex S. Weddell, Dibin Zhu, Geoff V. Merrett, S.P. Beeby and B.M. Al-Hashimi
Type: Conference or Workshop Item
| 2012
Addressing the Challenges of Assessment and Feedback in Higher Education: A collaborative effort across three UK Universities - Denise M. Whitelock, Lester Gilbert, Stylianos Hatzipanagos, Stuart Watt, Pei Zhang, Paul Gillary and Alejandra Recio
Type: Conference or Workshop Item
| 2012
Calculating learner’s trust in teaching activity - Woraluck Wongse-ek, Gary Wills and Lester Gilbert
Type: Conference or Workshop Item
| 2012
Adaptive sampling in context-aware systems: a machine learning approach - Alex L. Wood, Geoff V. Merrett, Steve R. Gunn, Bashir M. Al-Hashimi, Nigel R Shadbolt and Wendy Hall
Type: Conference or Workshop Item
| 2012
DejaView: Help with memory, when you need it - Alex L. Wood, Geoff V. Merrett, Dirk de Jager, Bashir M. Al-Hashimi, Kieron O'Hara, Nigel R. Shadbolt and Wendy Hall
Type: Conference or Workshop Item
| 2012
Control systems: phenomena and structuring functional requirement documents - Sanaz Yeganefard and Michael Butler
Type: Conference or Workshop Item
| 2012
STEP: a unified design methodology for secure test and IP core protection - Pranav Yeolekar, Rishad A Shafik, Jimson Mathew, Dhiraj K Pradhan and Saraju P Mohanty
Type: Conference or Workshop Item
| 2012
| Item not available on this server.
Design and comparative analysis of single-path and epidemic approaches to information and energy management in wireless sensor networks - D. Zilli and G.V. Merrett
Type: Conference or Workshop Item
| 2012
Monograph
Type: Monograph
| 2012
| University of Greenwich; University of Southampton
Production cell case study in event-B - Ali Gondal
Type: Monograph
| 2012
AppendixC: Event-B Model of the Message Passing Case-study (Manual) - Mohammad Reza Sarshogh
Type: Monograph
| 2012
| University of Southampton
Thesis Appendix_Gear Controller Case-study(Plugin1) - Mohammad Reza Sarshogh
Type: Monograph
| 2012
| University of Southampton
Thesis Appendix_Gear Controller Case-study(Plugin2) - Mohammad Reza Sarshogh
Type: Monograph
| 2012
| University of Southampton
Thesis Appendixes-Gear Controller Case-study (Time Added Manually) - Mohammad Reza Sarshogh
Type: Monograph
| 2012
| University of Southampton
Patent
Type: Patent
| 2012
| Item not available on this server.
Thesis
Design considerations of harvested-energy management - Mustafa Ali
Type: Thesis
| 2012
Dataset
Type: Dataset
| 2012
| University of Southampton
Type: Dataset
| 2012
| University of Southampton
Other
Toward a Framework for Localisation of Product Software across Organisational Boundaries - Abdulrahman Qahtani, Gary Wills and Andrew Gravell
Type: Other
| 2012