Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Model-Driven Digital Twin Framework for Quantum Networks
Amal Elsokary, Hayato Ishida, Ran Wei +2
Quantum networks are advancing towards larger and more operational infrastructures, yet their evaluation remains fragmented across heterogeneous physical platforms, simulators, pro…
cs.SE2026
A Framework for Managing the Models of Engineered Quantum Systems
Siyuan Ji, Hayato Ishida, Amal Elsokary +6
Quantum technologies are maturing into systems that classical engineering must build, verify and maintain. The model-driven community has begun to respond with quantum-aware pipeli…
cs.SE2026
SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
Charles Lewis, Amal Elsokary, Siyuan Ji
Model-Based Systems Engineering (MBSE) is widely treated as the backbone of digital engineering, with languages such as the Systems Modeling Language (SysML) providing the means to…