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)

Download business card

Publications

Kamburjan, Eduard & Kostylev, Egor (2021). Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. CEUR Workshop Proceedings. ISSN 1613-0073.
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. doi: 10.1007/978-3-030-91550-6_4.
Kamburjan, Eduard (2021). From post-conditions to post-region invariants: deductive verification of hybrid objects. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1145/3447928.3456633.
Kamburjan, Eduard; Hähnle, Reiner; Damiani, Ferruccio; Lienhardt, Michael & Paolini, Luca (2021). Variability modules for Java-like languages. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1145/3461001.3471143.
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%5C_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; 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