Rudy Braquehais
Orcid: 0000-0001-5302-7096Affiliations:
- University of York, UK (PhD 2017)
According to our database1,
Rudy Braquehais authored at least 10 papers
between 2007 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2025
Bridging the Gap: Socio-Technical Perspectives on Software Testing and Automation in Manufacturing.
Proceedings of the 11th International Workshop on Socio-Technical Perspectives in Information Systems (STPIS 2025), 2025
online-cp: a Python Package for Online Conformal Prediction, Conformal Predictive Systems and Conformal Test Martingales.
Proceedings of the Fourteenth Symposium on Conformal and Probabilistic Prediction with Applications, 2025
2021
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.
PhD thesis, 2017
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.
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017
2016
Proceedings of the 9th International Symposium on Haskell, 2016
2007
IP-checksum incremental update method proposal for efficient use of energy in wireless environments.
Proceedings of the 2007 Euro American conference on Telematics and Information Systems, 2007
Proceedings of the 2007 Euro American conference on Telematics and Information Systems, 2007