| A general framework for architecture composability P Attie, E Baranov, S Bliudze, M Jaber, J Sifakis Formal Aspects of Computing 28 (2), 207-231, 2016 | 59 | 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 | 51 | 2017 |
| 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 | 33 | 2020 |
| 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 | 32 | 2020 |
| Architecture diagrams: A graphical language for architecture style specification A Mavridou, E Baranov, S Bliudze, J Sifakis arXiv preprint arXiv:1608.03324, 2016 | 21 | 2016 |
| 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 | 11 | 2020 |
| 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 | 11 | 2015 |
| 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 | 5 | 2020 |
| Improving secure and robust patient service delivery E Baranov, T Given-Wilson, A Legay Leveraging Applications of Formal Methods, Verification and Validation …, 2020 | 5 | 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, ... | 3 | 2018 |
| A note on the expressiveness of BIP E Baranov, S Bliudze arXiv preprint arXiv:1608.03125, 2016 | 3 | 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 | 2 | 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 | 2 | 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 | 2 | 2021 |
| Expressiveness of component-based frameworks: a study of the expressiveness of BIP E Baranov, S Bliudze Acta Informatica 57 (6), 761-800, 2020 | 2 | 2020 |
| Extended connectors: structuring glue operators in BIP E Baranov, S Bliudze arXiv preprint arXiv:1310.4571, 2013 | 2 | 2013 |
| A semantic framework for architecture modelling E Baranov EPFL, 2017 | 1 | 2017 |
| Statistical Model Checking meets GDPR E Baranov, K Larsen, A Legay Lecture Notes in Computer Science, 2023 | | 2023 |
| Serums Healthcare System: Completed and Secured E Baranov, A Legay 4th International Workshop on Adaptive and Personalized Privacy and Security, 2022 | | 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 | | 2022 |
