Victor V. Kuliamin

Orcid: 0000-0003-3439-9534

Affiliations:
  • Russian Academy of Sciences, Institute for System Programming, Moscow, Russia


According to our database1, Victor V. Kuliamin authored at least 38 papers between 2000 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Survey of Software Dynamic Analysis Methods.
Program. Comput. Softw., February, 2024

2023
Runtime Verification of Operating Systems Based on Abstract Models.
Program. Comput. Softw., December, 2023

2022
Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs.
Softw. Qual. J., 2022

2020
Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System.
Program. Comput. Softw., 2020

2019
Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs.
Proceedings of the Testing Software and Systems, 2019

2016
Comparison of specification decomposition methods in Event-B.
Program. Comput. Softw., 2016

2015
Analysis of a graph by a set of automata.
Program. Comput. Softw., 2015

Parallel computations on a graph.
Program. Comput. Softw., 2015

Using Refinement in Formal Development of OS Security Model.
Proceedings of the Perspectives of System Informatics, 2015

2014
On the complexity of existence of homing sequences for nondeterministic finite state machines.
Program. Comput. Softw., 2014

Evolution of the UniTESK test development technology.
Program. Comput. Softw., 2014

Formal Verification of OS Security Model with Alloy and Event-B.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013
Towards the Usage of MBT at ETSI
Proceedings of the Proceedings Eighth Workshop on Model-Based Testing, 2013

UniTESK: Component Model Based Testing.
Proceedings of the 9th International Conference on ICT in Education, 2013

2011
A survey of methods for constructing covering arrays.
Program. Comput. Softw., 2011

2010
Component architecture of model-based testing environment.
Program. Comput. Softw., 2010

Covering Arrays Generation Methods Survey.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Integration of verification methods for program systems.
Program. Comput. Softw., 2009

Standardization and Testing of Mathematical Functions.
Proceedings of the Perspectives of Systems Informatics, 2009

Formal Methods: for All or for Chosen?
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.
Program. Comput. Softw., 2008

Test Construction for Mathematical Functions.
Proceedings of the Testing of Software and Communicating Systems, 2008

2007
Standardization and testing of implementations of mathematical functions in floating point numbers.
Program. Comput. Softw., 2007

The use of contract specifications for representing requirements and for functional testing of hardware models.
Program. Comput. Softw., 2007

Formalization of test experiments.
Program. Comput. Softw., 2007

2006
Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions.
Proceedings of the Second Workshop on Model Based Testing, 2006

Formal Methods in Industrial Software Standards Enforcement.
Proceedings of the Perspectives of Systems Informatics, 2006

2005
Test Sequence Construction Using Minimum Information on the Tested System.
Program. Comput. Softw., 2005

Practical Approach to Specification and Conformance Testing of Distributed Network Applications.
Proceedings of the Service Availability, 2005

2004
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case.
Program. Comput. Softw., 2004

Multi-paradigm Models as Source for Automated Test Construction.
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.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

2003
The UniTesK Approach to Designing Test Suites.
Program. Comput. Softw., 2003

Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case.
Program. Comput. Softw., 2003

Integration of Functional and Timed Testing of Real-Time and Concurrent Systems.
Proceedings of the Perspectives of Systems Informatics, 2003

2002
UniTesK Test Suite Architecture.
Proceedings of the FME 2002: Formal Methods, 2002

2001
Java Specification Extension for Automated Test Development.
Proceedings of the Perspectives of System Informatics, 2001

2000
Application of finite automatons for program testing.
Program. Comput. Softw., 2000


  Loading...