Eduard Kamburjan

90 papers A 2B 10C 4Journal 29Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A consistency management framework for digital twin models. J. Syst. Softw. Hossain Muhammad Muctadir, Eduard Kamburjan, Loek Cleophas, Mark van den Brand
2026	—	`conf`	Formal Methods meet Digital Twins: Challenges and Opportunities. ESOP (1) Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, Silvia Lizeth Tapia Tarifa
2026	J	`jnl`	Modular analysis of distributed hybrid systems using post-regions. Formal Methods Syst. Des. Eduard Kamburjan
2026	J	`jnl`	Mutation-based testing of knowledge graphs. Empir. Softw. Eng. Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2026	J	`jnl`	Semantically Reflected Programs. TGDK Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
2025	J	`jnl`	An architecture for coupled digital twins with semantic lifting. Softw. Syst. Model. Santiago Gil, Eduard Kamburjan, Prasad Talasila, Peter Gorm Larsen
2025	J	`jnl`	Composable digital twins on Digital Twin as a Service platform. Simul. Prasad Talasila, Cláudio Gomes, Lars Bernd Vosteen, Hannes Iven, Martin Leucker, Santiago Gil, Peter Høgh Mikkelsen, Eduard Kamburjan, Peter Gorm Larsen
2025	J	`jnl`	Declarative Dynamic Object Reclassification (Artifact). Dagstuhl Artifacts Ser. Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen
2025	A	`conf`	Declarative Dynamic Object Reclassification. ECOOP Riccardo Sieve, Eduard Kamburjan, Ferruccio Damiani, Einar Broch Johnsen
2025	—	`conf`	Language-Based Testing for Knowledge Graphs. ESWC (2) Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
2025	C	`conf`	Modeling Variability in Complex Software Systems. Software Engineering Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2025	C	`conf`	Multi-perspective Correctness of Programs. ICTAC Eduard Kamburjan, Dilian Gurov
2025	—	`conf`	On Dependencies in Knowledge Graph Construction. KGCW@ESWC Eduard Kamburjan, Romana Pernisch, Óscar Corcho, David Chaves-Fraga
2025	—	`conf`	RDFMutate : Mutation-Based Generation of Knowledge Graphs. ISWC (2) Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2025	J	`jnl`	Reasonable Experiments in Model-Based Systems Engineering. CoRR Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Rakshit Mittal, Hans Vangheluwe
2025	—	`conf`	Semantic Reflection and Digital Twins: A Comprehensive Overview. The Combined Power of Research, Education, and Dissemination Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Semantically Reflected Programs. CoRR Eduard Kamburjan, Vidar Norstein Klungre, Yuanwei Qu, Rudolf Schlatte, Egor V. Kostylev, Martin Giese, Einar Broch Johnsen
2025	—	`conf`	Testing Description Logic Reasoners (Extended Abstract). DL Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
2025	—	`conf`	Towards Self-Adaptive Data Management in Digital Twins for Biodiversity Monitoring. MODELS-C Eduard Kamburjan, Laura A. Slaughter, Einar Broch Johnsen, Andrea Pferscher, Laura Weihl
2025	J	`jnl`	Traceability Support for Engineering Reviews of Horizontal Model Evolution. Syst. Eng. Johan Cederbladh, Eduard Kamburjan, David Azael Manrique Negrin, Rakshit Mittal, Thomas Weber
2024	J	`jnl`	A Hoare Logic for Domain Specification (Full Version). CoRR Eduard Kamburjan, Dilian Gurov
2024	—	`book`	Active Object Languages: Current Research Trends Active Object Languages: Current Research Trends Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan
2024	—	`ch.`	Context-Aware Trace Contracts. Active Object Languages: Current Research Trends Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
2024	—	`conf`	Declarative Lifecycle Management in Digital Twins. MoDELS (Companion) Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2024	—	`conf`	Digital Twin Engineering. ISoLA (5) John S. Fitzgerald, Cláudio Gomes, Einar Broch Johnsen, Eduard Kamburjan, Martin Leucker, Jim Woodcock
2024	—	`conf`	Generating Transparent and Query-Based RDF Layers. SOFLIM2KG-SemIIM@ISWC Nils Rollshausen, Eduard Kamburjan, Martin Giese
2024	—	`conf`	GreenhouseDT: An Exemplar for Digital Twins. SEAMS@ICSE Eduard Kamburjan, Riccardo Sieve, Chinmayi Prabhu Baramashetru, Marco Amato, Gianluca Barmina, Eduard Occhipinti, Einar Broch Johnsen
2024	—	`ed.`	Joint Proceedings of the 1st Software Lifecycle Management for Knowledge Graphs Workshop and the 3rd International Workshop on Semantic Industrial Information Modelling (SOFLIM2KG-SEMIIM 2024) co-located with 23th International Semantic Web Conference (ISWC 2024), Baltimore, USA, November 12, 2024. SOFLIM2KG-SemIIM@ISWC Eduard Kamburjan, David Chaves-Fraga, Paco Nathan, Coen De Roover, Óscar Corcho, Ernesto Jiménez-Ruiz, Arild Waaler, Baifan Zhou
2024	—	`conf`	Monitoring Reconfigurable Simulation Scenarios in Co-simulated Digital Twins. ISoLA (5) Simon Thrane Hansen, Eduard Kamburjan, Zahra Kazemi
2024	A	`conf`	Mutation-Based Integration Testing of Knowledge Graph Applications. ISSRE Tobias John, Einar Broch Johnsen, Eduard Kamburjan
2024	J	`jnl`	Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). Sci. Comput. Program. Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer
2024	—	`conf`	Runtime Verification of Autonomous Systems Utilizing Digital Twins as a Service. ACSOS-C Morten Haahr Kristensen, Alberto Bonizzi, Cláudio Gomes, Simon Thrane Hansen, Carlos Ignacio Isasa Martin, Hannes Iven, Eduard Kamburjan, Peter Gorm Larsen, Martin Leucker, Prasad Talasila, Valdemar Trøjgård Tang, Stefano Tonetta, Lars Bernd Vosteen, Thomas Wright
2024	—	`conf`	Towards Ontological Service-Driven Engineering of Digital Twins. MoDELS (Companion) Bentley Oakes, Cláudio Gomes, Eduard Kamburjan, Giuseppe Abbiati, Elif Ecem Bas, Sebastian Engelsgaard
2024	J	`jnl`	Towards Representing Processes and Reasoning with Process Descriptions on the Web. TGDK Andreas Harth, Tobias Käfer, Anisa Rula, Jean-Paul Calbimonte, Eduard Kamburjan, Martin Giese
2024	—	`conf`	Towards a Proof System for Probabilistic Dynamic Logic. Principles of Verification (1) Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024	J	`jnl`	Towards a Proof System for Probabilistic Dynamic Logic. CoRR Einar Broch Johnsen, Eduard Kamburjan, Raúl Pardo, Erik Voogd, Andrzej Wasowski
2024	—	`ch.`	Type-Based Verification of Delegated Control in Hybrid Systems. Active Object Languages: Current Research Trends Eduard Kamburjan, Michael Lienhardt
2023	—	`conf`	A Geological Case Study on Semantically Triggered Processes. ESWC (Satellite Events) Yuanwei Qu, Eduard Kamburjan, Martin Giese
2023	B	`conf`	Compositional Correctness and Completeness for Symbolic Partial Order Reduction. CONCUR Åsmund Aqissiaq Arild Kløvstad, Eduard Kamburjan, Einar Broch Johnsen
2023	J	`jnl`	Context-aware Trace Contracts. CoRR Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
2023	J	`jnl`	Deductive verification of active objects with Crowbar. Sci. Comput. Program. Eduard Kamburjan, Marco Scaletta, Nils Rollshausen
2023	—	`conf`	Deltas for Functional Programs with Algebraic Data Types. SPLC (A) Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2023	J	`jnl`	Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. CoRR Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen
2023	—	`conf`	Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen
2023	B	`conf`	Herding CATs. SEFM Reiner Hähnle, Marco Scaletta, Eduard Kamburjan
2023	J	`jnl`	Modular Analysis of Distributed Hybrid Systems using Post-Regions (Full Version). CoRR Eduard Kamburjan
2023	—	`ed.`	Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), Lübeck, Germany, March 06, 2023. FMDT@FM Stefan Hallerstede, Eduard Kamburjan
2023	B	`conf`	Runtime Enforcement Using Knowledge Bases. FASE Eduard Kamburjan, Crystal Chang Din
2023	—	`conf`	Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering. MoDELS (Companion) Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe
2023	J	`jnl`	Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version). CoRR Eduard Kamburjan, Michael Lienhardt
2023	J	`jnl`	Variability modules. J. Syst. Softw. Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2022	J	`jnl`	A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Trans. Embed. Syst. Eduard Kamburjan, Stefan Mitsch, Reiner Hähnle
2022	—	`conf`	A Notion of Equivalence for Refactorings with Abstract Execution. ISoLA (2) Ole Jørgen Abusdal, Eduard Kamburjan, Violet Ka I Pun, Volker Stolz
2022	—	`conf`	Digital Twin Reconfiguration Using Asset Models. ISoLA (4) Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen
2022	—	`conf`	Knowledge Structures Over Simulation Units. ANNSIM Eduard Kamburjan, Einar Broch Johnsen
2022	B	`conf`	Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data. ESWC Eduard Kamburjan, Vidar Norstein Klungre, Martin Giese
2022	—	`conf`	On the Notion of Naturalness in Formal Modeling. The Logic of Software. A Tasting Menu of Formal Methods Eduard Kamburjan, Sandro Rama Fiorini
2022	J	`jnl`	The ABS simulator toolchain. Sci. Comput. Program. Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2022	—	`conf`	The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics. ICE Eduard Kamburjan, Nathan Wasser
2022	—	`conf`	Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2021	J	`jnl`	Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. CoRR Eduard Kamburjan, Marco Scaletta, Nils Rollshausen
2021	J	`jnl`	Deductive Verification of Programs with Underspecified Semantics by Model Extraction. CoRR Eduard Kamburjan, Nathan Wasser
2021	—	`conf`	From post-conditions to post-region invariants: deductive verification of hybrid objects. HSCC Eduard Kamburjan
2021	—	`conf`	Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. FMTea Eduard Kamburjan, Lukas Grätz
2021	C	`conf`	Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2021	B	`conf`	Programming and Debugging with Semantically Lifted States. ESWC Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese
2021	—	`conf`	Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. Description Logics Eduard Kamburjan, Egor V. Kostylev
2021	—	`conf`	Variability modules for Java-like languages. SPLC (A) Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
2020	—	`ch.`	Behavioral Contracts for Cooperative Scheduling. 20 Years of KeY Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
2020	—	`conf`	Designing Distributed Control with Hybrid Active Objects. ISoLA (4) Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2020	—	`conf`	Locally Static, Globally Dynamic Session Types for Active Objects. Gabbrielli's Festschrift Reiner Hähnle, Anton W. Haubner, Eduard Kamburjan
2020	—	`—`	Modular Verification of a Modular Specification: Behavioral Types as Program Logics. Eduard Kamburjan
2020	—	`conf`	Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. ISoLA (1) Dilian Gurov, Reiner Hähnle, Eduard Kamburjan
2019	B	`conf`	Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM Eduard Kamburjan, Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen
2019	J	`jnl`	Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report). CoRR Eduard Kamburjan
2019	B	`conf`	Behavioral Program Logic. TABLEAUX Eduard Kamburjan
2019	J	`jnl`	Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. CoRR Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle
2019	—	`conf`	Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability. F-IDE@FM Eduard Kamburjan, Jonas Stromberg
2018	J	`jnl`	Detecting Deadlocks in Formal System Models with Condition Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Eduard Kamburjan
2018	J	`jnl`	Formal modeling and analysis of railway operations with active objects. Sci. Comput. Program. Eduard Kamburjan, Reiner Hähnle, Sebastian Schön
2018	B	`conf`	Interoperability of software product line variants. SPLC Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2018	—	`conf`	Prototyping Formal System Models with Active Objects. ICE Eduard Kamburjan, Reiner Hähnle
2018	—	`conf`	Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2018	J	`jnl`	Stateful Behavioral Types for ABS. CoRR Eduard Kamburjan, Tzu-Chun Chen
2018	B	`conf`	Stateful Behavioral Types for Active Objects. IFM Eduard Kamburjan, Tzu-Chun Chen
2017	B	`conf`	A Unified and Formal Programming Model for Deltas and Traits. FASE Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt
2017	—	`conf`	Deductive Verification of Railway Operations. RSSRail Eduard Kamburjan, Reiner Hähnle
2016	C	`conf`	Session-Based Compositional Analysis for Actor-Based Languages Using Futures. ICFEM Eduard Kamburjan, Crystal Chang Din, Tzu-Chun Chen
2016	—	`conf`	Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study. POST Quoc Huy Do, Eduard Kamburjan, Nathan Wasser
2016	—	`conf`	Uniform Modeling of Railway Operations. FTSCS Eduard Kamburjan, Reiner Hähnle