Viktor Mashkov

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 11

Top Topics

Model Based Reasoning

Coalition Formation

Diagnostic Reasoning

Medical Diagnosis

Top Venues

SIMULTECH (Selected Papers)

Publications

Oleh Mashkov, Oleh Ilyin, Viktor Mashkov, Oleh Boskin, Oksana Ohnieva
Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems. ISDMCI (2022)
Viktor Mashkov, Igor Nevliudov, Yurii Romashov
Computing the risk of failures for high-temperature pressurized pipelines. CITRisk (2021)
Oleksandra S. Bulgakova, Viktor Mashkov, Viacheslav V. Zosimov, Pavlo Popravkin
Risk of Information Loss using JWT token (short paper). CITRisk (2021)
Viktor Mashkov, Jirí Fiser, Volodymyr Lytvynenko, Maria Voronenko
Evaluation of Testing Assignment for System Level Self-Diagnosis. CMIS (2019)
Viktor Mashkov, Jirí Fiser, Volodymyr Lytvynenko, Maria Voronenko
Diagnosis of Intermittently Faulty Units at System Level. Data 4 (1) (2019)
Viktor Mashkov, Josef Bicanek, Yuriy Bardachov, Mariia Voronenko
Unconventional Approach to Unit Self-diagnosis. ISDMCI (2019)
Viktor Mashkov, Volodymyr Lytvynenko, Jirí Fiser, Maria Voronenko
Credibility of System Self-Checking When Tests are Performed Randomly. CSIT (1) (2018)
Viktor Mashkov, Volodymyr Lytvynenko, Jirí Fiser, Maria Voronenko
Self-Diagnosis of the Systems with Intermittently Faulty Units. DSMP (2018)
Viktor Mashkov, Jirí Fiser, Volodymyr Lytvynenko
Evaluation of testing assignment for system level self-diagnosis. DSMP (2016)
Viktor Mashkov, Jirí Barilla, Pavel Simr, Josef Bicanek
Applying Petri Nets to Coalition Formation Modeling. SIMULTECH (Selected Papers) (2015)
Viktor Mashkov, Jirí Barilla, Pavel Simr, Josef Bicanek
Modeling and Simulation of Coalition Formation. SIMULTECH (2015)
Viktor Mashkov, Jirí Barilla, Pavel Simr
Applying Petri Nets to Modeling of Many-Core Processor Self-Testing when Tests are Performed Randomly. J. Electron. Test. 29 (1) (2013)
Viktor Mashkov
New Approach to System Level Self-Diagnosis. CIT (2011)
Viktor Mashkov, Jaroslav Pokorný
Scheme for Comparing Results of Diverse Software Versions. ICSOFT (SE) (2007)
Viktor Mashkov
Restricted Alliance and Coalitions Formation. IAT (2004)
Viktor Mashkov, Vladimír Marík
Diagnosing Faulty Situations during Alliance Formation Process. Applied Informatics (2003)
Vladimír Marík, Viktor Mashkov
Alliance Formation with Several Coordinators. HIS (2002)