Eduard Baranov

According to our database, Eduard Baranov authored at least 18 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2022

Baital: an adaptive weighted sampling platform for configurable systems.

Eduard Baranov, Axel Legay

Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022

A Scalable t-wise Coverage Estimator.

Eduard Baranov, Sourav Chakraborty, Axel Legay, Kuldeep S. Meel, N. Variyam Vinodchandran

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

A Secure User-Centred Healthcare System: Design and Verification.

Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber

Proceedings of the From Data to Models and Back, 2021

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

Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP.

Eduard Baranov, Simon Bliudze

Acta Informatica, 2020

Expressiveness of component-based frameworks: a study of the expressiveness of BIP.

Eduard Baranov, Simon Bliudze

Acta Informatica, 2020

Baital: an adaptive weighted sampling approach for improved t-wise coverage.

Eduard Baranov, Axel Legay, Kuldeep S. Meel

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Probabilistic Collision Risk Estimation for Autonomous Driving: Validation via Statistical Model Checking.

Anshul Paigwar, Eduard Baranov, Alessandro Renzaglia, Christian Laugier, Axel Legay

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Improving Secure and Robust Patient Service Delivery.

Eduard Baranov, Thomas Given-Wilson, Axel Legay

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Building User Trust of Critical Digital Technologies.

Thomas Given-Wilson, Eduard Baranov, Axel Legay

Proceedings of the 2020 IEEE International Conference on Industrial Technology, 2020

2017

A Semantic Framework for Architecture Modelling.

Eduard Baranov

PhD thesis, 2017

Configuration logics: Modeling architecture styles.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

J. Log. Algebraic Methods Program., 2017

2016

A general framework for architecture composability.

Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis

Formal Aspects Comput., 2016

Architecture Diagrams: A Graphical Language for Architecture Style Specification.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

A Note on the Expressiveness of BIP.

Eduard Baranov, Simon Bliudze

Proceedings of the Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, 2016

2015

Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP.

Eduard Baranov, Simon Bliudze

Sci. Comput. Program., 2015

Configuration Logics: Modelling Architecture Styles.

Anastasia Mavridou, Eduard Baranov, Simon Bliudze, Joseph Sifakis

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2013

Extended Connectors: Structuring Glue Operators in BIP.

Eduard Baranov, Simon Bliudze

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013