Riccardo Sieve

• Sieve, Riccardo (2026). OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding Agents. CEUR Workshop Proceedings. doi: https:/ceur-ws.org/Vol-4230/dl-paper5.pdf. Fulltekst i vitenarkiv
• Sieve, Riccardo; Talasila, Prasad; Larsen, Peter Gorm & Johnsen, Einar Broch (2026). A Self-Adaptive Digital Twin Architecture to Automate Greenhouse Management. International Conference on Industrial Cyber-Physical Systems. ISSN 2769-3902. s. 1–6. doi: 10.1109/icps70486.2026.11567987. Fulltekst i vitenarkiv
• Kløvstad, Åsmund Aqissiaq Arild; Kobialka, Paul; Sieve, Riccardo; Pferscher, Andrea; Slaughter, Laura Ann & Tarifa, Silvia Lizeth Tapia [Vis alle 7 forfattere av denne artikkelen] (2025). What-If Scenarios for the BedreFlyt Digital Twin. I Bertrand, Nathalie; Dubslaff, Clemens & Klüppelholz, Sascha (Red.), Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday. Springer Nature. ISSN 9783031974397. s. 360–381. doi: 10.1007/978-3-031-97439-7_18. Fulltekst i vitenarkiv Vis sammendrag

  Digital twin technology is emerging as a valuable tool for both short-term decision-making and long-term strategic planning across domains such as process industry, energy, space, transport, and healthcare. This paper reports on ongoing work in designing a digital twin to enhance resource planning in hospitals, e.g., for in-patient needs. Our focus here is on a novel technique to express what-if scenarios in digital twins to improve strategic planning processes, spanning, e.g., average-case and worst-case resource needs, expected patient treatments, and ranging over variations in available resources such as bed bays in the hospital ward. Due to the modularity of our digital twin architecture, different what-if scenarios can be explored simply by configuring the digital twin’s orchestrator, which triggers a formal methods analysis pipeline that combines executable formal models for simulation, optimization over constraints and a knowledge base that formalizes domain knowledge. We illustrate what-if scenario analysis in our digital twin architecture by considering the problem of bed bay allocation in a hospital ward.

• Sieve, Riccardo; Kamburjan, Eduard; Damiani, Ferruccio & Johnsen, Einar Broch (2025). Declarative Dynamic Object Reclassification. Leibniz International Proceedings in Informatics. 333, s. 29:1–29:31. doi: 10.4230/LIPICS.ECOOP.2025.29. Fulltekst i vitenarkiv Vis sammendrag

  In object-oriented languages, dynamic object reclassification is a technique to change the class binding of an object at runtime. Current approaches express when and how to reclassify inside the program’s business code, while maintaining internal consistency. These approaches are less suited for programs that need to be consistent with an external context, such as autonomous systems interacting with a knowledge base. This paper proposes declarative dynamic object reclassification, a novel technique that provides a separation of concerns between a program’s business code and its adaptation logic for reclassification, expressed via a knowledge base. We present Featherweight Semantically Reflected Java, a minimal calculus for declarative dynamic object reclassification that enables the programmer to define consistency both internally (using a type system) and externally (using declarative classification queries). We use this calculus to study how internal and external consistency interact for declarative dynamic object reclassification. We further implement the technique by extending SMOL, a language for reflective programming via external knowledge bases.

• Sieve, Riccardo; Kobialka, Paul; Slaughter, Laura Ann; Schlatte, Rudolf; Johnsen, Einar Broch & Tarifa, Silvia Lizeth Tapia (2025). BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins. Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins. doi: 10.48550/ARXIV.2505.06287. Fulltekst i vitenarkiv
• Kamburjan, Eduard; Sieve, Riccardo; Baramashetru, Chinmayi; Amato, Marco; Barmina, Gianluca & Occhipinti, Eduard [Vis alle 7 forfattere av denne artikkelen] (2024). GreenhouseDT: An Exemplar for Digital Twins. I Baresi, Luciano (Red.), SEAMS '24: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. Association for Computing Machinery (ACM). ISSN 9798400705854. doi: 10.1145/3643915.3644108. Fulltekst i vitenarkiv Vis sammendrag

  Digital twins, which are increasingly adopted in industry, are model-centric systems used to improve the behavior of a twinned physical system. Seen as a whole, this system has several layers of self-adaptation: first, the digital twin manages its physical counterpart and maintains its models through a feedback loop to, e.g., fine-tune model parameters. Second, the digital twin needs to deal with unforeseen changes in the composition of the physical system, which require models to be partly replaced or recomposed. To facilitate research on self-adaptive digital twins, without requiring access to industrial production systems, this paper presents GreenhouseDT, an exemplar that explicitly separates these layers of self-adaptation. GreenhouseDT provides an extensible software architecture for a digital twin of a simple, low-cost greenhouse, in which plants, sensors and water pumps constitute the physical system. GreenhouseDT includes an asset model in the digital twin's knowledge base and uses reflection to lift twinned configurations into the knowledge base. We discuss how GreenhouseDT can be extended with different digital twin capabilities, demonstrated by the addition of plant health monitoring and model-based control.

• Kamburjan, Eduard; Pferscher, Andrea; Schlatte, Rudolf; Sieve, Riccardo; Tarifa, Silvia Lizeth Tapia & Johnsen, Einar Broch (2024). Semantic Reflection and Digital Twins: A Comprehensive Overview. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 15240, s. 129–145. doi: 10.1007/978-3-031-73887-6_11. Fulltekst i vitenarkiv

Se alle arbeider i NVA

• Kamburjan, Eduard; Sieve, Riccardo; Baramashetru, Chinmayi; Amato, Marco; Barmina, Gianluca & Occhipinti, Eduard [Vis alle 7 forfattere av denne artikkelen] (2024). GreenhouseDT: An Exemplar for Digital Twins. Fulltekst i vitenarkiv

Se alle arbeider i NVA