Eduard Kamburjan

According to our database1, Eduard Kamburjan authored at least 19 papers between 2016 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 




Modular Verification of a Modular Specification: Behavioral Types as Program Logics.
PhD thesis, 2020

Who Carries the Burden of Modularity? - Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability.
Proceedings of the Proceedings Fifth Workshop on Formal Integrated Development Environment, 2019

Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects.
CoRR, 2019

Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report).
CoRR, 2019

Behavioral Program Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Asynchronous Cooperative Contracts for Cooperative Scheduling.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Formal modeling and analysis of railway operations with active objects.
Sci. Comput. Program., 2018

Detecting Deadlocks in Formal System Models with Condition Synchronization.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Prototyping Formal System Models with Active Objects.
Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018

Stateful Behavioral Types for ABS.
CoRR, 2018

Interoperability of software product line variants.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Stateful Behavioral Types for Active Objects.
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Same Same But Different: Interoperability of Software Product Line Variants.
Proceedings of the Principled Software Development, 2018

Deductive Verification of Railway Operations.
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017

A Unified and Formal Programming Model for Deltas and Traits.
Proceedings of the Fundamental Approaches to Software Engineering, 2017

Towards Fully Automatic Logic-Based Information Flow Analysis: An Electronic-Voting Case Study.
Proceedings of the Principles of Security and Trust - 5th International Conference, 2016

Session-Based Compositional Analysis for Actor-Based Languages Using Futures.
Proceedings of the Formal Methods and Software Engineering, 2016

Uniform Modeling of Railway Operations.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016