Eduard Kamburjan

• 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

  Relational verification through dynamic logic is a promising approach for verifying object oriented programs. Recent advances from symbolic to abstract executions have enabled reasoning about incomplete/abstract versions of such programs. This has proven fruitful in the exploration of correctness of refactorings primarily related to code blocks in Java. In this paper we explore further types of equivalent transformations and refactorings and discuss the challenges that still need to be overcome for full round-trip correctness of refactorings in object-oriented languages.

• 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

  In this paper we discuss how the cooperation between developers and operations staff is practiced. We have analyzed data collected from a focus group of experienced software engineers and project managers, as well as interviews from two case studies. Our position is that well performed cooperation between the development team and the operations team is crucial for successful deployment and operations of a new or extensively revised software system. The data shows that cooperation can be improved in several development activities like requirements engineering, system design, documentation, testing, training, and deployment planning. Likely consequences of poor cooperation in these activities are lower productivity in development and operations, as well as unsatisfied users.

Se alle arbeider i Cristin

• 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.

Se alle arbeider i Cristin

• 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

Se alle arbeider i Cristin