According to our database1, Eduard Kamburjan authored at least 19 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
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
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report).
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Sci. Comput. Program., 2018
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018
Proceedings of the Proceedings 11th Interaction and Concurrency Experience, 2018
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018
Proceedings of the Integrated Formal Methods - 14th International Conference, 2018
Proceedings of the Principled Software Development, 2018
Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2017
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
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the Formal Techniques for Safety-Critical Systems, 2016