• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 38 matches

• 2024
• 
  Victor V. Kuliamin:
  A Survey of Software Dynamic Analysis Methods. Program. Comput. Softw. 50(1): 90-114 (2024)
• 2023
• 
  Denis Efremov, Viktoria V. Kopach, Eugene Kornykhin, Victor V. Kuliamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov:
  Runtime Verification of Operating Systems Based on Abstract Models. Program. Comput. Softw. 49(7): 559-565 (2023)
• 2022
• 
  Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik:
  Evaluating the complexity of deriving adaptive S'-homing and S'-synchronizing sequences for nondeterministic FSMs. Softw. Qual. J. 30(1): 161-180 (2022)
• 2020
• 
  Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov:
  Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. Program. Comput. Softw. 46(7): 443-453 (2020)
• 2019
• 
  Nina Yevtushenko, Victor V. Kuliamin, Natalia Kushik:
  Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. ICTSS 2019: 86-103
• 2016
• 
  Petr N. Devyanin, Victor V. Kulyamin, Alexander K. Petrenko, Alexey V. Khoroshilov, Ilya V. Shchepetkov:
  Comparison of specification decomposition methods in Event-B. Program. Comput. Softw. 42(4): 198-205 (2016)
• 2015
• 
  Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin:
  Parallel computations on a graph. Program. Comput. Softw. 41(1): 1-13 (2015)
• 
  Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kulyamin:
  Analysis of a graph by a set of automata. Program. Comput. Softw. 41(6): 307-310 (2015)
• 
  Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov:
  Using Refinement in Formal Development of OS Security Model. Ershov Memorial Conference 2015: 107-115
• 2014
• 
  Victor V. Kuliamin, Alexander K. Petrenko:
  Evolution of the UniTESK test development technology. Program. Comput. Softw. 40(5): 296-304 (2014)
• 
  Natalia G. Kushik, Victor V. Kulyamin, Nina V. Evtushenko:
  On the complexity of existence of homing sequences for nondeterministic finite state machines. Program. Comput. Softw. 40(6): 333-336 (2014)
• 
  Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov:
  Formal Verification of OS Security Model with Alloy and Event-B. ABZ 2014: 309-313
• 2013
• 
  Alexander K. Petrenko, Victor V. Kuliamin, Andrey Maksimov:
  UniTESK: Component Model Based Testing. ICTERI 2013: 573-581
• 
  Jens Grabowski, Victor V. Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang, Milan Zoric:
  Towards the Usage of MBT at ETSI. MBT 2013: 30-34
• 2011
• 
  Victor V. Kuliamin, Alexander Petukhov:
  A survey of methods for constructing covering arrays. Program. Comput. Softw. 37(3): 121-146 (2011)
• 2010
• 
  Victor V. Kuliamin:
  Component architecture of model-based testing environment. Program. Comput. Softw. 36(5): 289-305 (2010)
• 
  Victor V. Kuliamin, Alexander Petukhov:
  Covering Arrays Generation Methods Survey. ISoLA (2) 2010: 382-396
• 2009
• 
  Victor V. Kuliamin:
  Integration of verification methods for program systems. Program. Comput. Softw. 35(4): 212-222 (2009)
• 
  Victor V. Kuliamin, Vitaliy A. Omelchenko, Olga L. Petrenko:
  Formal Methods: for All or for Chosen? CSEDU (2) 2009: 217-222
• 
  Victor V. Kuliamin:
  Standardization and Testing of Mathematical Functions. Ershov Memorial Conference 2009: 257-268
• 2008
• 
  R. S. Zybin, Victor V. Kuliamin, Andrey V. Ponomarenko, Vladimir V. Rubanov, E. S. Chernov:
  Automation of broad sanity test generation. Program. Comput. Softw. 34(6): 351-363 (2008)
• 
  Victor V. Kuliamin:
  Test Construction for Mathematical Functions. TestCom/FATES 2008: 23-37
• 2007
• 
  Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin:
  Formalization of test experiments. Program. Comput. Softw. 33(5): 239-260 (2007)
• 
  V. P. Ivannikov, Alexander S. Kamkin, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko:
  The use of contract specifications for representing requirements and for functional testing of hardware models. Program. Comput. Softw. 33(5): 272-282 (2007)
• 
  Victor V. Kuliamin:
  Standardization and testing of implementations of mathematical functions in floating point numbers. Program. Comput. Softw. 33(3): 154-173 (2007)
• 2006
• 
  Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexander K. Petrenko, Vladimir V. Rubanov:
  Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466
• 
  Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin:
  Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions. MBT 2006: 83-96
• 2005
• 
  Victor V. Kuliamin:
  Test Sequence Construction Using Minimum Information on the Tested System. Program. Comput. Softw. 31(6): 301-309 (2005)
• 
  Victor V. Kuliamin, Nick V. Pakoulin, Alexander K. Petrenko:
  Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS 2005: 68-83
• 2004
• 
  Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin:
  Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case. Program. Comput. Softw. 30(1): 2-17 (2004)

skipping 8 more matches