Viktor Mashkov

According to our database, Viktor Mashkov authored at least 17 papers between 2002 and 2022.

Collaborative distances:

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

2022

Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems.

Oleh Mashkov, Oleh Ilyin, Viktor Mashkov, Oleh Boskin, Oksana Ohnieva

Proceedings of the Lecture Notes in Data Engineering, Computational Intelligence, and Decision Making, 2022

2021

Computing the risk of failures for high-temperature pressurized pipelines.

Viktor Mashkov, Igor Nevliudov, Yurii Romashov

Proceedings of the 2nd International Workshop on Computational & Information Technologies for Risk-Informed Systems (CITRisk 2021) co-located with XXI International Conference on Information Technologies in Education and Management (ITEM 2021), 2021

Risk of Information Loss using JWT token (short paper).

Oleksandra S. Bulgakova, Viktor Mashkov, Viacheslav V. Zosimov, Pavlo Popravkin

Proceedings of the 2nd International Workshop on Computational & Information Technologies for Risk-Informed Systems (CITRisk 2021) co-located with XXI International Conference on Information Technologies in Education and Management (ITEM 2021), 2021

2019

Diagnosis of Intermittently Faulty Units at System Level.

Viktor Mashkov, Jirí Fiser, Volodymyr Lytvynenko, Maria Voronenko

Data, 2019

Unconventional Approach to Unit Self-diagnosis.

Viktor Mashkov, Josef Bicanek, Yuriy Bardachov, Mariia Voronenko

Proceedings of the Lecture Notes in Computational Intelligence and Decision Making, 2019

Evaluation of Testing Assignment for System Level Self-Diagnosis.

Viktor Mashkov, Jirí Fiser, Volodymyr Lytvynenko, Maria Voronenko

Proceedings of the Second International Workshop on Computer Modeling and Intelligent Systems (CMIS-2019), 2019

2018

Self-Diagnosis of the Systems with Intermittently Faulty Units.

Viktor Mashkov, Volodymyr Lytvynenko, Jirí Fiser, Maria Voronenko

Proceedings of the Second International Conference on Data Stream Mining & Processing, 2018

Credibility of System Self-Checking When Tests are Performed Randomly.

Viktor Mashkov, Volodymyr Lytvynenko, Jirí Fiser, Maria Voronenko

Proceedings of the Advances in Intelligent Systems and Computing III, 2018

2016

Evaluation of testing assignment for system level self-diagnosis.

Viktor Mashkov, Jirí Fiser, Volodymyr Lytvynenko

Proceedings of the First International Conference on Data Stream Mining & Processing, 2016

2015

Applying Petri Nets to Coalition Formation Modeling.

Viktor Mashkov, Jirí Barilla, Pavel Simr, Josef Bicanek

Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2015

Modeling and Simulation of Coalition Formation.

Viktor Mashkov, Jirí Barilla, Pavel Simr, Josef Bicanek

Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015

2013

Applying Petri Nets to Modeling of Many-Core Processor Self-Testing when Tests are Performed Randomly.

Viktor Mashkov, Jirí Barilla, Pavel Simr

J. Electron. Test., 2013

2011

New Approach to System Level Self-Diagnosis.

Viktor Mashkov

Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2007

Scheme for Comparing Results of Diverse Software Versions.

Viktor Mashkov, Jaroslav Pokorný

Proceedings of the ICSOFT 2007, 2007

2004

Restricted Alliance and Coalitions Formation.

Viktor Mashkov

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003

Diagnosing Faulty Situations during Alliance Formation Process.

Viktor Mashkov, Vladimír Marík

Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002

Alliance Formation with Several Coordinators.

Vladimír Marík, Viktor Mashkov

Proceedings of the Soft Computing Systems - Design, Management and Applications, 2002