Viktor Mashkov

Orcid: 0000-0001-9817-3388

Affiliations:
  • University J. E. Purkyne, Department of Informatics, Usti nad Labem, Czech Republic


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Features of Complex Application of the Formal Method of EVENT-B for Development of Environmental Management Systems.
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.
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).
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.
Data, 2019

Unconventional Approach to Unit Self-diagnosis.
Proceedings of the Lecture Notes in Computational Intelligence and Decision Making, 2019

Evaluation of Testing Assignment for System Level Self-Diagnosis.
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.
Proceedings of the Second International Conference on Data Stream Mining & Processing, 2018

Credibility of System Self-Checking When Tests are Performed Randomly.
Proceedings of the Advances in Intelligent Systems and Computing III, 2018

2016
Evaluation of testing assignment for system level self-diagnosis.
Proceedings of the First International Conference on Data Stream Mining & Processing, 2016

2015
Applying Petri Nets to Coalition Formation Modeling.
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2015

Modeling and Simulation of Coalition Formation.
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.
J. Electron. Test., 2013

2011
New Approach to System Level Self-Diagnosis.
Proceedings of the 11th IEEE International Conference on Computer and Information Technology, 2011

2007
Scheme for Comparing Results of Diverse Software Versions.
Proceedings of the ICSOFT 2007, 2007

2004
Restricted Alliance and Coalitions Formation.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

2003
Diagnosing Faulty Situations during Alliance Formation Process.
Proceedings of the 21st IASTED International Multi-Conference on Applied Informatics (AI 2003), 2003

2002
Alliance Formation with Several Coordinators.
Proceedings of the Soft Computing Systems - Design, Management and Applications, 2002


  Loading...