Extended Connectors: Structuring Glue Operators in BIP. - Eduard Baranov; Simon Bliudze (ICE, 2013)

Configuration Logics: Modelling Architecture Styles. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (FACS, 2015)

Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. - Eduard Baranov; Simon Bliudze (Sci. Comput. Program., 2015)

A Note on the Expressiveness of BIP. - Eduard Baranov; Simon Bliudze (EXPRESS/SOS, 2016)

Architecture Diagrams: A Graphical Language for Architecture Style Specification. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (ICE, 2016)

A general framework for architecture composability. - Paul C. Attie; Eduard Baranov; Simon Bliudze; Mohamad Jaber 001; Joseph Sifakis (Formal Aspects Comput., 2016)

Configuration logics: Modeling architecture styles. - Anastasia Mavridou; Eduard Baranov; Simon Bliudze; Joseph Sifakis (J. Log. Algebraic Methods Program., 2017)

A Semantic Framework for Architecture Modelling. - Eduard Baranov (2017)

Building User Trust of Critical Digital Technologies. - Thomas Given-Wilson; Eduard Baranov; Axel Legay (ICIT, 2020)

Improving Secure and Robust Patient Service Delivery. - Eduard Baranov; Thomas Given-Wilson; Axel Legay (ISoLA (1), 2020)

Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. - Anshul Paigwar; Eduard Baranov; Alessandro Renzaglia; Christian Laugier; Axel Legay (IV, 2020)

Baital: an adaptive weighted sampling approach for improved t-wise coverage. - Eduard Baranov; Axel Legay; Kuldeep S. Meel (ESEC/SIGSOFT FSE, 2020)

Expressiveness of component-based frameworks: a study of the expressiveness of BIP. - Eduard Baranov; Simon Bliudze (Acta Informatica, 2020)

Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. - Eduard Baranov; Simon Bliudze (Acta Informatica, 2020)

Optimizing symbolic execution for malware behavior classification. - Stefano Sebastio; Eduard Baranov; Fabrizio Biondi; Olivier Decourbe; Thomas Given-Wilson; Axel Legay; Cassius Puodzius; Jean Quilbeuf (Comput. Secur., 2020)

A Secure User-Centred Healthcare System: Design and Verification. - Eduard Baranov; Juliana Bowles; Thomas Given-Wilson; Axel Legay; Thais Webber (DataMod, 2021)

A Scalable t-wise Coverage Estimator. - Eduard Baranov; Sourav Chakraborty 001; Axel Legay; Kuldeep S. Meel; N. Variyam Vinodchandran (ICSE, 2022)

Baital: an adaptive weighted sampling platform for configurable systems. - Eduard Baranov; Axel Legay (SPLC (B), 2022)

Fuzzing an Industrial Proprietary Protocol. - Eduard Baranov; Axel Legay; Martin Vivian (FMICS, 2024)

A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications. - Eduard Baranov; Sourav Chakraborty 001; Axel Legay; Kuldeep S. Meel; N. Variyam Vinodchandran (IEEE Trans. Software Eng., 2024)

Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions. - Rong Gu; Eduard Baranov; Afshin Ameri; Cristina Seceleanu; Eduard Paul Enoiu; Baran Çürüklü; Axel Legay; Kristina Lundqvist (ACM Trans. Softw. Eng. Methodol., 2024)

Baital: Sampling configurable systems with high t-wise coverage. - Eduard Baranov; Axel Legay (Sci. Comput. Program., 2025)