Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Baranov, Eduard"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 223, 2016, pp. 83-97
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:
http://arxiv.org/abs/1608.03324
Autor:
Baranov, Eduard, Bliudze, Simon
Publikováno v:
EPTCS 222, 2016, pp. 1-14
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:
http://arxiv.org/abs/1608.03125
Autor:
Sebastio, Stefano, Baranov, Eduard, Biondi, Fabrizio, Decourbe, Olivier, Given-Wilson, Thomas, Legay, Axel, Puodzius, Cassius, Quilbeuf, Jean
Publikováno v:
In Computers & Security June 2020 93
Autor:
Baranov, Eduard, Bliudze, Simon
Publikováno v:
EPTCS 131, 2013, pp. 20-35
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:
http://arxiv.org/abs/1310.4571
Autor:
Baranov, Eduard, Chakraborty, Sourav, Legay, Axel, Meel, Kuldeep S., Vinodchandran, N. Variyam
Publikováno v:
IEEE Transactions on Software Engineering; August 2024, Vol. 50 Issue: 8 p2021-2039, 19p
Autor:
Baranov, Eduard, Bliudze, Simon
Publikováno v:
In Science of Computer Programming 1 October 2015 109:2-35
Autor:
Baranov, Eduard1 (AUTHOR), Bliudze, Simon2 (AUTHOR) simon.bliudze@inria.fr
Publikováno v:
Acta Informatica. Dec2020, Vol. 57 Issue 6, p761-800. 40p.