Victor V. Kuliamin

According to our database, Victor V. Kuliamin authored at least 37 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Runtime Verification of Operating Systems Based on Abstract Models.

Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., December, 2023

2022

Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs.

Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik

Softw. Qual. J., 2022

2020

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Program. Comput. Softw., 2020

2019

Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs.

Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik

Proceedings of the Testing Software and Systems, 2019

2016

Comparison of specification decomposition methods in Event-B.

Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov

Program. Comput. Softw., 2016

2015

Analysis of a graph by a set of automata.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin

Program. Comput. Softw., 2015

Parallel computations on a graph.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin

Program. Comput. Softw., 2015

Using Refinement in Formal Development of OS Security Model.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Perspectives of System Informatics, 2015

2014

On the complexity of existence of homing sequences for nondeterministic finite state machines.

Natalia G. Kushik, Victor V. Kulyamin, Nina V. Evtushenko

Program. Comput. Softw., 2014

Evolution of the UniTESK test development technology.

Victor V. Kuliamin, Alexander K. Petrenko

Program. Comput. Softw., 2014

Formal Verification of OS Security Model with Alloy and Event-B.

Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

Towards the Usage of MBT at ETSI

Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric

Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

UniTESK: Component Model Based Testing.

Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov

Proceedings of the 9th International Conference on ICT in Education, 2013

2011

A survey of methods for constructing covering arrays.

Victor V. Kuliamin, Alexander Petukhov

Program. Comput. Softw., 2011

2010

Component architecture of model-based testing environment.

Victor V. Kuliamin

Program. Comput. Softw., 2010

Covering Arrays Generation Methods Survey.

Victor V. Kuliamin, Alexander Petukhov

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Integration of verification methods for program systems.

Victor V. Kuliamin

Program. Comput. Softw., 2009

Standardization and Testing of Mathematical Functions.

Victor V. Kuliamin

Proceedings of the Perspectives of Systems Informatics, 2009

Formal Methods: for All or for Chosen?

Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko

Proceedings of the CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009, 2009

2008

Automation of broad sanity test generation.

R. S. Zybin, Victor V. Kuliamin, Andrey V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov

Program. Comput. Softw., 2008

Test Construction for Mathematical Functions.

Victor V. Kuliamin

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Standardization and testing of implementations of mathematical functions in floating point numbers.

Victor V. Kuliamin

Program. Comput. Softw., 2007

The use of contract specifications for representing requirements and for functional testing of hardware models.

V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko

Program. Comput. Softw., 2007

Formalization of test experiments.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin

Program. Comput. Softw., 2007

2006

Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin

Proceedings of the Second Workshop on Model Based Testing, 2006

Formal Methods in Industrial Software Standards Enforcement.

Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov

Proceedings of the Perspectives of Systems Informatics, 2006

2005

Test Sequence Construction Using Minimum Information on the Tested System.

Victor V. Kuliamin

Program. Comput. Softw., 2005

Practical Approach to Specification and Conformance Testing of Distributed Network Applications.

Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko

Proceedings of the Service Availability, 2005

2004

Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin

Program. Comput. Softw., 2004

Multi-paradigm Models as Source for Automated Test Construction.

Victor V. Kuliamin

Proceedings of the Workshop on Model Based Testing, 2004

Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System.

Victor V. Kuliamin

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003

The UniTesK Approach to Designing Test Suites.

Victor V. Kuliamin, Alexander K. Petrenko, Alexander S. Kossatchev, Igor B. Burdonov

Program. Comput. Softw., 2003

Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin

Program. Comput. Softw., 2003

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.

Victor V. Kuliamin, Alexander K. Petrenko, Nick V. Pakoulin, Alexander S. Kossatchev, Igor B. Bourdonov

Proceedings of the Perspectives of Systems Informatics, 2003

2002

UniTesK Test Suite Architecture.

Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko

Proceedings of the FME 2002: Formal Methods, 2002

2001

Java Specification Extension for Automated Test Development.

Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko, Sergey V. Zelenov

Proceedings of the Perspectives of System Informatics, 2001

2000

Application of finite automatons for program testing.

Igor B. Burdonov, Alexander S. Kossatchev, Victor V. Kulyamin

Program. Comput. Softw., 2000