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. Accepted for Publication, ACM.
Publications
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. Accepted for Publication, 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. Accepted for Publication.
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. Accepted for Publication, ACM.
A Geological Case Study on Semantically Triggered Processes
Published in ESWC, 2023
Yuanwei Qu, Eduard Kamburjan, and Marting Giese. (2023). ESWC. Accepted for Publication, Springer.
Runtime Enforcement Using Knowledge Bases
Published in FASE, 2023
Eduard Kamburjan, Crystal Chang Din. (2023). FASE. Accepted for Publication, 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. Accepted for Publication, Springer.
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.. in press, 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