1 citations · 3 across the 3 of their papers we have counts for
3 papers
Search-based Trace Diagnostic for Cyber-Physical Systems
Gabriel Araujo, Ricardo Caldas, Federico Formica +3
Cyber-physical systems (CPS) development requires verifying whether system behaviors violate their requirements. This analysis often considers system behaviors expressed by executi…
Professional Insights into Benefits and Limitations of Implementing MLOps Principles
Gabriel Araujo, Marcos Kalinowski, Markus Endler +1
Context: Machine Learning Operations (MLOps) has emerged as a set of practices that combines development, testing, and operations to deploy and maintain machine learning applicatio…
Multicloud API binding generation from documentation
Michał J. Gajda, Vitor Vitali Barrozzi, Gabriel Araujo
We present industry experience from implementing retargetable cloud API binding generator. The analysis is implemented in Haskell, using type classes, types a la carte, and code ge…