The University of Southampton
University of Southampton Institutional Repository

Items where Division is "Electronics & Computer Science > Cyber Physical Systems" and Year is 2015

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: 107.

Type: Book | 2015 | IGI Global

Type: Book | 2015 | Scitepress | Item not available on this server.

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 Computer Society | Item availability restricted.

Type: Article | 2015

Gamification and behaviour - Alaa AlMarshedi, Vanissa Wanick Vieira, Gary Wills and Ashok Ranchhod
Type: Book Section | 2015 | Springer | Item availability restricted.

Type: Article | 2015

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

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

Type: Thesis | 2015

Type: Thesis | 2015

Hibernus: Sustaining Computation duringIntermittent 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.

Type: Thesis | 2015 | University of Southampton | Item availability restricted.

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

Type: Article | 2015

Type: Conference or Workshop Item | 2015

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 Mazomenos, Koushik Maharatna, George Koulaouzidis, John M. Morgan and Paolo Emilio Puddu
Type: Article | 2015

Type: Book Section | 2015 | IGI Global

Type: Conference or Workshop Item | 2015

Type: Book | 2015 | Nova Science Publisher

Type: Book | 2015 | Lambert

Type: Article | 2015

Epilogue: Summary and Outlook - Victor Chang, Muthu Ramacahdran, Robert Walters and Gary Wills
Type: Article | 2015

Type: Conference or Workshop Item | 2015

Introductory Editorial - Victor Chang, Muthu Ramachandran, Robert John Walters and Gary Wills
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

Emerging Software as a Service and Analytics - Victor Chang, Robert Walters and Gary Wills
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

Type: Article | 2015

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

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.

Editorial - George Eleftherakis, Michael Butler and Mike Hinchey
Type: Article | 2015 | Item not available on this server.

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.

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

Type: Article | 2015

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

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

Type: Thesis | 2015

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

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.

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

Detecting elementary arm movements by tracking upper limb joint angles with MARG sensors - Evangelos B. Mazomenos, Dwaipayan Biswas, Andy Cranny, Amal Rajan, Koushik Maharatna, Josy Achner, Jasmin Klemke, Michael Jobges, Steffen Ortmann and Peter Langendorfer
Type: Article | 2015

Type: Article | 2015

Type: Article | 2015 | Item availability restricted.

Type: Thesis | 2015

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

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

Preventing information inference in access control - Federica Paci and Nicola Zannone
Type: Conference or Workshop Item | 2015 | Item availability restricted.

Type: Conference or Workshop Item | 2015

Type: Conference or Workshop Item | 2015

Type: Thesis | 2015

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

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

A Method of Refinement in UML-B - Mar Yah Said, Michael Butler and Colin Snook
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

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 openMP 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: Conference or Workshop Item | 2015 | Item availability restricted.

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

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

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

Type: Article | 2015 | Item not available on this server.

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

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

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

Type: Article | 2015

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

This list was generated on Tue Sep 18 01:29:52 2018 BST.
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 https://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.

×