Follow
Rudy Matela Braquehais
Rudy Matela Braquehais
Unaffiliated
Verified email at matela.com.br - Homepage
Title
Cited by
Cited by
Year
FitSpec: refining property sets for functional testing
R Braquehais, C Runciman
Proceedings of the 9th International Symposium on Haskell, 1-12, 2016
132016
Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results
R Braquehais, C Runciman
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 40-51, 2017
112017
NAES: Natural adaptive exponential smoothing algorithm for WLAN channel prediction in mobile environment
J Bezerra, R Braquehais, F Roberto, J Silva, M Fernandez, T de Araújo, ...
2008 The Fourth International Conference on Wireless and Mobile …, 2008
62008
Extrapolate: generalizing counterexamples of functional test properties
R Braquehais, C Runciman
Proceedings of the 29th Symposium on the Implementation and Application of …, 2017
42017
Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing
R Matela Braquehais
University of York, 2017
3*2017
A method using time series analysis for IEEE 802.11 WLANs channel forecasting
J Bezerra, R Braquehais, F Roberto, J Silva, M Fernandez, T de Araújo, ...
Proceedings of the 2007 Euro American conference on Telematics and …, 2007
12007
Express: applications of dynamically typed Haskell expressions
R Matela
Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 98-109, 2021
2021
IP-checksum incremental update method proposal for efficient use of energy in wireless environments
DSS Carneiro, PVA Pinheiro, PH Prudêncio, DNS Cavalcante, ...
Proceedings of the 2007 Euro American conference on Telematics and …, 2007
2007
Técnicas para Comutação Gigabit
VM Romão, PH Prudêncio, RM Braquehais, J Celestino Jr, JLC Silva, ...
Minicursos da SBRC 2006, 2006
2006
Previsibilidade do Comportamento do Canal em Redes IEEE 802.11
JM Bezerra, F Maciel, RM Braquehais
The system can't perform the operation now. Try again later.
Articles 1–10