Eduard Baranov

23 papers A* 1B 1C 2Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Baital: Sampling configurable systems with high t-wise coverage.
Sci. Comput. Program.
Eduard Baranov, Axel Legay
2024 J jnl
A Scalable $t$t-Wise Coverage Estimator: Algorithms and Applications.
IEEE Trans. Software Eng.
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
2024 C conf
Fuzzing an Industrial Proprietary Protocol.
FMICS
Eduard Baranov, Axel Legay, Martin Vivian
2024 J jnl
Synthesis and Verification of Mission Plans for Multiple Autonomous Agents under Complex Road Conditions.
ACM Trans. Softw. Eng. Methodol.
Rong Gu, Eduard Baranov, Afshin Ameri, Cristina Seceleanu, Eduard Paul Enoiu, Baran Çürüklü, Axel Legay, Kristina Lundqvist
2022 A* conf
A Scalable t-wise Coverage Estimator.
ICSE
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran
2022 — conf
Baital: an adaptive weighted sampling platform for configurable systems.
SPLC (B)
Eduard Baranov, Axel Legay
2021 — conf
A Secure User-Centred Healthcare System: Design and Verification.
DataMod
Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber
2020 — conf
Baital: an adaptive weighted sampling approach for improved t-wise coverage.
ESEC/SIGSOFT FSE
Eduard Baranov, Axel Legay, Kuldeep S. Meel
2020 — conf
Building User Trust of Critical Digital Technologies.
ICIT
Thomas Given-Wilson, Eduard Baranov, Axel Legay
2020 J jnl
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.
Acta Informatica
Eduard Baranov, Simon Bliudze
2020 J jnl
Expressiveness of component-based frameworks: a study of the expressiveness of BIP.
Acta Informatica
Eduard Baranov, Simon Bliudze
2020 — conf
Improving Secure and Robust Patient Service Delivery.
ISoLA (1)
Eduard Baranov, Thomas Given-Wilson, Axel Legay
2020 J jnl
Optimizing symbolic execution for malware behavior classification.
Comput. Secur.
Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
2020 C conf
Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking.
IV
Anshul Paigwar, Eduard Baranov, Alessandro Renzaglia, Christian Laugier, Axel Legay
2017 — —
A Semantic Framework for Architecture Modelling.
Eduard Baranov
2017 J jnl
Configuration logics: Modeling architecture styles.
J. Log. Algebraic Methods Program.
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2016 — conf
A Note on the Expressiveness of BIP.
EXPRESS/SOS
Eduard Baranov, Simon Bliudze
2016 J jnl
A general framework for architecture composability.
Formal Aspects Comput.
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
2016 — conf
Architecture Diagrams: A Graphical Language for Architecture Style Specification.
ICE
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2015 — conf
Configuration Logics: Modelling Architecture Styles.
FACS
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis
2015 J jnl
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.
Sci. Comput. Program.
Eduard Baranov, Simon Bliudze
2014 B conf
A General Framework for Architecture Composability.
SEFM
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
2013 — conf
Extended Connectors: Structuring Glue Operators in BIP.
ICE
Eduard Baranov, Simon Bliudze