Eduard Kamburjan
Senior Lecturer
-
Reliable Systems
Norwegian version of this page
Email
eduard@ifi.uio.no
Username
Visiting address
Gaustadalléen 23B
0373 Oslo
Postal address
Postboks 1080 Blindern
0316 Oslo
Publications
-
Qu, Yuanwei; Kamburjan, Eduard; Torabi, Anita & Giese, Martin (2024). Semantically triggered qualitative simulation of a geological process. Applied Computing and Geosciences. ISSN 2590-1974. 21. doi: 10.1016/j.acags.2023.100152.
-
Kamburjan, Eduard; Klungre, Vidar Norstein; Tapia Tarifa, Silvia Lizeth; Schlatte, Rudolf; Giese, Martin & Cameron, David B. [Show all 7 contributors for this article] (2023). Emerging Challenges in Compositionality and Correctness for Digital Twins. CEUR Workshop Proceedings. ISSN 1613-0073. 3507. Full text in Research Archive
-
Kamburjan, Eduard & Din, Crystal Chang (2023). Runtime Enforcement Using Knowledge Bases. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13991, p. 220–240. doi: 10.1007/978-3-031-30826-0_12. Full text in Research Archive
-
Kløvstad, Åsmund Aqissiaq Arild; Kamburjan, Eduard & Johnsen, Einar Broch (2023). Compositional Correctness and Completeness for Symbolic Partial Order Reduction. Leibniz International Proceedings in Informatics. ISSN 1868-8969. 279, p. 9:1–9:16. doi: 10.4230/LIPIcs.CONCUR.2023.9. Full text in Research Archive
-
Qu, Yuanwei; Kamburjan, Eduard & Giese, Martin (2023). A Geological Case Study on Semantically Triggered Processes. In Pesquita, Catia; Jimenez-Ruiz, Ernesto; McCusker, Jamie; Faria, Daniel; Dragoni, Mauro; Dimou, Anastasia; Troncy, Raphaël & Hertling, Sven (Ed.), The Semantic Web: 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28–June 1, 2023, Proceedings. Springer. ISSN 978-3-031-33455-9.
-
Kamburjan, Eduard; Scaletta, Marco & Rollshausen, Nils (2023). Deductive verification of active objects with Crowbar. Science of Computer Programming. ISSN 0167-6423. 226. doi: 10.1016/j.scico.2023.102928.
-
Kamburjan, Eduard & Wasser, Nathan (2022). The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics . Electronic Proceedings in Theoretical Computer Science (EPTCS). ISSN 2075-2180. doi: 10.4204/EPTCS.365.1.
-
Kamburjan, Eduard; Klungre, Vidar Norstein & Giese, Martin (2022). Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13261. doi: 10.1007/978-3-031-06981-9_12.
-
Kamburjan, Eduard & Rama Fiorini, Sandro (2022). On the Notion of Naturalness in Formal Modeling . Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. doi: 10.1007/978-3-031-08166-8_13.
-
Abusdal, Ole Jørgen; Kamburjan, Eduard; Pun, Violet Ka I & Stolz, Volker (2022). A Notion of Equivalence for Refactorings with Abstract Execution . Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13702, p. 259–280. doi: 10.1007/978-3-031-19756-7_15. Full text in Research Archive Show summary
-
Damiani, Ferruccio; Hähnle, Reiner; Kamburjan, Eduard; Lienhardt, Michael & Paolini, Luca (2022). Variability Modules . Journal of Systems and Software. ISSN 0164-1212. 195. doi: 10.1016/j.jss.2022.111510. Full text in Research Archive
-
Schlatte, Rudolf; Johnsen, Einar Broch; Kamburjan, Eduard & Tapia Tarifa, Silvia Lizeth (2022). The ABS simulator toolchain. Science of Computer Programming. ISSN 0167-6423. 223. doi: 10.1016/j.scico.2022.102861.
-
Kamburjan, Eduard; Din, Crystal Chang; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth & Johnsen, Einar Broch (2022). Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13701, p. 188–204. doi: 10.1007/978-3-031-19849-6_12. Full text in Research Archive
-
Kamburjan, Eduard; Klungre, Vidar Norstein; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth; Cameron, David & Johnsen, Einar Broch (2022). Digital Twin Reconfiguration Using Asset Models. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13704, p. 71–88. doi: 10.1007/978-3-031-19762-8_6.
-
Kamburjan, Eduard & Johnsen, Einar Broch (2022). Knowledge Structures Over Simulation Units. In Ruiz Martin, Martin; Emami, Niloufar; Blas, María Julia & Rezaee, Roya (Ed.), Annual Modeling and Simulation Conference, ANNSIM 2022. IEEE Press. ISSN 978-1-71-385288-9. p. 78–89. doi: 10.23919/ANNSIM55834.2022.9859490.
-
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:/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.
-
Damiani, Ferruccio; Kamburjan, Eduard; Lienhardt, Michael & Paolinin, Luca (2008). Deltas for Functional Programs with Algebraic Data Types, ACM Portal. ACM Publications. doi: 10.1145/3579027.3608977. Show summary
-
de Boer, Frank; Damiani, Ferruccio; Hähnle, Reiner; Johnsen, Einar Broch & Kamburjan, Eduard (2024). Active Object Languages: Current Research Trends. Springer Nature. ISBN 978-3-031-51059-5. 375 p.
-
Jakobs, Marie-Christine; Johnsen, Einar Broch; Kamburjan, Eduard & Wimmer, Manuel (2024). Preface for the special issue on “Fundamental Approaches to Software Engineering” (FASE 2022). Science of Computer Programming. ISSN 0167-6423. 232. doi: 10.1016/j.scico.2023.103055.
-
Kamburjan, Eduard & Hallerstede, Stefan (2023). Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins. Universitetet i Oslo. ISSN 978-82-7368-605-3. Full text in Research Archive
-
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). Springer. ISSN 978-82-7368-464-6. Full text in Research Archive
Published
Nov. 2, 2020 9:33 AM
- Last modified
Dec. 15, 2022 11:32 AM