Eduard Baranov

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 16

Top Topics

Layered Architecture

Coloured Petri Nets

Relational Operators

Top Venues

Acta Informatica

J. Log. Algebraic Methods Program.

Publications

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