Igor V. Konnov

发表

An invariant-based approach to the verification of asynchronous parameterized networks

Vladimir A. Zakharov, Igor V. Konnov, I. Konnov, 2010, J. Symb. Comput..

Exact Penalties for Decomposable Optimization Problems

Igor V. Konnov, I. Konnov, 2020, 2010.00630.

A Simple Dual Decomposition Method for Resource Allocation in Telecommunication Networks

Erkki Laitinen, Igor V. Konnov, Aleksey Kashuba, 2016 .

Dual methods for optimal allocation of total network resources

Erkki Laitinen, Igor V. Konnov, A. Yu. Kashuba, 2016 .

Comparison of Spin and VRS on the model of Generic Attribute Registration Protocol

Igor V. Konnov, Oleksandr A. Letichevsky, 2009 .

A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms

Helmut Veith, Josef Widder, Igor V. Konnov, 2016, POPL.

Application of the conditional gradient method to a network resource allocation problem with several classes of users

Igor V. Konnov, A Yu Kashuba, 2019 .

Parameterized Model Checking of Resource Reservation Protocol

Igor V. Konnov, 2007 .

Application of the Proximal Point Method to a System of Extended Primal-Dual Equilibrium Problems

Igor V. Konnov, 2006 .

On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability

Helmut Veith, Josef Widder, Igor V. Konnov, 2014, Inf. Comput..

Application of CHEAPS System to Parameterized Model Checking of Distributed Systems

Igor V. Konnov, 2009 .

On the Choice of a Simulation Run-Time Infrastructure based on High-Level Architecture

Igor V. Konnov, Vitaly V. Antonenko, 2011 .

Parameterized Systems in BIP: Design and Model Checking

Qiang Wang, Joseph Sifakis, Helmut Veith, 2016, CONCUR.

DYANA: HLA-based distributed real-time embedded systems simulation tool

Vladimir A. Zakharov, Igor V. Konnov, Alevtina B. Glonina, 2013, WSC '13.

Static analysis for security of web applications developed in Python

Igor V. Konnov, Georgy A. Klimov, Dmitry D. Kozlov, 2008 .

On Optimizing Computation of Semi-block Simulation

Igor V. Konnov, 2008 .

An Approach to the Verification of Symmetric Parameterized Distributed Systems

Vladimir A. Zakharov, Igor V. Konnov, 2005, Programming and Computer Software.

On Verification of Parameterized Distributed Systems

Igor V. Konnov, 2006 .

Parameterized Model Checking of Distributed Systems

Igor V. Konnov, 2008 .

How to make a simple tool for verification of real-time systems

Vladimir A. Zakharov, Igor V. Konnov, Daniil A. Zorin, 2014, Automatic Control and Computer Sciences.

Optimization Problems for Control of Distributed Resources

Erkki Laitinen, Igor V. Konnov, Olga A. Kashina, 2011 .

Partial penalty method for flow optimization in wireless networks

Erkki Laitinen, Igor V. Konnov, Olga A. Kashina, 2016 .

Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms

Luca Spalazzi, Josef Widder, Igor V. Konnov, 2017, VMCAI.

Equilibrium formulations of relative optimization problems

Igor V. Konnov, 2019, Math. Methods Oper. Res..

What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms

Helmut Veith, Josef Widder, Igor V. Konnov, 2015, Ershov Memorial Conference.

On application of weaker simulations to parameterized model checking by network invariants technique

Igor V. Konnov, 2010, Automatic Control and Computer Sciences.

Dual iterative methods for nonlinear total resource allocation problems in telecommunication networks

Erkki Laitinen, Igor V. Konnov, Aleksey Kashuba, 2017 .

Teachable Static Analysis Workbench

Igor V. Konnov, Dmitry D. Kozlov, 2008 .

Selective Bi-coordinate Variations for Network Equilibrium Problems with Mixed Demand

Olga Pinyagina, Igor V. Konnov, 2016 .

Dual Methods for Optimal Allocation of Telecommunication Network Resources with Several Classes of Users

Erkki Laitinen, Igor V. Konnov, Aleksey Kashuba, 2018 .

A combined toolset for the verification of real-time distributed systems

Vladimir A. Zakharov, Igor V. Konnov, Daniil A. Zorin, 2015, Programming and Computer Software.

Model Checking GARP Protocol using Spin and VRS

Igor V. Konnov, Oleksandr A. Letichevsky, 2010 .

Application of the Conditional Gradient Method to Optimal Allocation of Total Network Resources

Erkki Laitinen, Igor V. Konnov, Aleksey Kashuba, 2015, ICWMC 2015.

The system for verfication of parameterized models of asynchronous distributed systems (CHEAPS)

Igor V. Konnov, 2008 .

Decentralized multi-agent optimization based on a penalty method

Igor V. Konnov, I. Konnov, 2020, Optimization.

Application of the penalty method to limit quasi-equilibrium problems

Igor V. Konnov, 2021, Optim. Lett..

A Combined Relaxation Method for a Class of Nonlinear Variational Inequalities

Igor V. Konnov, I. Konnov, 2002 .

Combined relaxation method with Frank-Wolfe type auxiliary procedures for variational inequalities over product sets

Igor V. Konnov, Allevi E. Gnudi A., 2001 .

Lexicographic variational inequalities with applications

Igor V. Konnov, Monica Bianchi, Rita Pini, 2007 .

A combined relaxation method for decomposable variational inequalities

Igor V. Konnov, I. Konnov, 1999 .

Noncooperative Games with Vector Payoffs Under Relative Pseudomonotonicity

Adriana Gnudi, Siegfried Schaible, Igor V. Konnov, 2003 .

THEORY AND APPLICATIONS OF VARIATIONAL INEQUALITIES

Igor V. Konnov, Erkki Laitinen, 2003 .

A modified combined relaxation method for non-linear convex variational inequalities

Igor V. Konnov, 2015 .

Decomposition Approaches for Constrained Spatial Auction Market Problems

Igor V. Konnov, I. Konnov, 2009 .

On Vector Equilibrium and Vector Variational Inequality Problems

Igor V. Konnov, 2001 .

A Class of Combined Relaxation Methods for Decomposable Variational Inequalities

Igor V. Konnov, 2002 .