Personal profile
Research
My main research focuses lie in Digital Twins, and the intersection of knowledge graphs and software engineering. In particular, I am interested how to formally model, test, analyze and verify software applications for graph data, and how to model self-adaptation structure of Digital Twins.
Keywords
- Knowledge Graphs
- Digital Twins
- Deductive Verification
Fingerprint
- 1 Similar Profiles
-
Declarative Lifecycle Management for Self-Adaptive Systems
Kamburjan, E., Bencomo, N., Johnsen, E. B. & Tarifa, S. L. T., 24 Feb 2026, In: Software and Systems Modeling. 28 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Modular analysis of distributed hybrid systems using post-regions
Kamburjan, E., 2026, In: Formal Methods in System Design. 68, 1, p. 1-54 3.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Mutation-based testing of knowledge graphs
John, T., Johnsen, E. B. & Kamburjan, E., 2026, In: Empirical Software Engineering. 31, 4, p. 1-54 54 p., 99.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Semantically Reflected Programs
Kamburjan, E., Klungre, V. N., Qu, Y., Schlatte, R., Kostylev, E. V., Giese, M. & Johnsen, E. B., 31 Mar 2026, In: Transactions of Graph Data and Knowledge. 4, 1, p. 1-52Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
A consistency management framework for Digital Twin models
Muctadir, H. M., Kamburjan, E., Cleophas, L. & Brand, M. V. D., 22 Dec 2025, In: Journal of Systems and Software.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access
Projects
- 1 Active
-
Graph-based Verification of Reflective Programs
Kamburjan, E. (PI)
Independent Research Fund Denmark
01/11/2025 → 31/10/2029
Project: Research
Datasets
-
GreenHouse DT Artifact for Declarative Dynamic Object Reclassification
Sieve, R. (Creator), Kamburjan, E. (Creator), Damiani, F. (Creator) & Johnsen, E. B. (Creator), ZENODO, 24 Apr 2025
DOI: 10.5281/zenodo.15275246, https://zenodo.org/records/15275246 and one more link, https://zenodo.org/records/15361832 (show fewer)
Dataset: Software
-
Declarative Lifecycle Management for Self-Adaptive Systems (Artifact)
Kamburjan, E. (Creator), Johnsen, E. B. (Creator), Tapia Tarifa, S. L. (Creator) & Bencomo, N. (Creator), ZENODO, 23 Dec 2025
Dataset: Software