Victor V. Kuliamin

34 papers C 2Misc 1Journal 17Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Software Security by Design. Program. Comput. Softw. Victor V. Kuliamin, Alexander K. Petrenko, E. A. Rudina
2024	J	`jnl`	A Survey of Software Dynamic Analysis Methods. Program. Comput. Softw. Victor V. Kuliamin
2023	J	`jnl`	Runtime Verification of Operating Systems Based on Abstract Models. Program. Comput. Softw. Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov
2022	J	`jnl`	Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Softw. Qual. J. Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
2020	J	`jnl`	Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. Program. Comput. Softw. Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
2019	C	`conf`	Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik
2015	—	`conf`	Using Refinement in Formal Development of OS Security Model. Ershov Memorial Conference Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
2014	J	`jnl`	Evolution of the UniTESK test development technology. Program. Comput. Softw. Victor V. Kuliamin, Alexander K. Petrenko
2014	C	`conf`	Formal Verification of OS Security Model with Alloy and Event-B. ABZ Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
2013	—	`conf`	Towards the Usage of MBT at ETSI MBT Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric
2013	Misc	`conf`	UniTESK: Component Model Based Testing. ICTERI Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov
2011	J	`jnl`	A survey of methods for constructing covering arrays. Program. Comput. Softw. Victor V. Kuliamin, Alexander Petukhov
2010	J	`jnl`	Component architecture of model-based testing environment. Program. Comput. Softw. Victor V. Kuliamin
2010	—	`conf`	Covering Arrays Generation Methods Survey. ISoLA (2) Victor V. Kuliamin, Alexander Petukhov
2009	—	`conf`	Formal Methods: for All or for Chosen? CSEDU (2) Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko
2009	J	`jnl`	Integration of verification methods for program systems. Program. Comput. Softw. Victor V. Kuliamin
2009	—	`conf`	Standardization and Testing of Mathematical Functions. Ershov Memorial Conference Victor V. Kuliamin
2008	J	`jnl`	Automation of broad sanity test generation. Program. Comput. Softw. R. S. Zybin, Victor V. Kuliamin, Andrey V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov
2008	—	`conf`	Test Construction for Mathematical Functions. TestCom/FATES Victor V. Kuliamin
2007	J	`jnl`	Formalization of test experiments. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2007	J	`jnl`	Standardization and testing of implementations of mathematical functions in floating point numbers. Program. Comput. Softw. Victor V. Kuliamin
2007	J	`jnl`	The use of contract specifications for representing requirements and for functional testing of hardware models. Program. Comput. Softw. V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
2006	—	`conf`	Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. MBT Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2006	—	`conf`	Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov
2005	—	`conf`	Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko
2005	J	`jnl`	Test Sequence Construction Using Minimum Information on the Tested System. Program. Comput. Softw. Victor V. Kuliamin
2004	J	`jnl`	Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2004	—	`conf`	Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. ISoLA (Preliminary proceedings) Victor V. Kuliamin
2004	—	`conf`	Multi-paradigm Models as Source for Automated Test Construction. MBT Victor V. Kuliamin
2003	—	`conf`	Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov
2003	J	`jnl`	Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case. Program. Comput. Softw. Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin
2003	J	`jnl`	The UniTesK Approach to Designing Test Suites. Program. Comput. Softw. Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov
2002	—	`conf`	UniTesK Test Suite Architecture. FME Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko
2001	—	`conf`	Java Specification Extension for Automated Test Development. Ershov Memorial Conference Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov