Eduard Kamburjan
Postdoctoral Fellow
-
Centre for Scalable Data Access
Norwegian version of this page
Email
eduard@ifi.uio.no
Username
Visiting address
Gaustadalleen 23 B
0373 Oslo
Postal address
Postboks 1080 Blindern
0316 Oslo
Other affiliations
The International Summer School
(Student)
Publications
-
Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael & Paolini, Luca (2021). Variability Modules for Java-like Languages. In Mouosavi, Mohammed Reza & Schobbens, Pierre-Yves (Ed.), SPLC '21: Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A. Association for Computing Machinery (ACM). ISSN 978-1-4503-8469-8. doi: 10.1145/3461001.3471143.
-
Kamburjan, Eduard (2021). From Post-Conditions to Post-Region Invariants: Deductive Verification of Hybrid Objects. In Bogomolov, Sergiy & Jungers, Raphaël (Ed.), HSCC '21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. Association for Computing Machinery (ACM). ISSN 978-1-4503-8339-4. doi: https%3A/doi.org/10.1145/3447928.3456633.
-
Kamburjan, Eduard; Schlatte, Rudolf; Johnsen, Einar Broch & Tapia Tarifa, Silvia Lizeth (2021). Designing Distributed Control with Hybrid Active Objects. In Margaria, Tiziana & Steffen, Bernhard (Ed.), Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part IV. Springer. ISSN 978-3-030-83722-8. p. 88–108. doi: 10.1007/978-3-030-83723-5_7.
-
Kamburjan, Eduard & Kostylev, Egor (2021). Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. CEUR Workshop Proceedings. ISSN 1613-0073. 2954. Full text in Research Archive
-
Kamburjan, Eduard & Grätz, Lukas (2021). Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. p. 43–59. doi: 10.1007/978-3-030-91550-6_4.
-
Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard & Tapia Tarifa, Silvia Lizeth (2021). Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-030-78142-2_1.
-
Kamburjan, Eduard; Din, Crystal Chang; Hähnle, Reiner & Johnsen, Einar Broch (2020). Behavioral Contracts for Cooperative Scheduling. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 12345, p. 85–121. doi: 10.1007/978-3-030-64354-6_4.
-
Kamburjan, Eduard; Klungre, Vidar Norstein & Giese, Martin (2022). Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data (Full Paper). Universitetet i Oslo. ISSN 978-82-7368-602-2. Full text in Research Archive
-
Kamburjan, Eduard; Klungre, Vidar; Schlatte, Rudolf; Johnsen, Einar Broch & Giese, Martin (2021). Programming and Debugging with Semantically Lifted States (Full Paper). Universitetet i Oslo. Institutt for informatikk. ISSN 978-82-7368-464-6. Full text in Research Archive
Published Nov. 2, 2020 9:32 AM
- Last modified Nov. 2, 2020 9:33 AM