Login / Signup
Tomás Silva
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 3
Top Topics
Sat Solvers
Clause Learning
Boolean Satisfiability
Lightweight
Top Venues
ICNP
Int. J. Softw. Tools Technol. Transf.
FMICS
</>
Publications
</>
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.
Int. J. Softw. Tools Technol. Transf.
26 (2) (2024)
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)