The University of Southampton
University of Southampton Institutional Repository

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
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Authors/Creators | Item Type
Number of items: 128.

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

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.

Type: Article | 2017

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

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

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.

Type: Article | 2017

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

Adoption of Web based Knowledge Sharing system amongst Academic Staff - Hanan Alotaibi, Richard Crowder and Gary Wills
Type: Article | 2017

Type: Conference or Workshop Item | 2017 | Infonomics Society | Item availability restricted.

Type: Article | 2017

Type: Article | 2017

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

Type: Dataset | 2017 | University of Southampton

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

Core Hybrid Event-B II: Multiple cooperating Hybrid Event-B machines - Richard Banach, Michael Butler, Shengchao Qin and Huibao Zhu
Type: Article | 2017

Type: Dataset | 2017 | University of Southampton

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

Type: Dataset | 2017 | University of Southampton

Type: Dataset | 2017 | University of Southampton

Type: Dataset | 2017 | University of Southampton

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

Type: Dataset | 2017 | University of Southampton

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

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

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

Type: Dataset | 2017 | University of Southampton

Confluence of graph rewriting with interfaces - Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski and Fabio Zanasi
Type: Conference or Workshop Item | 2017

The calculus of signal flow diagrams I: linear relations on streams - Filippo Bonchi, Pawel Sobocinski and Fabio Zanasi
Type: Article | 2017

Interacting Hopf algebras - Filippo Bonchi, Pawel Sobocinski and Fabio Zanasi
Type: Article | 2017

Type: Thesis | 2017 | University of Southampton

Type: Book Section | 2017 | Springer

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.

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

Type: Article | 2017

Parity automata for quantitative linear time logics - Corina Cirstea, Shunsuke Shimizu and Ichiro Hasuo
Type: Conference or Workshop Item | 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

Type: Dataset | 2017 | University of Southampton

Type: Thesis | 2017 | University of Southampton

Type: Conference or Workshop Item | 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

Type: Dataset | 2017 | University of Southampton

Type: Dataset | 2017 | University of Southampton

Towards empirical evaluation of automated risk assessment methods - Olga Gadyatskaya, Katsiaryna Labunets and Federica Paci
Type: Conference or Workshop Item | 2017

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

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

Type: Dataset | 2017 | University of Southampton

Type: Dataset | 2017 | University of Southampton

Class diagrams for Abstract Data Types - Thai Son Hoang, Colin Snook, Dana Dghaym and Michael Butler
Type: Conference or Workshop Item | 2017 | Springer

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

Type: Conference or Workshop Item | 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

Type: Conference or Workshop Item | 2017 | Item not available on this server.

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

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

Type: Dataset | 2017 | University of Southampton

Type: Conference or Workshop Item | 2017 | Item availability restricted.

Type: Dataset | 2017 | University of Southampton

Type: Dataset | 2017 | University of Southampton

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.

Games for change applications in dementia care - Noreena Liu, Gary Wills and Ashokkumar Ranchhod
Type: Conference or Workshop Item | 2017 | Item not available on this server.

Type: Conference or Workshop Item | 2017 | Item not available on this server.

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

Type: Conference or Workshop Item | 2017 | IEEE

Type: Conference or Workshop Item | 2017

Type: Dataset | 2017 | University of Southampton

Type: Conference or Workshop Item | 2017 | Item not available on this server.

Exploring avatar roles for motivational effects in gameful environments - Nooralisa Mohd Tuah, Vanissa Wanick, Ashokkumar Ranchhod and Gary B. Wills
Type: Article | 2017

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

Type: Dataset | 2017 | University of Southampton

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

Type: Dataset | 2017 | University of Southampton

Aging benefits in nanometer CMOS designs - Daniele Rossi, Vasileios Tenentes, Sheng Yang, Saqib Khursheed and Bashir Al-Hashimi
Type: Article | 2017

Type: Dataset | 2017 | University of Southampton

Type: Dataset | 2017 | University of Southampton

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

Type: Conference or Workshop Item | 2017

Type: Conference or Workshop Item | 2017 | Item availability restricted.

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

Type: Dataset | 2017 | University of Southampton

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

Type: Dataset | 2017 | University of Southampton

Analysing security protocols using refinement in iUML-B - Colin Snook, Thai Son Hoang and Michael Butler
Type: Book Section | 2017 | Springer

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.

Type: Dataset | 2017 | University of Southampton

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

Type: Dataset | 2017 | University of Southampton

Type: Dataset | 2017 | University of Southampton

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

Type: Dataset | 2017 | University of Southampton

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

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

Type: Dataset | 2017 | University of Southampton

Type: Conference or Workshop Item | 2017 | Institute for Systems and Technologies of Information, Control and Communication

Type: Book Section | 2017 | Springer

Type: Conference or Workshop Item | 2017 | Item availability restricted.

This list was generated on Tue Mar 26 01:33:15 2024 GMT.
Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×