Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Eduard Baranov"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 223, Iss Proc. ICE 2016, Pp 83-97 (2016)
Architecture styles characterise families of architectures sharing common characteristics. We have recently proposed configuration logics for architecture style specification. In this paper, we study a graphical notation to enhance readability and ea
Externí odkaz:
https://doaj.org/article/4b80965016e74977be7c341d92ee10ef
Autor:
Eduard Baranov, Simon Bliudze
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 1-14 (2016)
We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms–strong and weak–of the notion of full expressiveness. Our earlier result shows that the BIP (Behaviour-Interaction-Pri
Externí odkaz:
https://doaj.org/article/5fbae2e4606045c1a6c192097c5fca10
Autor:
Eduard Baranov, Simon Bliudze
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 131, Iss Proc. ICE 2013, Pp 20-35 (2013)
Based on a variation of the BIP operational semantics using the offer predicate introduced in our previous work, we extend the algebras used to model glue operators in BIP to encompass priorities. This extension uses the Algebra of Causal Interaction
Externí odkaz:
https://doaj.org/article/976e98954bae4df49e7bbd4531bd5f4f
Owing to the pervasiveness of software in our modern lives, software systems have evolved to be highly configurable. Combinatorial testing has emerged as a dominant paradigm for testing highly configurable systems. Often constraints are employed to d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9309b0a916d9d3b42cae0eaf8819b8f0
https://hdl.handle.net/2078.1/261824
https://hdl.handle.net/2078.1/261824
Publikováno v:
IV 2020 – 31st IEEE Intelligent Vehicles Symposium
IV 2020 – 31st IEEE Intelligent Vehicles Symposium, Oct 2020, Las Vegas, NV, United States. pp.1-7
HAL
IV 2020 – 31st IEEE Intelligent Vehicles Symposium, Oct 2020, Las Vegas, NV, United States. pp.1-7
HAL
International audience; A crucial aspect that automotive systems need to face before being used in everyday life is the validation of their components. To this end, standard exhaustive methods are inappropriate to validate the probabilistic algorithm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e163b676a7c0f708e14e6eb72f74310
https://inria.hal.science/hal-02696444
https://inria.hal.science/hal-02696444
Autor:
Cassius Puodzius, Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Eduard Baranov, Stefano Sebastio, Jean Quilbeuf, Olivier Decourbe
Publikováno v:
Computers & Security, Vol. 93, no.?, p. 101775 (2020)
Increasingly software correctness, reliability, and security is being analyzed using tools that combine various formal and heuristic approaches. Often such analysis becomes expensive in terms of time and at the cost of high quality results. In this e
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::60497a5100df58cd44e06407807f15a0
https://hdl.handle.net/2078.1/229941
https://hdl.handle.net/2078.1/229941
Publikováno v:
Экономика и математические методы. :4-12
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a10637acb2e551221b4943cbc6414c56
https://doi.org/10.31857/s042473880000653-7
https://doi.org/10.31857/s042473880000653-7
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 86:2-29
We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11ff73867c80a6d1cf2c0ca331a3aa99
https://doi.org/10.1016/j.jlamp.2016.05.002
https://doi.org/10.1016/j.jlamp.2016.05.002
Autor:
Simon Bliudze, Eduard Baranov
Publikováno v:
Acta Informatica, (2019)
Acta Informatica
Acta Informatica, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩
Acta Informatica, Springer Verlag, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩
Acta Informatica
Acta Informatica, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩
Acta Informatica, Springer Verlag, 2020, 57, pp.761--800. ⟨10.1007/s00236-019-00337-7⟩
International audience; We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms---strong and weak---of the notion of full expressiveness and study their properties. Our earlier r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::19239b741a737a87449d269d01741325
https://hdl.handle.net/2078.1/216643
https://hdl.handle.net/2078.1/216643
Autor:
Simon Bliudze, Eduard Baranov
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 1-14 (2016)
EXPRESS/SOS
EXPRESS/SOS
We extend our previous algebraic formalisation of the notion of component-based framework in order to formally define two forms, strong and weak, of the notion of full expressiveness. Our earlier result shows that the BIP (Behaviour-Interaction-Prior
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::62bed139c61856f4577ab0a49f37c67e
https://doaj.org/article/5fbae2e4606045c1a6c192097c5fca10
https://doaj.org/article/5fbae2e4606045c1a6c192097c5fca10