activity
20162026
most citedBounded Model Checking of State-Space Digital Systems: The Impact of Finite Word-Length Effects on the Implementation of Fixed-Point Digital Controllers Based on State-Space Modeling

4 citations · 5 across the 7 of their papers we have counts for

collaborators
Showing cs.CYShow all

1 paper · 1 filter

cs.CY2016

Complementary Training Programme for Electrical and Computer Engineering Students Through an Industrial-Academic Collaboration (Extended Version)

Felipe R. Monteiro, Phillipe A. Pereira, Lucas C. Cordeiro +2

We describe the results of an industrial-academic collaboration among the Graduate Program in Electrical Engineering (PPGEE), the Electronics and Information Research Centre (CETEL…