Roxana-Maria Holom

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 2

Top Topics

Original Images

Automatically Classify

Client Server Databases

Top Venues

Formal Aspects Comput.

Publications

Bertram Sabrowsky-Hirsch, Roxana-Maria Holom, Christian Gusenbauer, Michael Reiter, Florian Reiterer, Ricardo Fernández Gutiérrez, Josef Scharinger
Automatic Classification of XCT Images in Manufacturing. AIAI (2021)
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
ASM-based formal design of an adaptivity component for a Cloud system. Formal Aspects Comput. 28 (4) (2016)
Roxana-Maria Holom
Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation. EUROCAST (2015)
Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM (2015)