Victor V. Kuliamin

34 papers C 2Misc 1Journal 17Unranked 14
YearRankTypeTitle / 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