Eduard Kamburjan
Eduard Kamburjan
Postdoc of Computer Science, University of Oslo
Verified email at ifi.uio.no
Title
Cited by
Cited by
Year
Uniform modeling of railway operations
E Kamburjan, R Hähnle
International Workshop on Formal Techniques for Safety-Critical Systems, 55-71, 2016
242016
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
202018
Session-Based Compositional Analysis for Actor-Based Languages Using Futures
E Kamburjan, CC Din, TC Chen
International Conference on Formal Engineering Methods, 296-312, 2016
162016
Behavioral Program Logic
E Kamburjan
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
112019
A Unified and Formal Programming Model for Deltas and Traits
F Damiani, R Hähnle, E Kamburjan, M Lienhardt
International Conference on Fundamental Approaches to Software Engineering …, 2017
112017
Stateful Behavioral Types for Active Objects
E Kamburjan, TC Chen
International Conference on Integrated Formal Methods, 214-235, 2018
9*2018
Deductive Verification of Railway Operations
E Kamburjan, R Hähnle
International Conference on Reliability, Safety and Security of Railway …, 2017
82017
Detecting Deadlocks in Formal System Models with Condition Synchronization
E Kamburjan
Electronic Communications of the EASST 76, 2019
72019
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
72018
Towards fully automatic logic-based information flow analysis: An electronic-voting case study
QH Do, E Kamburjan, N Wasser
International Conference on Principles of Security and Trust, 97-115, 2016
72016
Same Same But Different: Interoperability of Software Product Line Variants
F Damiani, R Hähnle, E Kamburjan, M Lienhardt
Principled Software Development, 99-117, 2018
52018
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
E Kamburjan
Technische Universität, 2020
42020
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
42019
Prototyping Formal System Models with Active Objects
E Kamburjan, R Hähnle
Proceedings 11th Interaction and Concurrency Experience, ICE@ DisCoTec 2018, 2018
42018
Asynchronous cooperative contracts for cooperative scheduling
E Kamburjan, CC Din, R Hähnle, EB Johnsen
International Conference on Software Engineering and Formal Methods, 48-66, 2019
32019
Session types for ABS
E Kamburjan
Technical report, TU Darmstadt, 2016
32016
Programming and Debugging with Semantically Lifted States
E Kamburjan, VN Klungre, R Schlatte, EB Johnsen, M Giese
European Semantic Web Conference, 126-142, 2021
2*2021
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
E Kamburjan, J Stromberg
arXiv preprint arXiv:1912.10635, 2019
22019
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)
E Kamburjan
arXiv preprint arXiv:1904.13338, 2019
22019
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects
E Kamburjan, M Scaletta, N Rollshausen
arXiv preprint arXiv:2102.10127, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20