![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Eduard Kamburjan
Person information
- affiliation: University of Oslo, Norway
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer:
Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). Sci. Comput. Program. 232: 103055 (2024) - [j7]Andreas Harth, Tobias Käfer
, Anisa Rula, Jean-Paul Calbimonte
, Eduard Kamburjan, Martin Giese:
Towards Representing Processes and Reasoning with Process Descriptions on the Web. TGDK 2(1): 1:1-1:32 (2024) - [c36]Eduard Kamburjan
, Riccardo Sieve
, Chinmayi Prabhu Baramashetru
, Marco Amato
, Gianluca Barmina
, Eduard Occhipinti
, Einar Broch Johnsen
:
GreenhouseDT: An Exemplar for Digital Twins. SEAMS@ICSE 2024: 175-181 - [p3]Reiner Hähnle, Eduard Kamburjan, Marco Scaletta
:
Context-Aware Trace Contracts. Active Object Languages: Current Research Trends 2024: 289-322 - [p2]Eduard Kamburjan
, Michael Lienhardt
:
Type-Based Verification of Delegated Control in Hybrid Systems. Active Object Languages: Current Research Trends 2024: 323-358 - [e2]Frank S. de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan:
Active Object Languages: Current Research Trends. Lecture Notes in Computer Science 14360, Springer 2024, ISBN 978-3-031-51059-5 [contents] - [i10]Eduard Kamburjan, Dilian Gurov:
A Hoare Logic for Domain Specification (Full Version). CoRR abs/2402.00452 (2024) - 2023
- [j6]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan
, Michael Lienhardt, Luca Paolini
:
Variability modules. J. Syst. Softw. 195: 111510 (2023) - [j5]Eduard Kamburjan
, Marco Scaletta
, Nils Rollshausen:
Deductive verification of active objects with Crowbar. Sci. Comput. Program. 226: 102928 (2023) - [c35]Åsmund Aqissiaq Arild Kløvstad
, Eduard Kamburjan
, Einar Broch Johnsen:
Compositional Correctness and Completeness for Symbolic Partial Order Reduction. CONCUR 2023: 9:1-9:16 - [c34]Yuanwei Qu, Eduard Kamburjan, Martin Giese:
A Geological Case Study on Semantically Triggered Processes. ESWC (Satellite Events) 2023: 96-100 - [c33]Eduard Kamburjan, Crystal Chang Din:
Runtime Enforcement Using Knowledge Bases. FASE 2023: 220-240 - [c32]Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David Cameron, Einar Broch Johnsen:
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM 2023 - [c31]Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe
:
Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering. MoDELS (Companion) 2023: 721-725 - [c30]Reiner Hähnle, Marco Scaletta
, Eduard Kamburjan:
Herding CATs. SEFM 2023: 3-8 - [c29]Ferruccio Damiani
, Eduard Kamburjan
, Michael Lienhardt
, Luca Paolini
:
Deltas for Functional Programs with Algebraic Data Types. SPLC (A) 2023: 52-63 - [e1]Stefan Hallerstede, Eduard Kamburjan:
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. CEUR Workshop Proceedings 3507, CEUR-WS.org 2023 [contents] - [i9]Prasad Talasila, Cláudio Gomes, Peter Høgh Mikkelsen, Santiago Gil Arboleda, Eduard Kamburjan, Peter Gorm Larsen:
Digital Twin as a Service (DTaaS): A Platform for Digital Twin Developers and Users. CoRR abs/2305.07244 (2023) - [i8]Eduard Kamburjan:
Modular Analysis of Distributed Hybrid Systems using Post-Regions (Full Version). CoRR abs/2309.10470 (2023) - [i7]Eduard Kamburjan, Michael Lienhardt:
Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version). CoRR abs/2310.01370 (2023) - [i6]Reiner Hähnle, Eduard Kamburjan, Marco Scaletta:
Context-aware Trace Contracts. CoRR abs/2310.04384 (2023) - 2022
- [j4]Eduard Kamburjan
, Stefan Mitsch, Reiner Hähnle:
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems. Leibniz Trans. Embed. Syst. 8(2): 04:1-04:34 (2022) - [j3]Rudolf Schlatte
, Einar Broch Johnsen, Eduard Kamburjan
, Silvia Lizeth Tapia Tarifa:
The ABS simulator toolchain. Sci. Comput. Program. 223: 102861 (2022) - [c28]Eduard Kamburjan
, Einar Broch Johnsen:
Knowledge Structures Over Simulation Units. ANNSIM 2022: 78-89 - [c27]Eduard Kamburjan
, Sandro Rama Fiorini:
On the Notion of Naturalness in Formal Modeling. The Logic of Software. A Tasting Menu of Formal Methods 2022: 264-289 - [c26]Eduard Kamburjan
, Vidar Norstein Klungre, Martin Giese:
Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data. ESWC 2022: 200-216 - [c25]Eduard Kamburjan
, Vidar Norstein Klungre
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
, David Cameron
, Einar Broch Johnsen
:
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) 2022: 71-88 - [c24]Eduard Kamburjan
, Crystal Chang Din
, Rudolf Schlatte
, Silvia Lizeth Tapia Tarifa
, Einar Broch Johnsen
:
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) 2022: 188-204 - [c23]Ole Jørgen Abusdal
, Eduard Kamburjan
, Violet Ka I Pun
, Volker Stolz
:
A Notion of Equivalence for Refactorings with Abstract Execution. ISoLA (2) 2022: 259-280 - [c22]Eduard Kamburjan
, Nathan Wasser:
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics. ICE 2022: 1-16 - 2021
- [c21]Rudolf Schlatte
, Einar Broch Johnsen
, Eduard Kamburjan
, Silvia Lizeth Tapia Tarifa
:
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION 2021: 3-19 - [c20]Eduard Kamburjan, Egor V. Kostylev:
Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. Description Logics 2021 - [c19]Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte
, Einar Broch Johnsen, Martin Giese:
Programming and Debugging with Semantically Lifted States. ESWC 2021: 126-142 - [c18]Eduard Kamburjan
:
From post-conditions to post-region invariants: deductive verification of hybrid objects. HSCC 2021: 9:1-9:11 - [c17]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan
, Michael Lienhardt, Luca Paolini
:
Variability modules for Java-like languages. SPLC (A) 2021: 1-12 - [c16]Eduard Kamburjan
, Lukas Grätz
:
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. FMTea 2021: 43-59 - [i5]Eduard Kamburjan, Marco Scaletta, Nils Rollshausen:
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects. CoRR abs/2102.10127 (2021) - [i4]Eduard Kamburjan, Nathan Wasser:
Deductive Verification of Programs with Underspecified Semantics by Model Extraction. CoRR abs/2110.01964 (2021) - 2020
- [b1]Eduard Kamburjan:
Modular Verification of a Modular Specification: Behavioral Types as Program Logics. Darmstadt University of Technology, Germany, 2020 - [c15]Reiner Hähnle, Anton W. Haubner
, Eduard Kamburjan
:
Locally Static, Globally Dynamic Session Types for Active Objects. Gabbrielli's Festschrift 2020: 1:1-1:24 - [c14]Dilian Gurov
, Reiner Hähnle
, Eduard Kamburjan:
Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification. ISoLA (1) 2020: 3-21 - [c13]Eduard Kamburjan
, Rudolf Schlatte
, Einar Broch Johnsen
, Silvia Lizeth Tapia Tarifa
:
Designing Distributed Control with Hybrid Active Objects. ISoLA (4) 2020: 88-108 - [p1]Eduard Kamburjan
, Crystal Chang Din
, Reiner Hähnle
, Einar Broch Johnsen
:
Behavioral Contracts for Cooperative Scheduling. 20 Years of KeY 2020: 85-121
2010 – 2019
- 2019
- [c12]Eduard Kamburjan, Crystal Chang Din
, Reiner Hähnle
, Einar Broch Johnsen:
Asynchronous Cooperative Contracts for Cooperative Scheduling. SEFM 2019: 48-66 - [c11]Eduard Kamburjan:
Behavioral Program Logic. TABLEAUX 2019: 391-408 - [c10]Eduard Kamburjan
, Jonas Stromberg:
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability. F-IDE@FM 2019: 70-85 - [i3]Eduard Kamburjan:
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report). CoRR abs/1904.13338 (2019) - [i2]Eduard Kamburjan, Stefan Mitsch, Martina Kettenbach, Reiner Hähnle:
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects. CoRR abs/1906.05704 (2019) - 2018
- [j2]Eduard Kamburjan:
Detecting Deadlocks in Formal System Models with Condition Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018) - [j1]Eduard Kamburjan, Reiner Hähnle
, Sebastian Schön:
Formal modeling and analysis of railway operations with active objects. Sci. Comput. Program. 166: 167-193 (2018) - [c9]Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt:
Same Same But Different: Interoperability of Software Product Line Variants. Principled Software Development 2018: 99-117 - [c8]Eduard Kamburjan, Tzu-Chun Chen:
Stateful Behavioral Types for Active Objects. IFM 2018: 214-235 - [c7]Ferruccio Damiani, Reiner Hähnle
, Eduard Kamburjan, Michael Lienhardt:
Interoperability of software product line variants. SPLC 2018: 264-268 - [c6]Eduard Kamburjan, Reiner Hähnle
:
Prototyping Formal System Models with Active Objects. ICE 2018: 52-67 - [i1]Eduard Kamburjan, Tzu-Chun Chen:
Stateful Behavioral Types for ABS. CoRR abs/1802.08492 (2018) - 2017
- [c5]Ferruccio Damiani
, Reiner Hähnle
, Eduard Kamburjan, Michael Lienhardt:
A Unified and Formal Programming Model for Deltas and Traits. FASE 2017: 424-441 - [c4]Eduard Kamburjan, Reiner Hähnle
:
Deductive Verification of Railway Operations. RSSRail 2017: 131-147 - 2016
- [c3]Eduard Kamburjan, Reiner Hähnle
:
Uniform Modeling of Railway Operations. FTSCS 2016: 55-71 - [c2]Eduard Kamburjan, Crystal Chang Din
, Tzu-Chun Chen
:
Session-Based Compositional Analysis for Actor-Based Languages Using Futures. ICFEM 2016: 296-312 - [c1]Quoc Huy Do, Eduard Kamburjan, Nathan Wasser:
Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study. POST 2016: 97-115
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint