BedreFlyt

Knowledge-driven Stream Monitor Synthesis
Proc. RV 2026. Springer 2026.
Preprint Cite
Runtime Decision Models under Uncertainty using Surprise-Based Learning for Supply Management
Proc. MODELS 2026. ACM 2026. To appear.
Preprint Cite DOI
BedreFlyt Artifact: A Self-Adaptive Digital Twin Software System for Hospital Resource Allocation
Proc. ACSOS 2026. IEEE 2026. To appear.
Preprint Cite
A Self-Adaptive Digital Twin Architecture for Dynamic Resource Management
Proc. SEAMS 2026. ACM 2026.
Preprint Cite DOI
What-If Scenarios for the BedreFlyt Digital Twin
In: Principles of Formal Quantitative Analysis. LNCS 15760. © Springer 2025.
Preprint Cite DOI
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
Proc. ASQAP 2025. EPTCS 2025.
Preprint Cite DOI
BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins