Eduard Baranov
发表
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2020,
Comput. Secur..
Eduard Baranov,
Eduard Baranov,
2017
.
Joseph Sifakis,
Simon Bliudze,
Paul C. Attie,
2014,
SEFM.
Eduard Baranov,
Iakov Kirilenko,
2012
.
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2017,
J. Log. Algebraic Methods Program..
Axel Legay,
Kuldeep S. Meel,
Eduard Baranov,
2020,
ESEC/SIGSOFT FSE.
Axel Legay,
Thomas Given-Wilson,
Eduard Baranov,
2020,
2020 IEEE International Conference on Industrial Technology (ICIT).
Simon Bliudze,
Eduard Baranov,
2013,
ICE.
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2016,
ICE.
Simon Bliudze,
Eduard Baranov,
2019,
Acta Informatica.
Joseph Sifakis,
Simon Bliudze,
Paul C. Attie,
2014,
Formal Aspects of Computing.
Axel Legay,
Thomas Given-Wilson,
Eduard Baranov,
2020,
ISoLA.
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2016,
EXPRESS/SOS.
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2019,
Acta Informatica.
Axel Legay,
Christian Laugier,
Alessandro Renzaglia,
2020,
2020 IEEE Intelligent Vehicles Symposium (IV).
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2018
.
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2015,
Sci. Comput. Program..
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2015,
FACS.
Dmitri Piontkovski,
Elena Staritsyna,
Eduard Baranov,
2014
.