Seguir
Eduard Kamburjan
Eduard Kamburjan
Researcher, University of Oslo
Dirección de correo verificada de ifi.uio.no
Título
Citado por
Citado por
Año
Formal modeling and analysis of railway operations with active objects
E Kamburjan, R Hähnle, S Schön
Science of Computer Programming 166, 167-193, 2018
382018
Uniform modeling of railway operations
E Kamburjan, R Hähnle
International Workshop on Formal Techniques for Safety-Critical Systems, 55-71, 2016
262016
Behavioral program logic
E Kamburjan
Automated Reasoning with Analytic Tableaux and Related Methods: 28th …, 2019
242019
Session-based compositional analysis for actor-based languages using futures
E Kamburjan, CC Din, TC Chen
Formal Methods and Software Engineering: 18th International Conference on …, 2016
242016
Programming and debugging with semantically lifted states
E Kamburjan, VN Klungre, R Schlatte, EB Johnsen, M Giese
The Semantic Web: 18th International Conference, ESWC 2021, Virtual Event …, 2021
22*2021
Detecting Deadlocks in Formal System Models with Condition Synchronization
E Kamburjan
Electronic Communications of the EASST 76, 2019
172019
A unified and formal programming model for deltas and traits
F Damiani, R Hähnle, E Kamburjan, M Lienhardt
Fundamental Approaches to Software Engineering: 20th International …, 2017
162017
Deductive verification of railway operations
E Kamburjan, R Hähnle
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017
142017
Behavioral Contracts for Cooperative Scheduling
E Kamburjan, CC Din, R Hähnle, EB Johnsen
Deductive Software Verification: Future Perspectives: Reflections on the …, 2020
132020
Digital twin reconfiguration using asset models
E Kamburjan, VN Klungre, R Schlatte, SLT Tarifa, D Cameron, ...
International Symposium on Leveraging Applications of Formal Methods, 71-88, 2022
122022
Stateful behavioral types for active objects
E Kamburjan, TC Chen
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
122018
Modeling and analyzing resource-sensitive actors: a tutorial introduction
R Schlatte, EB Johnsen, E Kamburjan, SL Tapia Tarifa
International Conference on Coordination Languages and Models, 3-19, 2021
112021
Knowledge Structures Over Simulation Units
E Kamburjan, EB Johnsen
2022 Annual Modeling and Simulation Conference (ANNSIM), 78-89, 2022
92022
Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects
E Kamburjan, S Mitsch, M Kettenbach, R Hähnle
arXiv preprint arXiv:1906.05704, 2019
92019
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
E Kamburjan
Technische Universität, 2020
82020
Interoperability of software product line variants
F Damiani, R Hähnle, E Kamburjan, M Lienhardt
Proceedings of the 22nd International Systems and Software Product Line …, 2018
82018
Prototyping Formal System Models with Active Objects
E Kamburjan, R Hähnle
Proceedings 11th Interaction and Concurrency Experience, ICE@ DisCoTec 2018, 2018
82018
Same same but different: Interoperability of software product line variants
F Damiani, R Hähnle, E Kamburjan, M Lienhardt
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 2018
72018
Towards fully automatic logic-based information flow analysis: An electronic-voting case study
QH Do, E Kamburjan, N Wasser
Principles of Security and Trust: 5th International Conference, POST 2016 …, 2016
72016
The ABS simulator toolchain
R Schlatte, EB Johnsen, E Kamburjan, SLT Tarifa
Science of Computer Programming 223, 102861, 2022
62022
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20