Roxana-Maria Holom

According to our database, Roxana-Maria Holom authored at least 6 papers between 2015 and 2022.

Collaborative distances:

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

2022

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, Jerome Clavel, Roberto Perez, Marlène Hildebrand, Dimitris Kiritsis, Hugues-Arthur Garious, Silvia de la Maza, Antonio Ventura-Traveset, Juanjo Hierro, Gernot Boege, Ulrich Ahle

Proceedings of the Technologies and Applications for Big Data Value, 2022

2021

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

Proceedings of the Artificial Intelligence Applications and Innovations, 2021

2016

ASM-based formal design of an adaptivity component for a Cloud system.

Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene

Formal Aspects Comput., 2016

2015

Modeling and Formal Analysis of a Client-Server Application for Cloud Services.

Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene

Proceedings of the Web Services, Formal Methods, and Behavioral Types, 2015

Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation.

Roxana-Maria Holom

Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

A Formal Model of Client-Cloud Interaction.

Károly Bósa, Roxana-Maria Holom, Mircea Boris Vleju

Proceedings of the Correct Software in Web Applications and Web Services, 2015