Eduard Kamburjan

According to our database, Eduard Kamburjan authored at least 56 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022).

Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer

Sci. Comput. Program., January, 2024

A Hoare Logic for Domain Specification (Full Version).

Eduard Kamburjan, Dilian Gurov

CoRR, 2024

Type-Based Verification of Delegated Control in Hybrid Systems.

Eduard Kamburjan, Michael Lienhardt

Proceedings of the Active Object Languages: Current Research Trends, 2024

Context-Aware Trace Contracts.

Reiner Hähnle, Eduard Kamburjan, Marco Scaletta

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Deductive verification of active objects with Crowbar.

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen

Sci. Comput. Program., March, 2023

Variability modules.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

J. Syst. Softw., 2023

Context-aware Trace Contracts.

Reiner Hähnle, Eduard Kamburjan, Marco Scaletta

CoRR, 2023

Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version).

Eduard Kamburjan, Michael Lienhardt

CoRR, 2023

Modular Analysis of Distributed Hybrid Systems using Post-Regions (Full Version).

Eduard Kamburjan

CoRR, 2023

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

Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen

CoRR, 2023

Deltas for Functional Programs with Algebraic Data Types.

Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

Proceedings of the 27th ACM International Systems and Software Product Line Conference, 2023

Herding CATs.

Reiner Hähnle, Marco Scaletta, Eduard Kamburjan

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

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

Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Emerging Challenges in Compositionality and Correctness for Digital Twins.

Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen

Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023

Runtime Enforcement Using Knowledge Bases.

Eduard Kamburjan, Crystal Chang Din

Proceedings of the Fundamental Approaches to Software Engineering, 2023

A Geological Case Study on Semantically Triggered Processes.

Yuanwei Qu, Eduard Kamburjan, Martin Giese

Proceedings of the Semantic Web: ESWC 2023 Satellite Events - Hersonissos, Crete, Greece, May 28, 2023

Compositional Correctness and Completeness for Symbolic Partial Order Reduction.

Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

The ABS simulator toolchain.

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

Sci. Comput. Program., 2022

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

Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle

Leibniz Trans. Embed. Syst., 2022

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

Eduard Kamburjan, Nathan Wasser

Proceedings of the Proceedings 15th Interaction and Concurrency Experience, 2022

Digital Twin Reconfiguration Using Asset Models.

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.

Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

A Notion of Equivalence for Refactorings with Abstract Execution.

Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

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

Eduard Kamburjan, Vidar Norstein Klungre, Martin Giese

Proceedings of the Semantic Web - 19th International Conference, 2022

On the Notion of Naturalness in Formal Modeling.

Eduard Kamburjan, Sandro Rama Fiorini

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

Knowledge Structures Over Simulation Units.

Eduard Kamburjan, Einar Broch Johnsen

Proceedings of the Annual Modeling and Simulation Conference, 2022

2021

Deductive Verification of Programs with Underspecified Semantics by Model Extraction.

Eduard Kamburjan, Nathan Wasser

CoRR, 2021

Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects.

Eduard Kamburjan, Marco Scaletta, Nils Rollshausen

CoRR, 2021

Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games.

Eduard Kamburjan, Lukas Grätz

Proceedings of the Formal Methods Teaching - 4th International Workshop and Tutorial, 2021

Variability modules for Java-like languages.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

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

Eduard Kamburjan

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Programming and Debugging with Semantically Lifted States.

Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese

Proceedings of the Semantic Web - 18th International Conference, 2021

Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes.

Eduard Kamburjan, Egor V. Kostylev

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.

Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa

Proceedings of the Coordination Models and Languages, 2021

2020

Behavioral Contracts for Cooperative Scheduling.

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

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

Eduard Kamburjan

PhD thesis, 2020

Designing Distributed Control with Hybrid Active Objects.

Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020

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

Dilian Gurov, Reiner Hähnle, Eduard Kamburjan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Locally Static, Globally Dynamic Session Types for Active Objects.

Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan

Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020

2019

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

Eduard Kamburjan, Jonas Stromberg

Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects.

Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle

CoRR, 2019

Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report).

Eduard Kamburjan

CoRR, 2019

Behavioral Program Logic.

Eduard Kamburjan

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Asynchronous Cooperative Contracts for Cooperative Scheduling.

Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

2018

Formal modeling and analysis of railway operations with active objects.

Eduard Kamburjan, Reiner Hähnle, Sebastian Schön

Sci. Comput. Program., 2018

Detecting Deadlocks in Formal System Models with Condition Synchronization.

Eduard Kamburjan

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Prototyping Formal System Models with Active Objects.

Eduard Kamburjan, Reiner Hähnle

Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Stateful Behavioral Types for ABS.

Eduard Kamburjan, Tzu-Chun Chen

CoRR, 2018

Interoperability of software product line variants.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Stateful Behavioral Types for Active Objects.

Eduard Kamburjan, Tzu-Chun Chen

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Same Same But Different: Interoperability of Software Product Line Variants.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt

Proceedings of the Principled Software Development, 2018

2017

Deductive Verification of Railway Operations.

Eduard Kamburjan, Reiner Hähnle

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

A Unified and Formal Programming Model for Deltas and Traits.

Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt

Proceedings of the Fundamental Approaches to Software Engineering, 2017

2016

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

Quoc Huy Do, Eduard Kamburjan, Nathan Wasser

Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

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

Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen

Proceedings of the Formal Methods and Software Engineering, 2016

Uniform Modeling of Railway Operations.

Eduard Kamburjan, Reiner Hähnle

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016