
REFERENCES
Alexander, C., Ishikawa, S., and Silverstein, M. (1977).
A Pattern Language: Towns, Buildings, Construction.
Oxford University Press.
Ali, S., Arcaini, P., Wang, X., and Yue, T. (2021). Assessing
the Effectiveness of Input and Output Coverage Crite-
ria for Testing Quantum Programs. In 2021 14
th
IEEE
Conference on Software Testing, Verification and Val-
idation (ICST), pages 13–23.
Ali, S., Yue, T., and Abreu, R. (2022). When Software En-
gineering Meets Quantum Computing. Communica-
tions of the ACM, 65(4):84–88.
Altmanninger, K., Seidl, M., and Wimmer, M. (2009). A
survey on model versioning approaches. International
Journal of Web Information Systems, 5(3):271–304.
Baczyk, B., P
´
erez-Castillo, R., and Piattini, M. (2024).
Towards a Framework of Architectural Patterns for
Quantum Software Engineering. In Proceedings of the
4
th
International Workshop on Quantum Software En-
gineering and Technology (Q-SET), pages 41–48.
Bechtold, M., Barzen, J., Beisel, M., Leymann, F., and
Weder, B. (2023). Patterns for Quantum Circuit Cut-
ting. In Proceedings of the 30
th
Conference on Pattern
Languages of Programs (PLoP), pages 1–11. HILL-
SIDE.
Becker, C. K.-U., Gheorghe-Pop, I.-D., and Tcholtchev, N.
(2023). A testing pipeline for quantum computing
applications. In Proceedings of the 2023 IEEE In-
ternational Conference on Quantum Software (QSW),
pages 54–59. IEEE.
Beisel, M., Alvarado-Valiente, J., Barzen, J., Leymann,
F., Romero-
´
Alvarez, J., Stiliadou, L., and Weder, B.
(2024a). Utilizing a Standards-Based Toolchain to
Model and Execute Quantum Workflows. In Web En-
gineering – ICWE 2024, pages 401–405. Springer.
Beisel, M., Barzen, J., Leymann, F., Stiliadou, L., and
Weder, B. (2024b). Observability for Quantum Work-
flows in Heterogeneous Multi-cloud Environments. In
Advanced Information Systems Engineering – CAiSE
2024, pages 612–627. Springer.
Beisel, M., Barzen, J., Leymann, F., Truger, F., Weder, B.,
and Yussupov, V. (2022). Patterns for Quantum Error
Handling. In Proceedings of the 14
th
International
Conference on Pervasive Patterns and Applications
(PATTERNS), pages 22–30. Xpert Publishing Services
(XPS).
B
¨
uhler, F., Barzen, J., Beisel, M., Georg, D., Leymann, F.,
and Wild, K. (2023). Patterns for Quantum Software
Development. In Proceedings of the 15
th
Interna-
tional Conference on Pervasive Patterns and Appli-
cations (PATTERNS), pages 30–39. Xpert Publishing
Services (XPS).
Bu
ˇ
zek, V. and Hillery, M. (1996). Quantum copying: Be-
yond the no-cloning theorem. Physical Review A,
54(3):1844.
Cao, Y., Romero, J., and Aspuru-Guzik, A. (2018). Poten-
tial of quantum computing for drug discovery. IBM
Journal of Research and Development, 62(6):6:1–
6:20.
Chareton, C., Bardin, S., Bobot, F., Perrelle, V., and Val-
iron, B. (2021). An Automated Deductive Verification
Framework for Circuit-building Quantum Programs.
In European Symposium on Programming (ESOP),
pages 148–177. Springer.
Cross, A., Javadi-Abhari, A., Alexander, T., Beaudrap,
N. D., Bishop, L. S., Heidel, S., et al. (2022). Open-
QASM 3: A broader and deeper quantum assembly
language. ACM Transactions on Quantum Comput-
ing, 3(3):1–50.
DeBenedictis, E. P. (2018). A Future with Quantum Ma-
chine Learning. Computer, 51(2):68–71.
Falkenthal, M., Barzen, J., Breitenb
¨
ucher, U., and Leymann,
F. (2017). Solution Languages: Easing Pattern Com-
position in Different Domains. International Journal
on Advances in Software, 10(3):263–274.
Fehling, C., Barzen, J., Breitenb
¨
ucher, U., and Leymann,
F. (2014a). A Process for Pattern Identification, Au-
thoring, and Application. In Proceedings of the 19
th
European Conference on Pattern Languages of Pro-
grams (EuroPLoP). ACM.
Fehling, C., Leymann, F., Retter, R., Schupeck, W., and Ar-
bitter, P. (2014b). Cloud Computing Patterns: Funda-
mentals to Design, Build, and Manage Cloud Appli-
cations. Springer.
Gamma, E., Helm, R., Johnson, R., Vlissides, J., and Pat-
terns, D. (1995). Elements of reusable object-oriented
software, volume 99. Addison-Wesley Reading.
Georg, D., Barzen, J., Beisel, M., Leymann, F., Obst, J., Vi-
etz, D., Weder, B., and Yussupov, V. (2023). Execution
Patterns for Quantum Applications. In Proceedings of
the 18
th
International Conference on Software Tech-
nologies (ICSOFT), pages 258–268. SciTePress.
Gheorghe-Pop, I.-D., Tcholtchev, N., Ritter, T., and
Hauswirth, M. (2020). Quantum DevOps: Towards
Reliable and Applicable NISQ Quantum Computing.
In IEEE Globecom Workshops, pages 1–6. IEEE.
Gilliam, A., Venci, C., Muralidharan, S., Dorum, V., May,
E., Narasimhan, R., and Gonciulea, C. (2019). Foun-
dational Patterns for Efficient Quantum Computing.
arXiv:1907.11513.
Giortamis, E., Rom
˜
ao, F., Tornow, N., Lugovoy, D., and
Bhatotia, P. (2024). Orchestrating Quantum Cloud En-
vironments with Qonductor.
Hohpe, G. and Woolf, B. (2004). Enterprise Integration
Patterns: Designing, Building, and Deploying Mes-
saging Solutions. Addison-Wesley.
Huang, Y. and Martonosi, M. (2019). Statistical Assertions
for Validating Patterns and Finding Bugs in Quantum
Programs. In Proceedings of the 46
th
International
Symposium on Computer Architecture (ISCA), pages
541–553. ACM.
IBM (2024a). IBMQ Dashboard. https://quantum.ibm.com.
IBM (2024b). Qiskit Backend Filtering. https://docs.
quantum.ibm.com/guides/get-qpu-information#
filter-backends.
Khan, A. A., Ahmad, A., Waseem, M., Liang, P., Fahmideh,
M., Mikkonen, T., and Abrahamsson, P. (2023). Soft-
ware architecture for quantum computing systems —
CLOSER 2025 - 15th International Conference on Cloud Computing and Services Science
34