Ana Carolina Silva

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 4

Top Topics

Execution Traces

Mobile Services

Top Venues

Publications

Ana Carolina Silva, Manuel Barbosa, Mário Florido
Execution Time Program Verification with Tight Bounds. PADL (2023)
Ana Carolina Silva, Manuel Barbosa, Mário Florido
Execution Time Program Verification With Tight Bounds. CoRR (2022)
Pedro Guimarães, Flora Ferreira, Ana Carolina Silva, Wolfram Erlhagen, Sérgio Monteiro, Estela Bicho
A Data Recording Mobile Application to Create Datasets of Vehicle Users' Routines. ICARSC (2022)
Ankit R. Patel, Flora Ferreira, Sergio Monteiro, Ana Carolina Silva, Wolfram Erlhagen, Estela Bicho
Prediction of attitudes towards human-centred cognitive vehicles aware of their users' routines and preferences. RTSI (2021)
Ana Carolina Silva, Cristina Peixoto dos Santos
A Bio-inspired Model Reliably Predicts the Collision of Approaching Objects under Different Light Conditions. SAB (2012)