More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

Eduard Baranov

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2025
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BaranovL25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaranovL25
Eduard Baranov, Axel Legay:
Baital: Sampling configurable systems with high t-wise coverage. Sci. Comput. Program. 240: 103209 (2025)
2024
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BaranovCLMV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BaranovCLMV24
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): 2021-2039 (2024)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/BaranovLV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/BaranovLV24
Eduard Baranov, Axel Legay, Martin Vivian:
Fuzzing an Industrial Proprietary Protocol. FMICS 2024: 119-135
2022
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Baranov0LMV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Baranov0LMV22
Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran:
A Scalable t-wise Coverage Estimator. ICSE 2022: 36-47
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/BaranovL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/BaranovL22
Eduard Baranov, Axel Legay:
Baital: an adaptive weighted sampling platform for configurable systems. SPLC (B) 2022: 46-49
2021
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/datamod/BaranovBGLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/datamod/BaranovBGLW21
Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber:
A Secure User-Centred Healthcare System: Design and Verification. DataMod 2021: 44-60
2020
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BaranovB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BaranovB20
Eduard Baranov, Simon Bliudze:
Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica 57(6): 761-800 (2020)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/acta/BaranovB20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acta/BaranovB20a
Eduard Baranov, Simon Bliudze:
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. Acta Informatica 57(6): 829 (2020)
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/SebastioBBDGLPQ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/SebastioBBDGLPQ20
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: 101775 (2020)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/icit2/Given-WilsonBL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icit2/Given-WilsonBL20
Thomas Given-Wilson, Eduard Baranov, Axel Legay:
Building User Trust of Critical Digital Technologies. ICIT 2020: 1199-1204
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BaranovGL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BaranovGL20
Eduard Baranov, Thomas Given-Wilson, Axel Legay:
Improving Secure and Robust Patient Service Delivery. ISoLA (1) 2020: 404-418
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/ivs/PaigwarBRLL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ivs/PaigwarBRLL20
Anshul Paigwar, Eduard Baranov, Alessandro Renzaglia, Christian Laugier, Axel Legay:
Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking. IV 2020: 737-743
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/BaranovLM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/BaranovLM20
Eduard Baranov, Axel Legay, Kuldeep S. Meel:
Baital: an adaptive weighted sampling approach for improved t-wise coverage. ESEC/SIGSOFT FSE 2020: 1114-1126

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/ch/Baranov17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ch/Baranov17
Eduard Baranov:
A Semantic Framework for Architecture Modelling. EPFL, Switzerland, 2017
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/MavridouBBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/MavridouBBS17
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration logics: Modeling architecture styles. J. Log. Algebraic Methods Program. 86(1): 2-29 (2017)
2016
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/fac/AttieBBJS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fac/AttieBBJS16
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
A general framework for architecture composability. Formal Aspects Comput. 28(2): 207-231 (2016)
[c5]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BaranovB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaranovB16
Eduard Baranov, Simon Bliudze:
A Note on the Expressiveness of BIP. EXPRESS/SOS 2016: 1-14
[c4]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MavridouBBS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MavridouBBS16
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Architecture Diagrams: A Graphical Language for Architecture Style Specification. ICE 2016: 83-97
2015
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/BaranovB15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BaranovB15
Eduard Baranov, Simon Bliudze:
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. Sci. Comput. Program. 109: 2-35 (2015)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/facs2/MavridouBBS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/facs2/MavridouBBS15
Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis:
Configuration Logics: Modelling Architecture Styles. FACS 2015: 256-274
2014
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/AttieBBJS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/AttieBBJS14
Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis:
A General Framework for Architecture Composability. SEFM 2014: 128-143
2013
[c1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BaranovB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BaranovB13
Eduard Baranov, Simon Bliudze:
Extended Connectors: Structuring Glue Operators in BIP. ICE 2013: 20-35

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.