Login / Signup
Alair Dias Junior
ORCID
Publication Activity (10 Years)
Years Active: 2012-2016
Publications (10 Years): 2
Top Topics
Bounded Model Checking
Temporal Properties
Formal Verification
Blood Pressure
Top Venues
Microprocess. Microsystems
DAC
LATW
DSD
</>
Publications
</>
Alair Dias Junior
,
Srinivasan Murali
,
Francisco J. Rincón
,
David Atienza
Methods for reliable estimation of pulse transit time and blood pressure variations using smartphone sensors.
Microprocess. Microsystems
46 (2016)
Alair Dias Junior
,
Srinivasan Murali
,
Francisco J. Rincón
,
David Atienza
Estimation of Blood Pressure and Pulse Transit Time Using Your Smartphone.
DSD
(2015)
Rubén Braojos
,
Hossein Mamaghanian
,
Alair Dias Junior
,
Giovanni Ansaloni
,
David Atienza
,
Francisco J. Rincón
,
Srinivasan Murali
Ultra-Low Power Design of Wearable Cardiac Monitoring Systems.
DAC
(2014)
Alair Dias Junior
,
Diógenes Cecilio da Silva Júnior
Using guiding heuristics to improve the dynamic checking of temporal properties in data dominated high-level designs.
ISVLSI
(2013)
Alair Dias Junior
,
Diógenes Cecilio da Silva Júnior
A guiding heuristic for the semi-formal verification of high-level designs.
LATW
(2012)