Seuraa
Eduard Kamburjan
Eduard Kamburjan
Assistant Professor, IT University of Copenhagen
Vahvistettu sähköpostiosoite verkkotunnuksessa itu.dk
Nimike
Viittaukset
Viittaukset
Vuosi
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
Detecting Deadlocks in Formal System Models with Condition Synchronization
E Kamburjan
Electronic Communications of the EASST 76, 2019
182019
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
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20