Filter dates
Overview
- tight bounds
- mobile services
- execution traces
- collected data
Publications
Execution Time Program Verification with Tight Bounds.
PADL
Execution Time Program Verification With Tight Bounds.
CoRR
A Data Recording Mobile Application to Create Datasets of Vehicle Users' Routines.
ICARSC
Prediction of attitudes towards human-centred cognitive vehicles aware of their users' routines and preferences.
RTSI