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 2015
 | Up a level |
Number of items: 109.
A
Towards a Framework for Securing a Document Outside an Organisational Firewall - Zeyad Aaber, Richard M Crowder, Victor Chang, Nawfal Fadhel and Gary B. Wills
Type: Conference or Workshop Item
| 2015
| IEEE
| Item availability restricted.
An improved wireless communication fabric for emerging Network-on-Chip design - M. Agyeman, K. Tong and T. Mak
Type: Article
| 2015
Type: Book Section
| 2015
| Springer
| Item availability restricted.
SGI: a framework for increasing the sustainability of gamification impact - Alaa AlMarshedi, Gary wills, Vanissa Wanick Vieira and Ashokkumar Ranchhod
Type: Article
| 2015
An overview of cloud services adoption challenges in higher education institutions - Abdulrahman Alharthi, Fara Yahya, Robert John Walters and Gary Wills
Type: Conference or Workshop Item
| 2015
Building traceable Event-B models from requirements - Eman Alkhammash, Michael Butler, Asieh Salehi Fathabadi and Corina Cîrstea
Type: Article
| 2015
Towards an Integrated Conceptual Model for Cloud Adoption in Saudi Arabia - Nouf Alkhater, Victor Chang, Gary Wills and Robert Walters
Type: Conference or Workshop Item
| 2015
The viable system model for information security governance - Ezzat Alqurashi
Type: Thesis
| 2015
Type: Conference or Workshop Item
| 2015
Migration of Cloud Services and Deliveries to higher Education - Raed Alsufyani, Fash Safdari and Victor Chang
Type: Conference or Workshop Item
| 2015
A fault-tolerant mechanism for desktop cloud systems - Abdulelah Alwabel
Type: Thesis
| 2015
Synthesizing imperative distributed-memory implementations
from functional data-parallel programs - Tristan Aubrey-Jones
Type: Thesis
| 2015
B
Hibernus: sustaining computation during intermittent supply for energy-harvesting systems - Domenico Balsamo, Alex Weddell, Geoff V. Merrett, Bashir M. Al-Hashimi, Davide Brunelli and Luca Benini
Type: Article
| 2015
Core Hybrid Event-B I: Single Hybrid Event-B machines - Richard Banach, Michael Butler, Shengchao Qin, Nitika Verma and Huibiao Zhu
Type: Article
| 2015
Fast model-based fault localisation with test suites - Geoff Birch, Bernd Fischer and Michael Poppleton
Type: Conference or Workshop Item
| 2015
| Springer
| Item not available on this server.
Real-time arm movement recognition using FPGA - Dwaipayan Biswas, Gerry Juans Ajiwibawa, Koushik Maharatna, Andy Cranny, Josy Achner, Jasmin Klemke and Michael Jöbges
Type: Conference or Workshop Item
| 2015
Recognizing upper limb movements with wrist
worn inertial sensors using k-means clustering
classification - Dwaipayan Biswas, Andy Cranny, Nayaab Gupta, Koushik Maharatna, Josy Achner, Jasmin Klemke, Michael Jobges and Steffen Ortmann
Type: Article
| 2015
On the data analysis for classification of elementary upper limb movements - Dwaipayan Biswas, Andy Cranny, Ahmed F. Rahim, Nayaab Gupta, Koushik Maharatna, Nick Harris and Steffen Ortmann
Type: Article
| 2015
A CORDIC-based low-power statistical feature computation engine for WSN applications - Dwaipayan Biswas and Koushik Maharatna
Type: Article
| 2015
Type: Conference or Workshop Item
| 2015
| Association for Computing Machinery
| Item availability restricted.
Encouraging student engagement with collaborative serious games: the Coco framework - Prins Butt and Gary Wills
Type: Conference or Workshop Item
| 2015
C
Philosophising data: A critical reflection on the ‘hidden’ issues - Jackie Campbell, Victor Chang and Amin Hosseinian-Far
Type: Article
| 2015
A statistical index for early diagnosis of ventricular arrhythmia from the trend analysis of ECG phase-portraits - Grazia Cappiello, Saptarshi Das, Evangelos B Mazomenos, Koushik Maharatna, George Koulaouzidis, John Morgan and Paolo Emilio Puddu
Type: Article
| 2015
Analyzing French and Italian iPhone 4S Mobile Cloud customer satisfaction presented by Organizational Sustainability Modeling - Victor Chang
Type: Book Section
| 2015
| IGI Global
Type: Conference or Workshop Item
| 2015
A Proposed Cloud Computing Business Framework - Victor Chang
Type: Book
| 2015
| Nova Science Publishers
The role and effectiveness of e-learning for the industry - Victor Chang
Type: Book
| 2015
| Lambert Academic Publishing
Type: Article
| 2015
Type: Article
| 2015
Quality of Service for Financial Modeling and Prediction as a Service - Victor Chang and Muthu Ramachandran
Type: Conference or Workshop Item
| 2015
Type: Article
| 2015
The Second International Workshop on Enterprise Security - Victor Chang, Muthu Ramachandran, Neil N Yen, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2015
Type: Article
| 2015
Cloud Computing and Frameworks for Organisational Cloud Adoption - Victor Chang, Robert John Walters and Gary Wills
Type: Book Section
| 2015
| IGI Global
Monte Carlo risk assessment as a service in the cloud - Victor Chang, Robert John Walters and Gary Wills
Type: Article
| 2015
Exploring strategies for classification of external stimuli using statistical features of the plant electrical response - Shre Kumar Chatterjee, Saptarshi Das, Koushik Maharatna, Elisa Masi, Luisa Santopolo, Stefano Mancuso and Andrea Vitaletti
Type: Article
| 2015
| Item availability restricted.
Type: Thesis
| 2015
Canonical coalgebraic linear time logics - Corina Cirstea
Type: Article
| 2015
D
From Event-B models to Dafny code contracts - Mohammadsadegh Dalvandi, Michael Butler and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item
| 2015
Transforming Event-B models to Dafny contracts - Mohammadsadegh Dalvandi, Michael Butler and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item
| 2015
Type: Dataset
| 2015
| University of Southampton
The Slowdown or Race-to-idle Question: Workload-Aware Energy Optimization of SMT Multicore Platforms under Process Variation - Anup Das, Geoff V. Merrett and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2015
Type: Dataset
| 2015
| University of Southampton
Type: Dataset
| 2015
| University of Southampton
Workload uncertainty characterization and adaptive frequency scaling for energy minimization of embedded systems - Anup K. Das, Rishad Ahmed Shafik, Geoff V. Merrett, B.M. Hashimi, Akash Kumar and Bharadwaj Veeravalli
Type: Conference or Workshop Item
| 2015
Drift removal in plant electrical signals via IIR filtering using wavelet energy - Saptarshi Das, Barry Juans Ajiwibawa, Shre Kumar Chatterjee, Sanmitra Ghosh, Koushik Maharatna, Srinandan Dasmahapatra, Andrea Vitaletti, Elisa Masi and Stefano Mancuso
Type: Article
| 2015
| Item availability restricted.
E
Type: Article
| 2015
| Item not available on this server.
F
Type: Article
| 2015
| Item not available on this server.
G
Lifetime reliability analysis of complementary resistive switches under threshold and doping interface speed variations - L. Gang, Jimson Mathew, Rishad Ahmed Shafik, Dhiraj K. Pradhan, M. Ottavi and S. Pontarelli
Type: Article
| 2015
| Item not available on this server.
H
An architecture for measuring network performance in multi-core multi-cluster architecture (MCMCA) - Norhazlina Hamid, Robert J. Walters and Gary B. Wills
Type: Article
| 2015
Performance evaluation of multi-core multi-cluster architecture (MCMCA) - Norhazlina Hamid, Robert J. Walters and Gary B. Wills
Type: Book Section
| 2015
| IGI Global
| Item not available on this server.
An analytical model of multi-core multi-cluster architecture (MCMCA) - Norhazlina Hamid, Robert John Walters and Gary Brian Wills
Type: Article
| 2015
Sustainability of Strategic Information Systems in Emergent vs. Prescriptive Strategic Management - Amin Hosseinian-Far and Victor Chang
Type: Article
| 2015
I
Formal engineering methodologies for wireless sensor network
development with simulation - Adisak Intana
Type: Thesis
| 2015
A model-based trace testing approach for validation of formal co-simulation models - Adisak Intana, Michael R. Poppleton and Geoff V. Merrett
Type: Conference or Workshop Item
| 2015
Type: Thesis
| 2015
Lazy-CSeq 1.0: (Competition Contribution) - Omar Inverso, Truc Nguyen, Ermenegildo Tomasco, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Monograph
| 2015
| University of Southampton
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-Threaded C-Programs - Omar Inverso, Truc Nguyen Lam, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2015
J
Type: Thesis
| 2015
On the existence of synchrostates in multichannel EEG signals during face-perception tasks - Wasifa Jamal, Saptarshi Das, Koushik Maharatna, Fabio Apicella, Georgia Chronaki, Federico Sicca, David Cohen and Filippo Muratori
Type: Article
| 2015
Brain connectivity analysis from EEG signals using stable phase-synchronized states during face perception tasks - Wasifa Jamal, Saptarshi Das, Koushik Maharatna, Indranil Pan and Doga Kuyucu
Type: Article
| 2015
Prediction of synchrostate transitions in EEG signals using Markov chain models - Wasifa Jamal, Saptarshi Das, Ioana-Anastasia Oprescu and Koushik Maharatna
Type: Article
| 2015
A model of the factors that influence the implementation of a telemedicine solution in Sri Lanka - Yasmin Jayasinghe
Type: Thesis
| 2015
Opportunistic direct interconnection and cooperation between co-located wireless sensor networks - Teng Jiang
Type: Thesis
| 2015
| University of Southampton
K
Prompt and accurate diagnosis of ventricular arrhythmias with a novel index based on phase space reconstruction of ECG - George Koulaouzidis, Saptarshi Das, Grazia Cappiello, Evangelos Mazomenos, Koushik Maharatna, Paolo E. Puddu and John M. Morgan
Type: Article
| 2015
L
Unbounded Lazy-CSeq: a lazy sequentialization tool for C programs with unbounded context switches (competition contribution) - Truc Lam Nguyen, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2015
A traffic-aware street lighting scheme for smart cities using autonomous networked sensors - Sei Ping Lau, Geoff V. Merrett, Alex S. Weddell and Neil M. White
Type: Article
| 2015
Poster Abstract: Solar-Powered Adaptive Street Lighting Evaluated with Real Traffic and Sunlight Data - Sei Ping Lau, Alex S. Weddell, Neil M. White and Geoff V. Merrett
Type: Conference or Workshop Item
| 2015
Disaggregated Architecture for At Scale Computing - Chung-Sheng Li, Hubertus Franke, Colin Parris and Victor Chang
Type: Conference or Workshop Item
| 2015
| Item availability restricted.
Multinomial based memristor modelling methodology for simulations and analysis - Gong Li, Jimson Mathew, Rishad Ahmed Shafik and Dhiraj K. Pradhan
Type: Article
| 2015
| Item not available on this server.
Enhancing spaceflight safety with UOS3 cubesat - Aleksander A. Lidtke, Clemens Rumpf, Adrian Tatnall, Hugh G. Lewis, Scott J. Walker, Mia Taylor, Robert C. Fear, Alex S. Weddell, Robert G. Maunder and James R.B. Bantock
Type: Conference or Workshop Item
| 2015
M
Modeling the effect of orientation on human-powered inertial energy harvesters - Geoff V. Merrett, Hui Huang and Neil M. White
Type: Article
| 2015
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols - Dominique Mery and Michael Poppleton
Type: Article
| 2015
| Item availability restricted.
Type: Thesis
| 2015
N
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool
for C with unboundedly many Context Switches:
(Competition Contribution) - Truc Nguyen, Omar Inverso, Ermenegildo Tomasco, Salvatore La Torre, Bernd Fischer and Gennaro Parlato
Type: Monograph
| 2015
| University of Southampton
O
Low-cost and high-reduction approaches for power droop during launch-on-shift scan-based logic BIST - Martin Omana, Daniele Rossi, Edda Beniamino, Cecilia Metra, Chandrasekharan Tirumurti and Rajesh Galivanche
Type: Article
| 2015
P
Type: Conference or Workshop Item
| 2015
| Item availability restricted.
On sequentializing concurrent programs - Gennaro Parlato
Type: Conference or Workshop Item
| 2015
On Sequentializing Concurrent Programs -- Bounded Model Checking - Gennaro Parlato
Type: Conference or Workshop Item
| 2015
Q
Investigating software customisation across distributed boundaries - Abdulrahman Qahtani
Type: Thesis
| 2015
R
The Improved Cloud Computing Adoption Framework to deliver secure services - Muthu Ramachandran, Victor Chang and Chung-Sheng Li
Type: Conference or Workshop Item
| 2015
NBTI and leakage aware sleep transistor design for reliable and energy efficient power gating - Daniele Rossi, Vasileios Tenentes, Saqib Khursheed and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2015
| IEEE
BTI and leakage aware dynamic voltage scaling for reliable low power cache memories - Daniele Rossi, Vasileios Tenentes, Saqib Khursheed and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2015
| IEEE
S
Type: Dataset
| 2015
| University of Southampton
Type: Article
| 2015
Two-phase low-energy N-modular redundancy for hard real-time multi-core systems - Mohammad Salehi, Alireza Ejlali and Bashir M. Al-Hashimi
Type: Article
| 2015
Language and tool support for event refinement structures in Event-B - Asieh Salehi Fathabadi, Michael Butler and Abdolbaghi Rezazadeh
Type: Article
| 2015
Photovoltaic cells for micro-scale wireless sensor nodes: measurement and modeling to assist system design - Anand Savanth, Alex Weddell, James Myers, David Flynn and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2015
Appendix A: Models of the controlled water tank system - Vitaly Savicks
Type: Monograph
| 2015
| University of Southampton
Adaptive energy minimization of OpenMP parallel applications on many-core systems - Rishad Ahmed Shafik, Anup K. Das, Sheng Yang, Geoff V. Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2015
Thermal-aware adaptive energy minimization of open MP parallel applications - Rishad Ahmed Shafik, Anup K. Das, Sheng Yang, Geoff V. Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2015
A unified design methodology for secure test and IP core protection - Rishad Ahmed Shafik, Jimson Mathew and Dhiraj K. Pradhan
Type: Article
| 2015
Type: Thesis
| 2015
An Interval-Based Approach to Modelling Time in Event-B - Gintautas Sulskus, Michael Poppleton and Abdolbaghi Rezazadeh
Type: Conference or Workshop Item
| 2015
T
DFT architecture with power-distribution-network consideration for delay-based power gating test - Vasileios Tenentes, Saqib Khursheed, Daniele Rossi, Sheng Yang and Bashir M. Al-Hashimi
Type: Article
| 2015
Diagnosis of power switches with power-distribution-network consideration - Vasileios Tenentes, Daniele Rossi, Saqib Khursheed and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2015
| IEEE
Enspect: a Complete Tool using Modeling and Real Data to Assist the Design of Energy Harvesting Systems - Nick F. Tinsley, Stuart T. Witts, Jacob M. R. Ansell, Emily Barnes, Simeon M. Jenkins, Dhanushan Raveendran, Geoff V. Merrett and Alex S. Weddell
Type: Conference or Workshop Item
| 2015
Poster Abstract: Enspect—Simplifying the Design of Energy Harvesting Systems - Nick F. Tinsley, Stuart T. Witts, Jacob M. R. Ansell, Emily Barnes, Simeon M. Jenkins, Dhanushan Raveendran, Geoff V. Merrett and Alex S. Weddell
Type: Conference or Workshop Item
| 2015
MU-CSeq 0.3: Sequentialization by read-implicit and coarse-grained memory unwindings (competition contribution) - Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2015
Verifying concurrent programs by memory unwinding - Ermenegildo Tomasco, Omar Inverso, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2015
W
An efficient runtime power allocation scheme for many-core systems inspired from auction theory - X. Wang, B. Zhao, T. Mak, M. Yang and M. Daneshtalab
Type: Article
| 2015
| Item not available on this server.
Position paper: culturally-oriented persuasive strategies for advergaming design - Vanissa Wanick, Ashok Ranchhod and Gary Wills
Type: Conference or Workshop Item
| 2015
| Association for Computing Machinery
| Item not available on this server.
Advergames e influências culturais no comportamento do consumidor: uma análise do papel dos heróis, símbolos, rituais e experiências contextuais - Vanissa Wanick Vieira, Ashok Ranchhod and Gary Wills
Type: Conference or Workshop Item
| 2015
| Item not available on this server.
Cultural persuasive affordances in advergaming design across cultures: a conceptual model - Vanissa Wanick Vieira, Ashok Ranchhod and Gary Wills
Type: Conference or Workshop Item
| 2015
| Item availability restricted.
A Formal Approach to Multi-UAV Route Validation - Toby Wilkinson, Michael Butler, Martin Paxton and Xanthippe Waldron
Type: Conference or Workshop Item
| 2015
Reflective evaluation of civil society development: a case study of RLabs Cape Town, South Africa - Julia Wills, Marlon Parker and Gary Wills
Type: Article
| 2015
Y
Application-specific memory protection policies for energy-efficient reliable design - Sheng Yang, Rishad Ahmed Shafik, Saqib Khursheed, David Flynn, Geoff V. Merrett and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2015
Type: Article
| 2015
A survey of wireless sensor network based air pollution monitoring systems - W. Yi, K. Lo, T. Mak, K. Leung, Y. Leung and H. Meng
Type: Article
| 2015