Eduard Baranov
发表
Kuldeep S. Meel,
Vinodchandran N. Variyam,
Axel Legay,
2022,
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE).
S. Bliudze,
Eduard Baranov,
2019,
Acta Informatica.
Axel Legay,
Fabrizio Biondi,
Thomas Given-Wilson,
2020,
Comput. Secur..
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2015,
FACS.
Axel Legay,
Thomas Given-Wilson,
Eduard Baranov,
2020,
ISoLA.
Axel Legay,
Christian Laugier,
Alessandro Renzaglia,
2020,
2020 IEEE Intelligent Vehicles Symposium (IV).
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2015,
Sci. Comput. Program..
Joseph Sifakis,
Simon Bliudze,
Paul C. Attie,
2014,
Formal Aspects of Computing.
Eduard Baranov,
Eduard Baranov,
2017
.
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2019,
Acta Informatica.
Simon Bliudze,
Eduard Baranov,
S. Bliudze,
2016,
EXPRESS/SOS.
Joseph Sifakis,
Simon Bliudze,
Anastasia Mavridou,
2016,
ICE.
Axel Legay,
Thomas Given-Wilson,
Eduard Baranov,
2020,
2020 IEEE International Conference on Industrial Technology (ICIT).
Axel Legay,
Kuldeep S. Meel,
Eduard Baranov,
2020,
ESEC/SIGSOFT FSE.