Alexey V. Khoroshilov

	2012
9		Yevgeny Gerlits, Alexey V. Khoroshilov: Model-Based Testing of Safety Critical Real-Time Control Logic Software MBT 2012: 130-144
	2011
8		Alexey V. Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved, Alexander Strakh: Towards an Open Framework for C Verification Tools Benchmarking. Ershov Memorial Conference 2011: 179-192
7		Alexey V. Khoroshilov, Igor Koverninskiy, Alexandre Petrenko, Alexander Ugnenko: Integrating AADL-Based Tool Chain into Existing Industrial Processes. ICECCS 2011: 367-371
6		Denis V. Silakov, Alexey V. Khoroshilov: Ensuring portability of software. Programming and Computer Software 37(1): 41-47 (2011)
	2009
5		Alexey V. Khoroshilov, Vadim Mutilin, Alexandre Petrenko, Vladimir Zakharov: Establishing Linux Driver Verification Process. Ershov Memorial Conference 2009: 165-176
4		Alexey V. Khoroshilov: Open Source Certification and Educational Process. ECEASST 20: (2009)
	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	Yevgeny Gerlits	[9]
2	Alexey Grinevich	[1]
3	Igor Koverninskiy	[7]
4	Victor V. Kuliamin	[1]
5	Denis Markovtsev	[1]
6	Vadim Mutilin	[5] [8]
7	Eugene Novikov	[8]
8	N. V. Pakulin	[2]
9	Alexandre Petrenko	[1] [5] [7]
10	Vladimir V. Rubanov	[1] [3]
11	Eugene A. Shatokhin	[3]
12	Pavel Shved	[8]
13	Denis V. Silakov	[6]
14	Alexander Strakh	[8]
15	Alexander Ugnenko	[7]
16	Vladimir Zakharov	[5]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page