Eduard Kamburjan
Førstelektor
-
Pålitelige systemer
English version of this page
E-post
eduard@ifi.uio.no
Brukernavn
Besøksadresse
Gaustadalléen 23B
0373 Oslo
Postadresse
Postboks 1080 Blindern
0316 Oslo
Publikasjoner
-
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. [Vis alle 7 forfattere av denne artikkelen] (2023). Emerging Challenges in Compositionality and Correctness for Digital Twins. CEUR Workshop Proceedings. ISSN 1613-0073. 3507. Fulltekst i vitenarkiv
-
Kamburjan, Eduard & Din, Crystal Chang (2023). Runtime Enforcement Using Knowledge Bases. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 13991, s. 220–240. doi: 10.1007/978-3-031-30826-0_12. Fulltekst i vitenarkiv
-
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, s. 9:1–9:16. doi: 10.4230/LIPIcs.CONCUR.2023.9. Fulltekst i vitenarkiv
-
Qu, Yuanwei; Kamburjan, Eduard & Giese, Martin (2023). A Geological Case Study on Semantically Triggered Processes. I Pesquita, Catia; Jimenez-Ruiz, Ernesto; McCusker, Jamie; Faria, Daniel; Dragoni, Mauro; Dimou, Anastasia; Troncy, Raphaël & Hertling, Sven (Red.), 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, s. 259–280. doi: 10.1007/978-3-031-19756-7_15. Fulltekst i vitenarkiv Vis sammendrag
-
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. Fulltekst i vitenarkiv
-
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, s. 188–204. doi: 10.1007/978-3-031-19849-6_12. Fulltekst i vitenarkiv
-
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, s. 71–88. doi: 10.1007/978-3-031-19762-8_6.
-
Kamburjan, Eduard & Johnsen, Einar Broch (2022). Knowledge Structures Over Simulation Units. I Ruiz Martin, Martin; Emami, Niloufar; Blas, María Julia & Rezaee, Roya (Red.), Annual Modeling and Simulation Conference, ANNSIM 2022. IEEE Press. ISSN 978-1-71-385288-9. s. 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. 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:/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.
-
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. Vis sammendrag
-
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 s.
-
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. Fulltekst i vitenarkiv
-
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). Springer. ISSN 978-82-7368-464-6. Fulltekst i vitenarkiv
Publisert
2. nov. 2020 09:32
- Sist endret
15. sep. 2022 10:37