A Formal Model of Client-Cloud Interaction. - Károly Bósa; Roxana-Maria Holom; Mircea Boris Vleju (Correct Software in Web Applications and Web Services, 2015)

Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation. - Roxana-Maria Holom (EUROCAST, 2015)

Modeling and Formal Analysis of a Client-Server Application for Cloud Services. - Paolo Arcaini; Roxana-Maria Holom; Elvinia Riccobene (WS-FM, 2015)

ASM-based formal design of an adaptivity component for a Cloud system. - Paolo Arcaini; Roxana-Maria Holom; Elvinia Riccobene (Formal Aspects Comput., 2016)

Automatic Classification of XCT Images in Manufacturing. - Bertram Sabrowsky-Hirsch; Roxana-Maria Holom; Christian Gusenbauer; Michael Reiter; Florian Reiterer; Ricardo Fernández Gutiérrez; Josef Scharinger (AIAI, 2021)

Model-Based Engineering and Semantic Interoperability for Trusted Digital Twins Big Data Connection Across the Product Lifecycle. - Óscar Lázaro; Jesús Alonso; Roxana-Maria Holom; Katharina Rafetseder; Stefanie Kritzinger; Fernando Ubis; Gerald Fritz; Alois Wiesinger; Harald Sehrschön; Jimmy Nguyen; Tomasz Luniewski; Wojciech Zietak; et al. (Technologies and Applications for Big Data Value, 2022)