Follow
Eduard Kamburjan
Eduard Kamburjan
Assistant Professor, IT University of Copenhagen
Verified email at itu.dk
Title
Cited by
Cited by
Year
Formal modeling and analysis of railway operations with active objects
E Kamburjan, R Hähnle, S Schön
Science of Computer Programming 166, 167-193, 2018
382018
Programming and debugging with semantically lifted states
E Kamburjan, VN Klungre, R Schlatte, EB Johnsen, M Giese
The Semantic Web: 18th International Conference, ESWC 2021, Virtual Event …, 2021
27*2021
Uniform modeling of railway operations
E Kamburjan, R Hähnle
International Workshop on Formal Techniques for Safety-Critical Systems, 55-71, 2016
262016
Session-based compositional analysis for actor-based languages using futures
E Kamburjan, CC Din, TC Chen
Formal Methods and Software Engineering: 18th International Conference on …, 2016
252016
Behavioral program logic
E Kamburjan
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
242019
Digital twin as a service (DTaaS): a platform for digital twin developers and users
P Talasila, C Gomes, PH Mikkelsen, SG Arboleda, E Kamburjan, ...
2023 IEEE Smart World Congress (SWC), 1-8, 2023
202023
Digital twin reconfiguration using asset models
E Kamburjan, VN Klungre, R Schlatte, SLT Tarifa, D Cameron, ...
International Symposium on Leveraging Applications of Formal Methods, 71-88, 2022
192022
A unified and formal programming model for deltas and traits
F Damiani, R Hähnle, E Kamburjan, M Lienhardt
Fundamental Approaches to Software Engineering: 20th International …, 2017
182017
Detecting Deadlocks in Formal System Models with Condition Synchronization
E Kamburjan
Electronic Communications of the EASST 76, 2019
172019
Deductive verification of railway operations
E Kamburjan, R Hähnle
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017
142017
Behavioral Contracts for Cooperative Scheduling
E Kamburjan, CC Din, R Hähnle, EB Johnsen
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
132020
Twinning-by-construction: ensuring correctness for self-adaptive digital twins
E Kamburjan, CC Din, R Schlatte, SLT Tarifa, EB Johnsen
International Symposium on Leveraging Applications of Formal Methods, 188-204, 2022
122022
Knowledge Structures Over Simulation Units
E Kamburjan, EB Johnsen
2022 Annual Modeling and Simulation Conference (ANNSIM), 78-89, 2022
122022
Stateful behavioral types for active objects
E Kamburjan, TC Chen
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
122018
Modeling and analyzing resource-sensitive actors: a tutorial introduction
R Schlatte, EB Johnsen, E Kamburjan, SL Tapia Tarifa
International Conference on Coordination Languages and Models, 3-19, 2021
112021
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
E Kamburjan, S Mitsch, M Kettenbach, R Hähnle
arXiv preprint arXiv:1906.05704, 2019
102019
From post-conditions to post-region invariants: deductive verification of hybrid objects
E Kamburjan
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
92021
A Hybrid Programming Language for Formal Modeling and Verification of Hybrid Systems
E Kamburjan, S Mitsch, R Hähnle
Leibniz Transactions on Embedded Systems 8 (2), 04: 1-04: 34, 2022
82022
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
E Kamburjan
Technische Universität, 2020
82020
Interoperability of software product line variants
F Damiani, R Hähnle, E Kamburjan, M Lienhardt
Proceedings of the 22nd International Systems and Software Product Line …, 2018
82018
The system can't perform the operation now. Try again later.
Articles 1–20