Folgen
Eduard Kamburjan
Eduard Kamburjan
Department of Informatics, University of Oslo
Bestätigte E-Mail-Adresse bei ifi.uio.no
Titel
Zitiert von
Zitiert von
Jahr
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
292018
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
172019
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
172016
Detecting Deadlocks in Formal System Models with Condition Synchronization
E Kamburjan
Electronic Communications of the EASST 76, 2019
132019
Deductive verification of railway operations
E Kamburjan, R Hähnle
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2017
132017
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
132017
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
11*2021
Stateful behavioral types for active objects
E Kamburjan, TC Chen
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth …, 2018
112018
Variability modules for Java-like languages
F Damiani, R Hähnle, E Kamburjan, M Lienhardt, L Paolini
Proceedings of the 25th ACM International Systems and Software Product Line …, 2021
8*2021
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
Modular Verification of a Modular Specification: Behavioral Types as Program Logics
E Kamburjan
Technische Universität, 2020
72020
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
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
62019
Modeling and analyzing resource-sensitive actors: a tutorial introduction
R Schlatte, EB Johnsen, E Kamburjan, SL Tapia Tarifa
Coordination Models and Languages: 23rd IFIP WG 6.1 International Conference …, 2021
52021
Asynchronous cooperative contracts for cooperative scheduling
E Kamburjan, CC Din, R Hähnle, EB Johnsen
Software Engineering and Formal Methods: 17th International Conference, SEFM …, 2019
52019
From post-conditions to post-region invariants: deductive verification of hybrid objects
E Kamburjan
Proceedings of the 24th International Conference on Hybrid Systems …, 2021
42021
Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability
E Kamburjan, J Stromberg
arXiv preprint arXiv:1912.10635, 2019
42019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20