Sign in
Tomás Silva
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Sat Solvers
Search Strategy
Boolean Satisfiability
Temporal Properties
Top Venues
ICNP
FMICS
</>
Publications
</>
Tomás Silva
,
João Casal
,
Ricardo Chaves
Lightweight Network-Based IoT Device Authentication in Cloud Services.
ICNP
(2023)
André de Matos Pedro
,
Tomás Silva
,
Tiago F. Sequeira
,
João Lourenço
,
João Costa Seco
,
Carla Ferreira
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers.
FMICS
(2022)