CV

Education

B.S. in GitHub, GitHub University, 2012
M.S. in Jekyll, GitHub University, 2014
Ph.D in Version Control Theory, GitHub University, 2018 (expected)

Work experience

Summer 2015: Research Assistant
- Github University
- Duties included: Tagging issues
- Supervisor: Professor Git
Fall 2015: Research Assistant
- Github University
- Duties included: Merging pull requests
- Supervisor: Professor Hub

Publications

Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study

Quoc Huy Do, Eduard Kamburjan, Nathan Wasser. (2016). POST. LNCS 9635

Uniform Modeling of Railway Operations

Eduard Kamburjan, Reiner Hähnle. (2016). FTSCS. CCIS 694

Session-Based Compositional Analysis for Actor-Based Languages Using Futures

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen. (2016). ICFEM. LNCS 10009

A Unified and Formal Programming Model for Deltas and Traits

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt. (2017). FASE. LNCS 10202

Detecting Deadlocks in Formal System Models with Condition Synchronization

Eduard Kamburjan, Michael Lienhardt. (2018). AVoCS. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (76)

Deductive Verification of Railway Operations

Eduard Kamburjan, Reiner Hähnle. (2017). RSSRail. LNCS 10598

Same Same But Different: Interoperability of Software Product Line Variants

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt. (2018). Festschrift Arnd Poetzsch-Heffter. Springer

Prototyping Formal System Models with Active Objects

Eduard Kamburjan, Reiner Hähnle. (2018). ICE. EPTCS 279

Formal modeling and analysis of railway operations with active objects

Eduard Kamburjan, Reiner Hähnle, Sebastian Schön. (2018). Sci. Comput. Program.. Vol 166, Elsevier.

Stateful Behavioral Types for Active Objects

Eduard Kamburjan, Tzu-Chun Chen. (2018). iFM. LNCS 11023

Interoperability of software product line variants

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt. (2018). SPLC. ACM

Asynchronous Cooperative Contracts for Cooperative Scheduling

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen. (2019). SEFM. LNCS 11724

Behavioral Program Logic

Eduard Kamburjan. (2019). TABLEAUX. LNCS 11714

Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

Eduard Kamburjan, Jonas Stromberg. (2019). F-IDE. EPTCS 310

Locally Static, Globally Dynamic Session Types for Active Objects

Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan. (2020). Festschrift Maurizio Gabbrielli. OASIcs 86

Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen. (2021). Arxiv Preprint

Modular Verification of a Modular Specification: Behavioral Types as Program Logics

Eduard Kamburjan. (2020). PhD Thesis

Behavioral Contracts for Cooperative Scheduling

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen. (2020). Deductive Software Verification. LNCS 12345

Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification

Reiner Hähnle, Eduard Kamburjan, Dilian Gurov. (2020). ISoLA. LNCS 12476

Designing Distributed Control with Hybrid Active Objects

Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa. (2020). ISoLA. LNCS 12479

Programming and Debugging with Semantically Lifted States

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese. (2021). ESWC. LNCS 12731

From post-conditions to post-region invariants: deductive verification of hybrid objects

Eduard Kamburjan. (2021). HSCC. ACM

Modeling and Analyzing Resource-Sensitive Actors: {A} Tutorial Introduction

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa. (2021). COORDINATION. LNCS 12717

Variability modules for Java-like languages

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini. (2021). SPLC. ACM

Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes

Eduard Kamburjan, Egor V. Kostylev. (2021). DL Workshop. CEUR 2954

Optimizing Semantically Lifted Programs through Ontology Modularity

Eduard Kamburjan, Jieying Chen. (2021). NWPT

Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games

Eduard Kamburjan, Lukas Grätz. (2021). FMTea. LNCS 13122

Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data

Eduard Kamburjan, Vidar Norstein Klungre, Martin Giese. (2022). ESWC. LNCS 13261

On the Notion of Naturalness in Formal Modeling

Eduard Kamburjan, Sandro Rama Fiorini. (2022). Festschrift Reiner Hähnle. Springer

The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics

Eduard Kamburjan, Nathan Wasser. (2022). ICE. EPTCS 365

The ABS Simulator Toolchain

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa. (2022). Sci. Comput. Program.. Vol 223, Elsevier.

Knowledge Structures over Simulation Units

Eduard Kamburjan, Einar Broch Johnsen. (2022). ANNSIM. IEEE

Digital Twin Reconguration Using Asset Models

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tarifa Tapia, David Cameron, Einar Broch Johnsen. (2022). ISoLA.

Twinning-by-Construction: Ensuring Correctness for Self-Adaptive Digital Twin

Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tarifa Tapia, Einar Broch Johnsen. (2022). ISoLA.

A Notion of Equivalence for Refactorings with Abstract Execution

Ole Jørgen Abusdal, Eduard Kamburjan, Violat Ka I Pun, Volker Stolz. (2022). ISoLA.

A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems

Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle. (2022). Leibniz Trans. Embed. Syst.

Deductive Verification of Active Objects with Crowbar

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen. (2023). Sci. Comput. Program.. Elsevier.

Variability Modules

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini. (2023). J. Syst. Softw.. Elsevier.

Emerging Challenges in Compositionality and Correctness for Digital Twins

Eduard Kamburjan, Vidar Norstein Klungre, S. Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, and Einar Broch Johnsen. (2023). FMDT.

Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users

Prasad Talasila, Claudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, and Peter Gorm Larsen. (2023). IEEE Digital Twins. IEEE.

Runtime Enforcement Using Knowledge Bases

Eduard Kamburjan, Crystal Chang Din. (2023). FASE. Springer.

A Geological Case Study on Semantically Triggered Processes

Yuanwei Qu, Eduard Kamburjan, and Marting Giese. (2023). ESWC. Springer.

Deltas for Functional Programs with Algebraic Data Types

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini. (2023). SPLC. ACM.

Compositional Correctness and Completeness for Symbolic Partial Order Reduction

Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, and Einar Broch Johnsen. (2023). CONCUR. Schloss Dagstuhl.

Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering

Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe. (2023). MBSE@Models. IEEE.

Context-aware Trace Contracts

Reiner Hähnle, Eduard Kamburjan, Marco Scaletta. (2023). Active Object Languages: Current Research Trends. LNCS 14360, Springer.

Types and Verification for Delegated Control of Hybrid Objects

Eduard Kamburjan, Michael Lienhardt. (2023). Active Object Languages: Current Research Trends. LNCS 14360, Springer.

Mutation-Based Integration Testing of Knowledge Graph Applications

Tobias John, Einar Broch Johnsen, Eduard Kamburjan. (2024). ISSRE. Accepted for Publication, ACM.

Towards Representing Processes and Reasoning with Process Descriptions on the Web

Andreas Harth, Tobias Käfer, Anisa Rula, Jean-Paul Calbimonte, Eduard Kamburjan, Martin Giese. (2024). Transactions on Graph Data and Knowledge, Schloss Dagstuhl.

Semantically triggered qualitative simulation of a geological process

Yuanwei Qu, Eduard Kamburjan, Anita Torabi, Martin Giese. (2024). Appl. Comp. and Geosc. 21. Elsevier.

GreenhouseDT: An Exemplar for Digital Twins

Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen. (2023). SEAMS. ACM.

Declarative Lifecycle Management in Digital Twins

Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen. (2024). EDTConf. Best Paper Award, ACM.

Towards Ontological Service-Driven Engineering of Digital Twins

Bentley Oakes, Claudio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard. (2024). EDTConf. Best Short Paper Award, ACM.

Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins

Simon Tharne Hansen, Eduard Kamburjan, Zahra Kazemi. (2024). ISoLA. Springer LNCS.

Generating Transparent and Query-Based RDF Layers

Nils Rollshausen, Eduard Kamburjan, Martin Giese. (2024). SofLiM4KG. Accepted for Publication, CEUR-WS.

An Architecture for Coupled Digital Twins with Semantic Lifting

Santiago Gil, Eduard Kamburjan, Prasad Talasila, Peter Gorm Larsen. (2024). Soft. Sys. Model.. Accepted for Publication, Springer.

Eduard Kamburjan

CV

Education

Work experience

Publications

Talks

Teaching

Service and leadership