Eduard Baranov

Orcid: 0000-0002-7357-705X

According to our database1, Eduard Baranov authored at least 21 papers between 2013 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Baital: Sampling configurable systems with high t-wise coverage.
Sci. Comput. Program., 2025

2024
A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications.
IEEE Trans. Software Eng., August, 2024

Fuzzing an Industrial Proprietary Protocol.
Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2022
Baital: an adaptive weighted sampling platform for configurable systems.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

A Scalable t-wise Coverage Estimator.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021
A Secure User-Centred Healthcare System: Design and Verification.
Proceedings of the From Data to Models and Back, 2021

2020
Optimizing symbolic execution for malware behavior classification.
Comput. Secur., 2020

Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.
Acta Informatica, 2020

Expressiveness of component-based frameworks: a study of the expressiveness of BIP.
Acta Informatica, 2020

Baital: an adaptive weighted sampling approach for improved t-wise coverage.
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

Improving Secure and Robust Patient Service Delivery.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Building User Trust of Critical Digital Technologies.
Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020

2017
A Semantic Framework for Architecture Modelling.
PhD thesis, 2017

Configuration logics: Modeling architecture styles.
J. Log. Algebraic Methods Program., 2017

2016
A general framework for architecture composability.
Formal Aspects Comput., 2016

Architecture Diagrams: A Graphical Language for Architecture Style Specification.
Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

A Note on the Expressiveness of BIP.
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

Configuration Logics: Modelling Architecture Styles.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2013
Extended Connectors: Structuring Glue Operators in BIP.
Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013


  Loading...