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 2017
 | Up a level |
Number of items: 128.
Article
Coordinate rotation based low complexity K-means clustering architecture - Bhagyaraja Adapa, Dwaipayan Biswas, Swati Bhardwaj, Shashank Raghuraman, Amit Acharyya and Koushik Maharatna
Type: Article
| 2017
Automated processing of oceanic bubble images for measuring bubble size distribution underneath breaking waves - Raied Al-Lashi, Stephen Gunn and Helen Czerski
Type: Article
| 2017
A framework for critical security factors that influence the decision of cloud adoption by Saudi government agencies - Madini O. Alassafi, Abdulrahman Alharthi, Robert J. Walters and Gary B. Wills
Type: Article
| 2017
An exploratory study for investigating the critical success factors for cloud migration in the Saudi Arabian higher education context - Abdulrahman Alharthi, Madini Alassafi, Gary Wills and Robert Walters
Type: Article
| 2017
Adoption of Web based Knowledge Sharing system amongst Academic Staff - Hanan Alotaibi, Richard Crowder and Gary Wills
Type: Article
| 2017
Barriers to the adoption of EHR systems in the Kingdom of Saudi Arabia: an exploratory study using a systematic literature review - Asma, Abdullah Jarullah Aljarullah Alqahtani, Richard Crowder and Gary Wills
Type: Article
| 2017
Metrics Feedback Cycle: measuring and improving user engagement in gamified eLearning systems - Adam Atkins, Vanissa Wanick and Gary Wills
Type: Article
| 2017
Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines - Richard Banach, Michael Butler, Shengchao Qin and Huibao Zhu
Type: Article
| 2017
Low-complexity framework for movement classification using body-worn sensors - Dwaipayan Biswas, Koushik Maharatna, Goran Panic, Evangelos B. Mazomenos, Josy Achner, Jasmin Klemke, Michael Jöbges and Steffen Ortmann
Type: Article
| 2017
The calculus of signal flow diagrams I: linear relations on streams - Filippo Bonchi, Pawel Sobocinski and Fabio Zanasi
Type: Article
| 2017
Type: Article
| 2017
Comparison of decision tree based classification strategies to detect external chemical stimuli from raw and filtered plant electrical response - Shre Kumar Chatterjee, Saptarshi Das, Koushik Maharatna, Elisa Masi, Luisa Santopolo, Ilaria Colzi, Stefano Mancuso and Andrea Vitaletti
Type: Article
| 2017
From branching to linear time, coalgebraically - Corina Cirstea
Type: Article
| 2017
Multimodal functional and structural brain connectivity analysis in autism: A preliminary integrated approach with EEG, fMRI and DTI - Bogdan Alexandru Cociu, Saptarshi Das, Lucia Billeci, Wasifa Jamal, Koushik Maharatna, Sara Calderoni, Antonio Narzisi and Filippo Muratori
Type: Article
| 2017
Derivation of algorithmic control structures in Event-B refinement - Mohammad Sadegh Dalvandi, Michael Butler and Abdolbaghi Rezazadeh
Type: Article
| 2017
Multi-criteria resource allocation in modal hard real-time systems - Piotr Dziurzanski, Amit Singh and Leandro Soares Indrusiak
Type: Article
| 2017
On the path-width of integer linear programming - Constantin Enea, Peter Habermehl, Omar Inverso and Gennaro Parlato
Type: Article
| 2017
Susceptible workload evaluation and protection using selective fault tolerance - Mauricio, Daniel Gutierrez Alcala, Vasileios Tenentes, Daniele Rossi and Tomasz Kazmierski
Type: Article
| 2017
A Multi-core architecture for a hybrid information system - Norhazlina Hamid, Victor Chang, Robert John Walters and Gary Brian Wills
Type: Article
| 2017
Validating and verifying the requirements and design of a haemodialysis machine using the rodin toolset - Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Michael Butler and Lukas Ladenberger
Type: Article
| 2017
Toward confirming a framework for securing the virtual machine image in cloud computing - Raid Khalid Hussein, Ahmed Alenezi, Hany F. Atlam, Mohammed Q. Mohammed, Robert J. Walters and Gary B. Wills
Type: Article
| 2017
Map data representation for indoor navigation by blind people - Watthanasak Jeamwatthanachai, Michael Wald and Gary Wills
Type: Article
| 2017
GOLIAH (Gaming Open Library for Intervention in Autism at Home): a 6-month single blind matched controlled exploratory study - Anne‑Lise Jouen, Antonio Narzisi, Jean Xavier, Elodie Tilmont, Nicolas Bodeau, Valentina Bono, Nabila Ketem‑Premel, Salvatore Anzalone, Koushik Maharatna, Mohamed Chetouani, Filippo Muratori and David Cohen
Type: Article
| 2017
Model comprehension for security risk assessment: an empirical comparison of tabular vs. graphical representations - Katsiaryna Labunets, Fabio Massacci, Federica Paci, Sabrina Marczak and Flavio Moreira de Oliveira
Type: Article
| 2017
Run-time performance and power optimization of parallel disparity estimation on many-core platforms - Charles Leech, Charan Kumar Vala, Amit Acharyya, Sheng Yang, Geoffrey Merrett and Bashir Al-Hashimi
Type: Article
| 2017
Composable architecture for rack scale big data computing - Chung-Sheng Li, Hubertus Franke, Colin Parris, Bulent Abali, Mukil Kesavan and Victor Chang
Type: Article
| 2017
Federated cloud resource management: review and discussion - Misbah Liaqat, Victor Chang, Abdullah Gani, Siti Hafizah Ab Hamid, Muhammad Toseef, Umar Shoaib and Rana Liaqat Ali
Type: Article
| 2017
| Item availability restricted.
A geophone wireless sensor network for investigating glacier stick-slip motion - Kirk Martinez, Jane K. Hart, Philip J. Basford, Graeme Bragg, Tyler Ward and David S. Young
Type: Article
| 2017
Exploring avatar roles for motivational effects in gameful environments - Nooralisa Mohd Tuah, Vanissa Wanick, Ashokkumar Ranchhod and Gary B. Wills
Type: Article
| 2017
A resilient 2-D waveguide communication fabric for hybrid wired-wireless NoC design - M. Opoku Agyeman, Q. Vien, Ali Ahmadinia, A. Yakovlev, K. Tong and T. Mak
Type: Article
| 2017
Inter-cluster thread-to-core mapping and DVFS on heterogeneous multi-cores - Basireddy Karunakar Reddy, Amit Singh, Dwaipayan Biswas, Geoff Merrett and Bashir Al-Hashimi
Type: Article
| 2017
Aging benefits in nanometer CMOS designs - Daniele Rossi, Vasileios Tenentes, Sheng Yang, Saqib Khursheed and Bashir Al-Hashimi
Type: Article
| 2017
SmallClient for big data: an indexing framework towards fast data retrieval - Aisha Siddiqa, Ahmad Karim and Victor Chang
Type: Article
| 2017
On the analysis of big data indexing execution strategies - Aisha Siddiqa, Ahmad Karim, Tanzila Saba and Victor Chang
Type: Article
| 2017
A Survey and comparative study of hard and so real-time dynamic resource allocation strategies for multi/many-core systems - Amit Singh, Piotr Dziurzanski, Hashan Roshantha Mendis and Leandro Soares Indrusiak
Type: Article
| 2017
Learning-based run-time power and energy management of multi/many-core systems: current and future trends - Amit Singh, Charles Leech, Karunakar Reddy Basireddy, Bashir Al-Hashimi and Geoffrey Merrett
Type: Article
| 2017
Energy efficient run-time mapping and thread partitioning of concurrent OpenCL applications on CPU-GPU MPSoCs - Amit Singh, Alok Prakash, Karunakar Reddy Basireddy, Geoffrey Merrett and Bashir Al-Hashimi
Type: Article
| 2017
Nucleus: finding the sharing limit of heterogeneous cores - Ilias Vougioukas, Andreas Sandberg, Stephan Diestelhorst, Bashir Al-Hashimi and Geoffrey Merrett
Type: Article
| 2017
Accurate and stable run-time power modeling for mobile and embedded CPUs - Matthew Walker, Stephan Diestelhorst, Andreas Hansson, Anup Das, Sheng Yang, Bashir M. Al-Hashimi and Geoff V. Merrett
Type: Article
| 2017
Book Section
Protecting Document Outside Enterprise Network: A Confirmed Framework - Zeyad, Sabah Aaber, Gary B. Wills and Richard M. Crowder
Type: Book Section
| 2017
| Springer Cham
| Item not available on this server.
Security in organisations: governance, risks and vulnerabilities in moving to the cloud - Madini, Obad Alassafi, Raid, Khalid Hussein Hussein, Gary Wills, Ghada, Abdalaziz A Gashgari and Robert Walters
Type: Book Section
| 2017
| Springer Cham
Reasoned modelling with Event-B - Michael Butler
Type: Book Section
| 2017
| Springer
Analysing security protocols using refinement in iUML-B - Colin Snook, Thai Son Hoang and Michael Butler
Type: Book Section
| 2017
| Springer
Using Goal-Question-Metric (GQM) approach to assess security in cloud storage - Fara Yahya, Robert J. Walters and Gary B. Wills
Type: Book Section
| 2017
| Springer
Conference or Workshop Item
Privacy-preserving access control in cloud federations - Shorouq Alansari, Federica Paci, Andrea Margheri and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
| IEEE
A distributed access control system for cloud federations - Shorouq Alansari, Federica Paci and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
| IEEE
A Framework for Cloud Forensic Readiness in Organizations - Ahmed Alenezi, Raid, Khalid Hussein Hussein, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2017
| IEEE
The impact of cloud forensic readiness on security - Ahmed Alenezi, Nurul H. N. Zulkipli, H. F., Atlam, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2017
| SciTePress
| Item availability restricted.
An Agent Trading on Behalf of V2G Drivers in a Day-Ahead Price Market - Ibrahem, Abdullah Almansour, Enrico Gerding and Gary Wills
Type: Conference or Workshop Item
| 2017
A framework for the adoption of EHRs by primary healthcare physicians in the Kingdom of Saudi Arabia - Asma Aljarullah Alqahtani, Richard Crowder and Gary Wills
Type: Conference or Workshop Item
| 2017
| Infonomics Society
| Item availability restricted.
Integration of cloud computing with internet of things: challenges and open issues - Hany F. Atlam, Ahmed Alenezi, Abdulrahman, Ayad Alharthi, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2017
| IEEE
Developing an adaptive Risk-based access control model for the Internet of Things - Hany F. Atlam, Gary B. Wills, Robert J. Walters, Ahmed Alenezi and Joshua Daniel
Type: Conference or Workshop Item
| 2017
| IEEE
| Item availability restricted.
An overview of risk estimation techniques in risk-based access control for the internet of things - Hany, Fathy Atlam, Ahmed Alenezi, Robert Walters and Gary Wills
Type: Conference or Workshop Item
| 2017
| Institute for Systems and Technologies of Information, Control and Communication
Exploring ARM mbed support for transient computing in energy harvesting IoT systems - Domenico Balsamo, Ali Elboreini, Bashir Al-Hashimi and Geoffrey Merrett
Type: Conference or Workshop Item
| 2017
Wearable and autonomous computing for future smart cities: open challenges - Domenico Balsamo, Geoff V. Merrett, Bahareh Zaghari, Yang Wei, Sarvapali Ramchurn, Sebastian Stein, Alexander Weddell and Stephen Beeby
Type: Conference or Workshop Item
| 2017
| IEEE
Online tuning of Dynamic Power Management for efficient execution of interactive workloads - James, Robert Benjamin Bantock, Vasileios Tenentes, Bashir Al-Hashimi and Geoffrey Merrett
Type: Conference or Workshop Item
| 2017
| IEEE
ITMD: run-time management of concurrent multi-threaded applications on heterogeneous multi-cores - Karunakar Reddy Basireddy, Amit Singh, Geoff V. Merrett and Bashir M. Al-Hashimi
Type: Conference or Workshop Item
| 2017
Empirical CPU power modelling and estimation in the gem5 simulator - Karunakar Reddy Basireddy, Matthew Walker, Domenico Balsamo, Stephan Diestelhorst, Bashir Al-Hashimi and Geoffrey Merrett
Type: Conference or Workshop Item
| 2017
| IEEE
Machine Learning for Run-Time Energy Optimisation in Many-Core Systems - Dwaipayan Biswas, Vibishna Balagopal, Rishad Shafik, Bashir B M Al-Hashimi and Geoff V Merrett
Type: Conference or Workshop Item
| 2017
| IEEE
Formal development of policing functions for intelligent systems - Chris Bogdiukiewicz, Michael Butler, Thai Son Hoang, Martin Paxton, James, Harvey Snook, Xanthippe Waldron and Toby Wilkinson
Type: Conference or Workshop Item
| 2017
| IEEE
Confluence of graph rewriting with interfaces - Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item
| 2017
Formal modelling techniques for efficient development of railway control products - Michael Butler, Dana Dghaym, Tomas Fischer, Thai Son Hoang, Klaus Reichl, Colin Snook and Peter Tummeltshammer
Type: Conference or Workshop Item
| 2017
| Springer
Evaluation and analysis of single-phase clock flip-flops for NTV applications - Yunpeng Cai, Parameshwarappa Anand, Kumar Savanth, Pranay Prabhat, James Myers, Alexander Weddell and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2017
| IEEE
| Item availability restricted.
Parity automata for quantitative linear time logics - Corina Cirstea, Shunsuke Shimizu and Ichiro Hasuo
Type: Conference or Workshop Item
| 2017
Generation of new power processing structures exploiting genetic programming - Gines Domenech Asensi and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2017
Towards empirical evaluation of automated risk assessment methods - Olga Gadyatskaya, Katsiaryna Labunets and Federica Paci
Type: Conference or Workshop Item
| 2017
Using factor analysis to study the critical success factors of agile software development - Andrew Gravell, Abdullah, M. Aldahmash and Yvonne Howard
Type: Conference or Workshop Item
| 2017
| Item not available on this server.
A review study on the critical success factors of agile software development - Andrew Gravell, Yvonne Howard and Abdullah, M Aldahmash
Type: Conference or Workshop Item
| 2017
Low power probabilistic online monitoring of systematic erroneous behaviour - Mauricio, D. Gutierrez Alcala, Vasileios Tenentes, Tomasz J. Kazmierski and Daniele Rossi
Type: Conference or Workshop Item
| 2017
| IEEE
| Item availability restricted.
Low cost error monitoring for improved maintainability of IoT applications - Mauricio, Daniel Gutierrez Alcala, Vasileios Tenentes, Tomasz Kazmierski and Daniele Rossi
Type: Conference or Workshop Item
| 2017
Class diagrams for Abstract Data Types - Thai Son Hoang, Colin Snook, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item
| 2017
| Springer
Formal analysis of safety and security requirements of critical systems supported by an extended STPA methodology - Giles Howard, Michael Butler, John Colley and Vladimiro Sassone
Type: Conference or Workshop Item
| 2017
A dedicated bit-serial hardware neuron for massively-parallel neural networks in fast epilepsy diagnosis - Si Mon Kueh and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2017
| Item not available on this server.
On the equivalence between graphical and tabular representations for security risk assessment - Katsyarina Labunets, Fabio Massacci and Federica Paci
Type: Conference or Workshop Item
| 2017
| Springer
ARM mbed support for transient computing in energy harvesting IoT systems - Bogdan Lazarescu, Domenico Balsamo and Geoff Merrett
Type: Conference or Workshop Item
| 2017
Real-time room occupancy estimation with Bayesian machine learning using a single PIR sensor and microcontroller - Charles Leech, Yordan P. Raykov, Emre Ozer and Geoff V. Merrett
Type: Conference or Workshop Item
| 2017
Type: Conference or Workshop Item
| 2017
| Item not available on this server.
Variable-accuracy bit-serial multiplication with row bypassing for ultra low power - Yue Lu and Tomasz Kazmierski
Type: Conference or Workshop Item
| 2017
| Item not available on this server.
Energy-Driven Computing: Rethinking the Design of Energy Harvesting Systems - Geoff V Merrett and Bashir B M Al-Hashimi
Type: Conference or Workshop Item
| 2017
| IEEE
CPU power estimation using PMCs and its application in gem5 - Geoffrey Merrett
Type: Conference or Workshop Item
| 2017
Power-neutral computing for IoT devices - Geoffrey Merrett
Type: Conference or Workshop Item
| 2017
| Item not available on this server.
Lazy-CSeq 2.0: combining lazy sequentialization with abstract interpretation: (Competition contribution) - TRUC L NGUYEN, Omar Inverso, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2017
| Springer
Concurrent program verification with Lazy sequentialization and interval analysis - Truc L. Nguyen, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2017
| Springer
Parallel bug-finding in concurrent programs via reduced interleaving instances - Truc Nguyen Lam, Peter Schrammel, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2017
| IEEE
A generic middleware for external peripheral state retention in transiently-powered sensor systems - Alberto Rodriguez Arreola, Domenico Balsamo, Geoffrey Merrett and Alexander Weddell
Type: Conference or Workshop Item
| 2017
Applications of energy-driven and transient computing: a wireless bicycle trip counter - Uvis Senkans, Domenico Balsamo, Theodoros D. Verykios and Geoff V. Merrett
Type: Conference or Workshop Item
| 2017
Applications of energy-driven computing: a transiently-powered wireless cycle computer - Uvis Senkans, Domenico Balsamo, Theodoros D. Verykios and Geoff V. Merrett
Type: Conference or Workshop Item
| 2017
EEVi – framework for evaluating the effectiveness of visualization in cyber-security - Aneesha Sethi, Federica Paci and Gary Wills
Type: Conference or Workshop Item
| 2017
Expert-interviews led analysis of EEVi - a model for effective visualization in cyber-security - Aneesha Sethi and Gary Wills
Type: Conference or Workshop Item
| 2017
| Item availability restricted.
Hardware and software innovations in energy-efficient system-reliability monitoring - Vasileios Tenentes, Charles Leech, Graeme Bragg, Geoffrey Merrett, Bashir Al-Hashimi, Hussam Amrouch, Jörg Henkel and Shidhartha Das
Type: Conference or Workshop Item
| 2017
| IEEE
| Item availability restricted.
Using shared memory abstractions to design eager sequentializations for weak memory models - Ermenegildo Tomasco, Truc Nguyen, Bernd Fischer, Salvatore La Torre and Gennaro Parlato
Type: Conference or Workshop Item
| 2017
| Springer
Preventing unauthorized data flows - Emre Uzun, Gennaro Parlato, Vijayalakshmi Atluri, Anna Lisa Ferrara, Jaideep Vaidya, Shamik Sural and David Lorenzi
Type: Conference or Workshop Item
| 2017
| Springer
Selective policies for efficient state retention in transiently-powered systems - Theodoros D. Verykios, Domenico Balsamo and Geoff Merrett
Type: Conference or Workshop Item
| 2017
Exploring energy efficient state retention in transiently-powered computing systems - Theodoros D. Verykios, Domenico Balsamo and Geoff V. Merrett
Type: Conference or Workshop Item
| 2017
Small scale driving simulators: A source of realistic data ? - Ben Waterson, Chris Osowski, Gary Wills, James Baker and Aditya Tafta Nugraha
Type: Conference or Workshop Item
| 2017
| Item not available on this server.
Putting intelligence back into traffic lights - Ben Waterson, Christopher, John Osowski, Gary Wills and James Baker
Type: Conference or Workshop Item
| 2017
| Item not available on this server.
Reliable mapping and partitioning of performance-constrained OpenCL Applications on CPU-GPU MPSoCs - Eduardo Weber Wachter, Geoff V. Merrett, Amit Singh and Bashir Al-Hashimi
Type: Conference or Workshop Item
| 2017
Clustering goal-driven security factors for protecting data in cloud storage using Exploratory Factor Analysis (EFA): an empirical study - Fara Yahya, Robert J Walters and Gary B Wills
Type: Conference or Workshop Item
| 2017
| Institute for Systems and Technologies of Information, Control and Communication
IoT Forensic: Bridging the Challenges in Digital Forensic and the Internet of Things - Nurul H. N., Zulkipli, Ahmed Alenezi and Gary Wills
Type: Conference or Workshop Item
| 2017
| Item availability restricted.
Thesis
Standards-based Internet of Things sub-GHz environmental sensor networks - Graeme McLachlan Bragg
Type: Thesis
| 2017
| University of Southampton
Type: Thesis
| 2017
| University of Southampton
Dataset
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton
Type: Dataset
| 2017
| University of Southampton