Eduard Kamburjan

• Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael & Paolini, Luca (2021). Variability Modules for Java-like Languages. I Mouosavi, Mohammed Reza & Schobbens, Pierre-Yves (Red.), 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. I Bogomolov, Sergiy & Jungers, Raphaël (Red.), 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. I Margaria, Tiziana & Steffen, Bernhard (Red.), 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. s. 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. Fulltekst i vitenarkiv
• 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. s. 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, s. 85–121. doi: 10.1007/978-3-030-64354-6_4.

Se alle arbeider i Cristin

• 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. Fulltekst i vitenarkiv
• 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. Fulltekst i vitenarkiv

Se alle arbeider i Cristin