Eduard Kamburjan

Eduard Kamburjan

University of Oslo - Oslo / Norway
Engineering & Technology / Computer Science
AD Scientific Index ID: 4845191
Universitetet i Oslo
person_outline Eduard Kamburjan's MOST POPULAR ARTICLES
1-) Formal modeling and analysis of railway operations with active objectsE Kamburjan, R Hähnle, S SchönScience of Computer Programming 166, 167-193, 2018312018
2-) Programming and debugging with semantically lifted statesE Kamburjan, VN Klungre, R Schlatte, EB Johnsen, M GieseThe Semantic Web: 18th International Conference, ESWC 2021, Virtual Event …, 202128*2021
3-) Uniform modeling of railway operationsE Kamburjan, R HähnleInternational Workshop on Formal Techniques for Safety-Critical Systems, 55-71, 2016262016
4-) Digital twin as a service (DTaaS): a platform for digital twin developers and usersP Talasila, C Gomes, PH Mikkelsen, SG Arboleda, E Kamburjan, ...2023 IEEE Smart World Congress (SWC), 1-8, 2023252023
5-) Session-based compositional analysis for actor-based languages using futuresE Kamburjan, CC Din, TC ChenFormal Methods and Software Engineering: 18th International Conference on …, 2016252016