Eduard Baranov
Eduard Baranov
Verified email at
Cited by
Cited by
A general framework for architecture composability
P Attie, E Baranov, S Bliudze, M Jaber, J Sifakis
Formal Aspects of Computing 28, 207-231, 2016
Configuration logics: Modeling architecture styles
A Mavridou, E Baranov, S Bliudze, J Sifakis
Journal of Logical and Algebraic Methods in Programming 86 (1), 2-29, 2017
Baital: an adaptive weighted sampling approach for improved t-wise coverage
E Baranov, A Legay, KS Meel
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Optimizing symbolic execution for malware behavior classification
S Sebastio, E Baranov, F Biondi, O Decourbe, T Given-Wilson, A Legay, ...
Computers & Security 93, 101775, 2020
Architecture diagrams: A graphical language for architecture style specification
A Mavridou, E Baranov, S Bliudze, J Sifakis
arXiv preprint arXiv:1608.03324, 2016
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP
E Baranov, S Bliudze
Science of Computer Programming 109, 2-35, 2015
Probabilistic collision risk estimation for autonomous driving: Validation via statistical model checking
A Paigwar, E Baranov, A Renzaglia, C Laugier, A Legay
2020 IEEE Intelligent Vehicles Symposium (IV), 737-743, 2020
Improving secure and robust patient service delivery
E Baranov, T Given-Wilson, A Legay
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
Building user trust of critical digital technologies
T Given-Wilson, E Baranov, A Legay
2020 IEEE International Conference on Industrial Technology (ICIT), 1199-1204, 2020
Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report
E Baranov, F Biondi, O Decourbe, T Given-Wilson, A Legay, C Puodzius, ...
A note on the expressiveness of BIP
E Baranov, S Bliudze
arXiv preprint arXiv:1608.03125, 2016
Baital: an adaptive weighted sampling platform for configurable systems
E Baranov, A Legay
Proceedings of the 26th ACM International Systems and Software Product Line …, 2022
A scalable t-wise coverage estimator
E Baranov, S Chakraborty, A Legay, KS Meel, VN Variyam
Proceedings of the 44th International Conference on Software Engineering, 36-47, 2022
A Secure User-Centred Healthcare System: Design and Verification
E Baranov, J Bowles, T Given-Wilson, A Legay, T Webber
International Symposium: From Data to Models and Back, 44-60, 2021
Extended connectors: structuring glue operators in BIP
E Baranov, S Bliudze
arXiv preprint arXiv:1310.4571, 2013
Expressiveness of component-based frameworks: A study of the expressiveness of BIP
E Baranov, S Bliudze
Acta Informatica 57 (6), 761-800, 2020
A semantic framework for architecture modelling
E Baranov
EPFL, 2017
Statistical Model Checking meets GDPR
E Baranov, K Larsen, A Legay
Lecture Notes in Computer Science, 2023
Serums Healthcare System: Completed and Secured
E Baranov, A Legay
4th International Workshop on Adaptive and Personalized Privacy and Security, 2022
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions
R Gu, E Baranov, A Ameri, EP Enoiu, B Curuklu, C Seceleanu, A Legay, ...
ACM Transactions on Software Engineering and Methodology, 2022
The system can't perform the operation now. Try again later.
Articles 1–20