Eduard Kamburjan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
16
Active years
2016–2026
Best venue rank
C
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Formal Methods meet Digital Twins: Challenges and Opportunities. | Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, Silvia Lizeth Tapia Tarifa |
| 2025 | ECOOP | Declarative Dynamic Object Reclassification. | Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen |
| 2025 | ICTAC | Multi-perspective Correctness of Programs. | Eduard Kamburjan, Dilian Gurov |
| 2025 | MODELS | Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring. | Eduard Kamburjan, Laura A. Slaughter, Einar Broch Johnsen, Andrea Pferscher, Laura Weihl |
| 2024 | ISoLA | Digital Twin Engineering. | John S. Fitzgerald, Cludio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock |
| 2024 | ISoLA | Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. | Simon Thrane Hansen, Eduard Kamburjan, Zahra Kazemi |
| 2024 | ISSRE | Mutation-Based Integration Testing of Knowledge Graph Applications. | Tobias John, Einar Broch Johnsen, Eduard Kamburjan |
| 2024 | MODELS | Declarative Lifecycle Management in Digital Twins. | Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2024 | MODELS | Towards Ontological Service-Driven Engineering of Digital Twins. | Bentley Oakes, Cludio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard |
| 2024 | SEAMS | GreenhouseDT: An Exemplar for Digital Twins. | Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen |
| 2023 | CONCUR | Compositional Correctness and Completeness for Symbolic Partial Order Reduction. | smund Aqissiaq Arild Klvstad, Eduard Kamburjan, Einar Broch Johnsen |
| 2023 | FASE | Runtime Enforcement Using Knowledge Bases. | Eduard Kamburjan, Crystal Chang Din |
| 2023 | FM | Emerging Challenges in Compositionality and Correctness for Digital Twins. | Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen |
| 2023 | MODELS | Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering. | Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe |
| 2023 | SEFM | Herding CATs. | Reiner Hhnle, Marco Scaletta, Eduard Kamburjan |
| 2023 | SPLC | Deltas for Functional Programs with Algebraic Data Types. | Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini |
| 2022 | ISoLA | A Notion of Equivalence for Refactorings with Abstract Execution. | Ole Jrgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz |
| 2022 | ISoLA | Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. | Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2022 | ISoLA | Digital Twin Reconfiguration Using Asset Models. | Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen |
| 2021 | Coordination | Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. | Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa |
| 2021 | SPLC | Variability modules for Java-like languages. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini |
| 2020 | ISoLA | Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. | Dilian Gurov, Reiner Hhnle, Eduard Kamburjan |
| 2020 | ISoLA | Designing Distributed Control with Hybrid Active Objects. | Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2019 | SEFM | Asynchronous Cooperative Contracts for Cooperative Scheduling. | Eduard Kamburjan, Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen |
| 2019 | TABLEAUX | Behavioral Program Logic. | Eduard Kamburjan |
| 2018 | IFM | Stateful Behavioral Types for Active Objects. | Eduard Kamburjan, Tzu-Chun Chen |
| 2018 | SPLC | Interoperability of software product line variants. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt |
| 2017 | FASE | A Unified and Formal Programming Model for Deltas and Traits. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt |
| 2016 | ICFEM | Session-Based Compositional Analysis for Actor-Based Languages Using Futures. | Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen |