José M. Leitão

Publication Activity (10 Years)

Years Active: 2013-2019
Publications (10 Years): 2

Top Topics

Failure Detection

Alternating Time Temporal Logic

Top Venues

Publications

José M. Leitão, Ricardo Chaves, Marcelino B. Santos
Applying Model Checking in the Verification of a Clock Masking Unit. DCIS (2019)
Rodrigo B. Capeleiro, José M. Leitão, Ricardo Chaves, Marcelino B. Santos
Low-power frequency monitoring circuit for clock failure detection. DCIS (2018)
José M. Leitão, José A. Germano, Nuno Roma, Ricardo Chaves, Pedro Tomás
Scalable and high throughput biosensing platform. FPL (2013)