Eduard Baranov
Orcid: 0000-0002-7357-705X
According to our database1,
Eduard Baranov
authored at least 21 papers
between 2013 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Sci. Comput. Program., 2025
2024
IEEE Trans. Software Eng., August, 2024
Proceedings of the Formal Methods for Industrial Critical Systems, 2024
2022
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
Proceedings of the From Data to Models and Back, 2021
2020
Comput. Secur., 2020
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.
Acta Informatica, 2020
Acta Informatica, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020
Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020
2017
J. Log. Algebraic Methods Program., 2017
2016
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016
Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016
2015
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.
Sci. Comput. Program., 2015
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015
2013
Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013