Alexey V. Khoroshilov

	2008
3		Alexey V. Khoroshilov, Vladimir V. Rubanov, Eugene A. Shatokhin: Automated Formal Testing of C API Using T2C Framework. ISoLA 2008: 56-70
	2007
2		N. V. Pakulin, Alexey V. Khoroshilov: Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols. Programming and Computer Software 33(6): 316-335 (2007)
	2006
1		Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov: Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466

Coauthor Index

1	Alexey Grinevich	[1]
2	Victor V. Kuliamin	[1]
3	Denis Markovtsev	[1]
4	N. V. Pakulin	[2]
5	Alexandre Petrenko	[1]
6	Vladimir V. Rubanov	[1] [3]
7	Eugene A. Shatokhin	[3]

Colors in the list of coauthors