Rudy Braquehais

According to our database, Rudy Braquehais authored at least 7 papers between 2007 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Express: applications of dynamically typed Haskell expressions.

Rudy Matela

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

2017

Tools for discovery, refinement and generalization of functional properties by enumerative testing.

Rudy Matela Braquehais

PhD thesis, 2017

Extrapolate: generalizing counterexamples of functional test properties.

Rudy Braquehais, Colin Runciman

Proceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, 2017

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results.

Rudy Braquehais, Colin Runciman

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017

2016

FitSpec: refining property sets for functional testing.

Rudy Braquehais, Colin Runciman

Proceedings of the 9th International Symposium on Haskell, 2016

2007

IP-checksum incremental update method proposal for efficient use of energy in wireless environments.

Domingos S. S. Carneiro, Paulo V. A. Pinheiro, Pedro H. Prudêncio, Daniel N. S. Cavalcante, Diego V. S. Sousa, Rudy M. Braquehais, Thially V. P. Marrocos, Marcial Porto Fernandez

Proceedings of the 2007 Euro American conference on Telematics and Information Systems, 2007

A method using time series analysis for IEEE 802.11 WLANs channel forecasting.

Jeandro Bezerra, Rudy Braquehais, Filipe Roberto, Jorge Silva, Marcial Porto Fernandez, Thelmo P. de Araújo, Celestino Junior

Proceedings of the 2007 Euro American conference on Telematics and Information Systems, 2007