Renato B. Abreu

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 3

Top Topics

Formal Verification

Bounded Model Checking

Top Venues

J. Braz. Comput. Soc.

Publications

Renato B. Abreu, Guillermo Pocovi, Thomas H. Jacobsen, Marco Centenaro, Klaus I. Pedersen, Troels E. Kolding
Scheduling Enhancements and Performance Evaluation of Downlink 5G Time-Sensitive Communications. IEEE Access 8 (2020)
Gilberto Berardinelli, Renato B. Abreu, Thomas H. Jacobsen, Nurul Huda Mahmood, Klaus I. Pedersen, István Z. Kovács, Preben Mogensen
On the Achievable Rates over Collision-Prone Radio Resources with Linear Receivers. PIMRC (2018)
Renato B. Abreu, Mikhail Y. R. Gadelha, Lucas C. Cordeiro, Eddie Batista de Lima Filho, Waldir Sabino da Silva Jr.
Bounded model checking for fixed-point digital filters. J. Braz. Comput. Soc. 22 (1) (2016)
Iury Bessa, Renato B. Abreu, Joao Edgar Chaves Filho, Lucas C. Cordeiro
SMT-Based Bounded Model Checking of Fixed-Point Digital Controllers. CoRR (2014)
Iury Bessa, Renato B. Abreu, João Edgar Chaves Filho, Lucas C. Cordeiro
SMT-based bounded model checking of fixed-point digital controllers. IECON (2014)
Renato B. Abreu, Lucas C. Cordeiro, Eddie B. L. Filho
Verifying Fixed-Point Digital Filters using SMT-Based Bounded Model Checking CoRR (2013)