• Publications
  • Influence
Experimental sleep phases monitoring
TLDR
The goal of this research is to find a reduced complexity method to process a minimum number of bio vital signals, while providing accurate sleep classification results. Expand
  • 16
  • 3
Self-Aware Trader: A New Approach to Safer Trading
TLDR
We propose the Self-Aware Trader System to support traders by providing them with information that can reduce the likelihood of poor decision-making. Expand
  • 14
  • 2
  • PDF
Heart rate spectrum analysis for sleep quality detection
TLDR
We propose a sleep stage detection algorithm that uses only the heart rate signal, derived from electrocardiogram (ECG), as a discriminator. Expand
  • 10
  • 1
Virtualization of Residential Gateways
TLDR
This paper presents a general architecture for the virtualization of OSGi platforms that are running in a RGW. Expand
  • 16
  • 1
A refinement calculus for the synthesis of verified hardware descriptions in VHDL
TLDR
A formal refinement calculus targeted at system-level descriptions in the IEEE standard hardware description language VHDL is described here. Expand
  • 16
  • 1
  • PDF
Sleep stages classification using vital signals recordings
TLDR
To evaluate the quality of a person's sleep it is essential to identify the sleep stages and their durations. Expand
  • 9
  • 1
Integration of an advanced emergency call subsystem into a car-gateway platform
TLDR
This paper puts forward the essentials of this modular, dynamic and robust architecture for safety and wellness applications and defines in detail the advanced emergency call (eCall+), one of the most innovative applications in the project. Expand
  • 9
  • 1
Reasoning about VHD3L and VHDL-AMS using denotational semantics
TLDR
This paper introduces a denotational semantics for a core of the draft IEEE standard analog and mixed signal design language VHDL-AMS, and derives general results about the behaviour of VHD-AMS programs from it. Expand
  • 9
  • 1
  • PDF
A Home E-Health System for Dependent People Based on OSGI
TLDR
This chapter presents a e-health system for dependent people installed in a smart home gateway hardware independent from the application layer. Expand
  • 10
  • 1
OSGi services design process using model driven architecture
TLDR
This paper describes how OSGi services can be designed and implemented using a MDA methodology and how easy it can be implemented with open source tools like Eclipse and its plugins. Expand
  • 1
  • 1