GEV: Statically Correct and Programmable Knowledge Graph Updates
Published in IJCAI, 2026
Eduard Kamburjan, Shqiponja Ahmetaj, Chinmayi Prabhu Baramashetru and Paolo Pareti (2026). IJCAI, IJCAI.org, accepted for publication.
Publications
A system information modelling method in the cross-disciplinary project collaboration context for industrial digitalisation
Published in Scientific Reports, 2026
Qianhang Lyu, Baifan Zhou, Martin G. Skjæveland, Eduard Kamburjan, Andreas Schüller, David B. Cameron, Yunqing Rao, Dimitris Kiritsis and Arild Waaler. (2026). Scientific Reports Springer Nature.
Towards a Model-Based Approach to Link Data, Systems and Data Spaces.
Published in Semantics in Dataspaces Workshop, 2026
Yuanwei Qu, Dimitris Kyritsis, and Eduard Kamburjan (2026). SDS@ESWC, CEUR-WS.
Towards Verifiable Declarative Mappings: A Vision Paper.
Published in KGCW, 2026
Eduard Kamburjan and Mario Pereira (2026). KGCW@ESWC, CEUR-WS.
Semantically Reflected Programs
Published in Transactions of Graph Data and Knowledge, 2026
Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, and Einar Broch Johnsen (2026). TGDK, Schloss Dagstuhl – Leibniz-Zentrum für Informatik.
Formal Methods meet Digital Twins: Challenges and Opportunities.
Published in ESOP, 2026
Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, and Silvia Lizeth Tapia Tarifa (2026). ESOP, LNCS, Springer.
Ontology Alignment and System Models
Published in INCOSE IS, 2026
Yuanwei Qu, Eduard Kamburjan, Martin G. Skjæveland, and Arild Waaler (2026). INCOSE IS, Wiley, in print.
Modular analysis of distributed hybrid systems using post-regions
Published in Formal Methods in System Design, 2026
Eduard Kamburjan (2026). FMSD, Springer.
Mutation-based testing of knowledge graphs
Published in Empirical Software Engineering, 2026
Tobias John, Einar Broch Johnsen and Eduard Kamburjan (2026). EMSE, Springer.
Declarative Lifecycle Management in Self-Adaptive Systems
Published in Software and Systems Modeling, 2025
Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, and Einar Broch Johnsen (2025). Software and Systems Modeling, Springer.
A consistency management framework for Digital Twin models
Published in Journal of Systems and Software, 2025
Hossain Muhammad Muctadir, Eduard Kamburjan, Loek Cleophas, and Mark Van Den Brand (2025). Journal of Systems and Software, Elsevier.
RDFMutate: Mutation-Based Generation of Knowledge Graphs
Published in ISWC, 2025
Tobias John, Einar Broch Johnsen, and Eduard Kamburjan (2025). ISWC, Springer.
Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring
Published in EDTConf, 2025
Eduard Kamburjan, Laura Ann Slaughter, Einar Broch Johnsen, Andrea Pferscher, and Laura Weihl. (2025). EDTConf. ACM.
Testing Description Logic Reasoners (Extended Abstract)
Published in DL Workshop, 2025
Tobias John, Einar Broch Johnsen, Eduard Kamburjan and Dominic Steinhöfel. DL Workshop, CEUR-WS, 2025.
Explaining Model-Based Systems Engineering – Towards a Semiotic Perspective
Published in INCOSE IS, 2025
Eduard Kamburjan, Johan Cederbladh. (2025). INCOSE IS.
Language-Based Testing for Knowledge Graphs
Published in ESWC, 2025
Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel. (2025). ESWC, Springer.
Declarative Dynamic Object Reclassification
Published in ECOOP, 2025
Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, and Einar Broch Johnsen.(2025). ECOOP, ACM.
On Dependencies in Knowledge Graph Construction.
Published in KGCW, 2025
Eduard Kamburjan, Romana Pernisch, Oscar Corcho, and David Chaves-Fraga.(2025). KGCW@ESWC, CEUR-WS.
Traceability Support for Engineering Reviews of Horizontal Model Evolution
Published in Systems Engineering Journal, 2025
Johan Cederbladh, Eduard Kamburjan, David Manrique‐Negrin, Rakshit Mittal, and Thomas Weber (2025). Systems Engineering, Wiley.
Multi-Perspective Correctness of Programs
Published in ICTAC, 2025
Eduard Kamburjan and Dilian Gurov (2025). ICTAC, Springer LNCS.
An Architecture for Coupled Digital Twins with Semantic Lifting
Published in SoSyM, 2024
Santiago Gil, Eduard Kamburjan, Prasad Talasila, Peter Gorm Larsen. (2024). Soft. Sys. Model.. Springer.
Generating Transparent and Query-Based RDF Layers
Published in SofLiM, 2024
Nils Rollshausen, Eduard Kamburjan, Martin Giese. (2024). SofLiM4KG. CEUR-WS.
Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins
Published in ISoLA, 2024
Simon Tharne Hansen, Eduard Kamburjan, Zahra Kazemi. (2024). ISoLA. Springer LNCS.
Semantic Reflection and Digital Twins: A Comprehensive Overview
Published in Festschrift Tiziana Margaria, 2024
Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. (2024). The Combined Power of Research, Education, and Dissemination.. LNCS 15240. Springer.
Towards Ontological Service-Driven Engineering of Digital Twins
Published in EDTConf, 2024
Bentley Oakes, Claudio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard. (2024). EDTConf. Best Short Paper Award, ACM.
Declarative Lifecycle Management in Digital Twins
Published in EDTConf, 2024
Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. (2024). EDTConf. Best Paper Award, ACM.
GreenhouseDT: An Exemplar for Digital Twins
Published in SEAMS, 2024
Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen. (2023). SEAMS. ACM.
Semantically triggered qualitative simulation of a geological process
Published in Applied Computing and Geosciences, 2024
Yuanwei Qu, Eduard Kamburjan, Anita Torabi, Martin Giese. (2024). Appl. Comp. and Geosc. 21. Elsevier.
Towards Representing Processes and Reasoning with Process Descriptions on the Web
Published in Transactions on Graph Data and Knowledge, 2024
Andreas Harth, Tobias Käfer, Anisa Rula, Jean-Paul Calbimonte, Eduard Kamburjan, Martin Giese. (2024). Transactions on Graph Data and Knowledge, Schloss Dagstuhl.
Composable Digital Twins on Digital Twin as a Service Platform
Published in Simulation Journal, 2024
Prasad Talasila, Claudio Gomes, Lars B. Vosteen, Hannes Iven, Martin Leucker, Santiago Gil, Peter Høgh Mikkelsen, Eduard Kamburjan and Peter Gorm Larsen. (2024). Simulation, Schloss Dagstuhl.
Mutation-Based Integration Testing of Knowledge Graph Applications
Published in ISSRE, 2024
Tobias John, Einar Broch Johnsen, Eduard Kamburjan. (2024). ISSRE. ACM.
Types and Verification for Delegated Control of Hybrid Objects
Published in AOL, 2023
Eduard Kamburjan, Michael Lienhardt. (2023). Active Object Languages: Current Research Trends. LNCS 14360, Springer.
Context-aware Trace Contracts
Published in AOL, 2023
Reiner Hähnle, Eduard Kamburjan, Marco Scaletta. (2023). Active Object Languages: Current Research Trends. LNCS 14360, Springer.
Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering
Published in MBSE@Models, 2023
Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe. (2023). MBSE@Models. IEEE.
Compositional Correctness and Completeness for Symbolic Partial Order Reduction
Published in CONCUR, 2023
Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, and Einar Broch Johnsen. (2023). CONCUR. Schloss Dagstuhl.
Deltas for Functional Programs with Algebraic Data Types
Published in SPLC, 2023
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini. (2023). SPLC. ACM.
A Geological Case Study on Semantically Triggered Processes
Published in ESWC, 2023
Yuanwei Qu, Eduard Kamburjan, and Marting Giese. (2023). ESWC. Springer.
Runtime Enforcement Using Knowledge Bases
Published in FASE, 2023
Eduard Kamburjan, Crystal Chang Din. (2023). FASE. Springer.
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users
Published in IEEE Digital Twins, 2023
Prasad Talasila, Claudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, and Peter Gorm Larsen. (2023). IEEE Digital Twins. IEEE.
Emerging Challenges in Compositionality and Correctness for Digital Twins
Published in fmdt, 2023
Eduard Kamburjan, Vidar Norstein Klungre, S. Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, and Einar Broch Johnsen. (2023). FMDT.
Variability Modules
Published in Journal of Systes and Software, 2023
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini. (2023). J. Syst. Softw.. Elsevier.
Deductive Verification of Active Objects with Crowbar
Published in SCP, 2023
Eduard Kamburjan, Marco Scaletta, Nils Rollshausen. (2023). Sci. Comput. Program.. Elsevier.
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
Published in Leibniz Transactions on Embedded Systems, 2022
Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle. (2022). Leibniz Trans. Embed. Syst.
A Notion of Equivalence for Refactorings with Abstract Execution
Published in ISoLA, 2022
Ole Jørgen Abusdal, Eduard Kamburjan, Violat Ka I Pun, Volker Stolz. (2022). ISoLA.
Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twin
Published in ISoLA, 2022
Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tarifa Tapia, Einar Broch Johnsen. (2022). ISoLA.
Digital Twin Reconguration Using Asset Models
Published in ISoLA, 2022
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tarifa Tapia, David Cameron, Einar Broch Johnsen. (2022). ISoLA.
Knowledge Structures over Simulation Units
Published in ANNSIM, 2022
Eduard Kamburjan, Einar Broch Johnsen. (2022). ANNSIM. IEEE
The ABS Simulator Toolchain
Published in SCP, 2022
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa. (2022). Sci. Comput. Program.. Vol 223, Elsevier.
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
Published in ICE, 2022
Eduard Kamburjan, Nathan Wasser. (2022). ICE. EPTCS 365
On the Notion of Naturalness in Formal Modeling
Published in Festschrift Reiner Hähnle, 2022
Eduard Kamburjan, Sandro Rama Fiorini. (2022). Festschrift Reiner Hähnle. Springer
Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data
Published in ESWC, 2022
Eduard Kamburjan, Vidar Norstein Klungre, Martin Giese. (2022). ESWC. LNCS 13261
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games
Published in Formal Methods Teaching, 2021
Eduard Kamburjan, Lukas Grätz. (2021). FMTea. LNCS 13122
Optimizing Semantically Lifted Programs through Ontology Modularity
Published in NWPT, 2021
Eduard Kamburjan, Jieying Chen. (2021). NWPT http://icetcs.ru.is/nwpt21/abstracts/paper1.pdf
Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes
Published in DL Workshop, 2021
Eduard Kamburjan, Egor V. Kostylev. (2021). DL Workshop. CEUR 2954
Variability modules for Java-like languages
Published in SPLC, 2021
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini. (2021). SPLC. ACM
Modeling and Analyzing Resource-Sensitive Actors: {A} Tutorial Introduction
Published in COORDINATION, 2021
Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa. (2021). COORDINATION. LNCS 12717
From post-conditions to post-region invariants: deductive verification of hybrid objects
Published in HSCC, 2021
Eduard Kamburjan. (2021). HSCC. ACM
Programming and Debugging with Semantically Lifted States
Published in ESWC, 2021
Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese. (2021). ESWC. LNCS 12731
Designing Distributed Control with Hybrid Active Objects
Published in ISoLA, 2020
Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa. (2020). ISoLA. LNCS 12479
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification
Published in ISoLA, 2020
Reiner Hähnle, Eduard Kamburjan, Dilian Gurov. (2020). ISoLA. LNCS 12476
Behavioral Contracts for Cooperative Scheduling
Published in Deductive Software Verification, 2020
Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen. (2020). Deductive Software Verification. LNCS 12345
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
Published in PhD Thesis, 2020
Eduard Kamburjan. (2020). PhD Thesis
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects
Published in Arxiv, 2020
Eduard Kamburjan, Marco Scaletta, Nils Rollshausen. (2021). Arxiv Preprint
Locally Static, Globally Dynamic Session Types for Active Objects
Published in Festschrift Maurizio Gabbrielli, 2020
Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan. (2020). Festschrift Maurizio Gabbrielli. OASIcs 86
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
Published in F-IDE, 2019
Eduard Kamburjan, Jonas Stromberg. (2019). F-IDE. EPTCS 310
Behavioral Program Logic
Published in TABLEAUX, 2019
Eduard Kamburjan. (2019). TABLEAUX. LNCS 11714
Asynchronous Cooperative Contracts for Cooperative Scheduling
Published in SEFM, 2019
Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen. (2019). SEFM. LNCS 11724
Interoperability of software product line variants
Published in SPLC, 2018
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt. (2018). SPLC. ACM
Stateful Behavioral Types for Active Objects
Published in ifm, 2018
Eduard Kamburjan, Tzu-Chun Chen. (2018). iFM. LNCS 11023
Formal modeling and analysis of railway operations with active objects
Published in SCP, 2018
Eduard Kamburjan, Reiner Hähnle, Sebastian Schön. (2018). Sci. Comput. Program.. Vol 166, Elsevier.
Prototyping Formal System Models with Active Objects
Published in ICE, 2018
Eduard Kamburjan, Reiner Hähnle. (2018). ICE. EPTCS 279
Same Same But Different: Interoperability of Software Product Line Variants
Published in Festschrift Arnd Poetzsch-Heffter, 2018
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt. (2018). Festschrift Arnd Poetzsch-Heffter. Springer
Deductive Verification of Railway Operations
Published in RSSRail, 2017
Eduard Kamburjan, Reiner Hähnle. (2017). RSSRail. LNCS 10598
Detecting Deadlocks in Formal System Models with Condition Synchronization
Published in AVoCS, 2017
Eduard Kamburjan, Michael Lienhardt. (2018). AVoCS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (76)
A Unified and Formal Programming Model for Deltas and Traits
Published in FASE, 2017
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt. (2017). FASE. LNCS 10202
Session-Based Compositional Analysis for Actor-Based Languages Using Futures
Published in ICFEM, 2016
Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen. (2016). ICFEM. LNCS 10009
Uniform Modeling of Railway Operations
Published in FTSCS, 2016
Eduard Kamburjan, Reiner Hähnle. (2016). FTSCS. CCIS 694
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study
Published in POST, 2016
Quoc Huy Do, Eduard Kamburjan, Nathan Wasser. (2016). POST. LNCS 9635