Vyacheslav S. Kharchenko

Orcid: 0000-0001-5352-077X

Affiliations:
  • National Aerospace University, Kharkiv, Ukraine


According to our database1, Vyacheslav S. Kharchenko authored at least 183 papers between 2002 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Security-Informed Safety Analysis of Autonomous Transport Systems Considering AI-Powered Cyberattacks and Protection.
Entropy, August, 2023

Resilience and Resilient Systems of Artificial Intelligence: Taxonomy, Models and Methods.
Algorithms, March, 2023

Parameterization of the Stochastic Model for Evaluating Variable Small Data in the Shannon Entropy Basis.
Entropy, February, 2023

Combined Processing of Satellite and UAV Data to Increase the Classification Reliability.
Proceedings of the 4th International Workshop on Intelligent Information Technologies & Systems of Information Security, 2023

Reliability Models of Multi-state UAV-based Monitoring Systems: Mission Efficiency Degradation Issues.
Proceedings of the International Conference on Information and Digital Technologies, 2023

Scanning of Web-Applications: Algorithms and Software for Search of Vulnerabilities "Code Injection" and "Insecure Design".
Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Multi-source Analysis of AI Vulnerabilities: Methodology and Algorithms of Data Collection.
Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Deploying the Reliable UAV Swarm for Providing P2P LiFi Communications Considering Physical Obstacles: Method of Rectangles, Algorithms, and Tool.
Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Towards Evidence-Based Cybersecurity Assessment of Programmable Systems to Ensure the Protection of Critical IT Infrastructure.
Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Extended IMECA Technique for Assessing Risks of Successful Cyberattacks.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Compliance Control of Parameters During Machining on CNC Equipment Using Industrial IoT and Digital Twin.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Edge-based Sensors Network for Critical Object Monitoring: Reliability Models Considering the Location of Failed Sensors.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Application of Business Analysis Techniques for Safety-Critical and Security-Critical Requirements Engineering.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Availability Markov Models of Complex Equipment with Relearning Diagnostic Means after Detecting Latent Failures.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Search for the Shortest Route Considering Physical Obstacles: Method of Controlled Waterfall, Tool, and Application.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Structural-Parametric Synthesis of Multi-Agent UAV-based SMR Monitoring system: an Ontology Approach.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Comparativistics for Big Safety: Hegel's Dialectic-based Methodology and Critical Applications Experience.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Databases for Digital Infrastructure of Small Modular Reactors Considering Dynamic Subject Area.
Proceedings of the 13th International Conference on Dependable Systems, 2023

Combining Experimental and Analytical Methods for Penetration Testing of AI-Powered Robotic Systems.
Proceedings of the 7th International Conference on Computational Linguistics and Intelligent Systems. Volume III: Intelligent Systems Workshop, 2023

2022
UAV and IoT-Based Systems for the Monitoring of Industrial Facilities Using Digital Twins: Methodology, Reliability Models, and Application.
Sensors, 2022

Digital Image Representation by Atomic Functions: The Compression and Protection of Data for Edge Computing in IoT Systems.
Sensors, 2022

Quality Models for Artificial Intelligence Systems: Characteristic-Based Approach, Development and Application.
Sensors, 2022

Integrated Information Model of an Enterprise and Cybersecurity Management System: From Data to Activity.
Int. J. Cyber Warf. Terror., 2022

Combining Markov and Semi-Markov Modelling for Assessing Availability and Cybersecurity of Cloud and IoT Systems.
Cryptogr., 2022

Model and Training Method of the Resilient Image Classifier Considering Faults, Concept Drift, and Adversarial Attacks.
Algorithms, 2022

IoT Multi-Vector Cyberattack Detection Based on Machine Learning Algorithms: Traffic Features Analysis, Experiments, and Efficiency.
Algorithms, 2022

AI Cybersecurity Assurance for Autonomous Transport Systems: Scenario, Model, and IMECA-Based Analysis.
Proceedings of the Multimedia Communications, Services and Security, 2022

Area of Interest Based Assessment of Software Interface Usability for Human-Computer Interaction Using Eye-Tracking.
Proceedings of the 3rd International Workshop on Intelligent Information Technologies & Systems of Information Security, 2022

AI powered attacks against AI powered protection: classification, scenarios and risk analysis.
Proceedings of the 12th International Conference on Dependable Systems, 2022

Domain Specific Modelling and Language for Safety-Critical and Security-Critical Requirements Engineering.
Proceedings of the 12th International Conference on Dependable Systems, 2022

Technological Stack for Implementation of AI as a Service based on Hardware Accelerators.
Proceedings of the 12th International Conference on Dependable Systems, 2022

Model for Describing Processes of AI Systems Vulnerabilities Collection and Analysis using Big Data Tools.
Proceedings of the 12th International Conference on Dependable Systems, 2022

Development of a web system for recognizing the images taken by UAV.
Proceedings of the 12th International Conference on Dependable Systems, 2022

Big Safety and the Future of Energy: The State-of-the-World.
Proceedings of the 12th International Conference on Dependable Systems, 2022

Combining IMECA analysis and penetration testing to assess the cybersecurity of industrial robotic systems.
Proceedings of the 12th International Conference on Dependable Systems, 2022

Similarity Based Fuzzy Logic Modeling for the Software Reliability Assessment.
Proceedings of the 6th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2022). Volume I: Main Conference, 2022

Models for Cloud System Availability Assessment Considering Attacks on CDN and ML Based Parametrization.
Proceedings of the 6th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2022). Volume I: Main Conference, 2022

Extended Model of Software Quality Assessment Scenario: Concept, Operations, Application.
Proceedings of the 6th International Conference on Computational Linguistics and Intelligent Systems (COLINS 2022). Volume I: Main Conference, 2022

2021
Invariant-Based Safety Assessment of FPGA Projects: Conception and Technique.
Comput., 2021

IMECA Based Assessment of Internet of Drones Systems Cyber Security Considering Radio Frequency Vulnerabilities.
Proceedings of the 2nd International Workshop on Intelligent Information Technologies & Systems of Information Security with CEUR-WS, 2021

Intelligent System for Supporting Collaborative Decision Making by the Pilot/Air Traffic Controller in Flight Emergencies.
Proceedings of the 2nd International Workshop on Intelligent Information Technologies & Systems of Information Security with CEUR-WS, 2021

Multi-UAV Routing for Critical Iinfrastructure Monitoring Considering Failures of UAVs : Reliability Models, Rerouting Algorithms, Industrial Case.
Proceedings of the International Conference on Information and Digital Technologies, 2021

The Fault Tolerant Černý Finite State Machine: a Concept and VHDL Models.
Proceedings of the 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2021

Availability Assessment of a Cloud Server System: Comparing Markov and Semi-Markov Models.
Proceedings of the 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2021

Equipment Monitoring System with use of Digital Twins and Internet of Things: Algorithms, Architecting and Experiments.
Proceedings of the 2021 11th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS), 2021

Cellular Technology Based Overlay Networks for the Secure Control of Intelligent Mobile Objects: Models and Numerical Study.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2021

2020
Internet of Things for Human and Industry Application: ALIOT Project and R&D Issues.
Proceedings of the PCI 2020: 24th Pan-Hellenic Conference on Informatics, 2020

Criticality Assessment of Critical Information Infrastructure Objects: A Category Based Methodology and Ukrainian Experience.
Proceedings of the Multimedia Communications, Services and Security, 2020

Development of Wearable Solutions for Healthcare: Initial Stages Analysis and Case Study.
Proceedings of the 1st International Workshop on Intelligent Information Technologies & Systems of Information Security, 2020

Independent Verification and Diversity: The Echelons for Assurance of Cyber Physical Systems Safety.
Proceedings of the 2nd International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2020) Mykolaiv, 2020

Quality assessment models of information systems and projects: analysis and data based enhancing for GIS projects.
Proceedings of the 2nd International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2020) Mykolaiv, 2020

Case-Based and Project-Based Methods for Effective E-learning in ICT Safety and Security.
Proceedings of the 16th International Conference on ICT in Education, 2020

Approaches to Statistical Processing of Rhythmocardiosignal with Increased Resolution.
Proceedings of the 9th International Conference "Information Control Systems & Technologies", 2020

Structured Argumentation for Assurance Case of Monitoring System based on UAVs.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

The Minimizating of Hardware for Implementation of Pseudo LRU Algorithm for Cache Memory.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

Assumption Modes and Effect Analysis of XMECA: Expert based safety assessment.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

Availability Models of Industrial Internet of Things Wired System Considering Cyberattacks.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

Availability Model of Two-Zone Physical Security System considering Cyber Attacks and Software Update.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

Combination of Digital Twin and Artificial Intelligence in Manufacturing Using Industrial IoT.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

Dependability Assessment for SCADA System Considering Usage of Cloud Resources.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

Assessing the Perception of Abstract Paintings with Elements of Augmented Reality.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

Routing an Unmanned Aerial Vehicle During NPP Monitoring in the Presence of an Automatic Battery Replacement Aerial System.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

Integration of Security, Functional and Ecology Safety Management Systems: Concept and Industrial Case.
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020

2019
ENISA Documents in Cybersecurity Assurance for Industry 4.0: IIoT Threats and Attacks Scenarios.
Proceedings of the 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2019

AvTA Based Assessment of Dependability Considering Recovery After Failures and Attacks on Vulnerabilities.
Proceedings of the 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2019

Augmented Reality for the Abstract Paintings: Application Scenarios, Semantic Similarity Analysis and Case Study.
Proceedings of the 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2019

Reliability Models for a Multi-fleet of Drones with Two-level Hot Standby Redundancy Considering a Control System Structure.
Proceedings of the 10th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2019

Model of Functional Behavior of Healthcare Internet of Things Device Using Erlang Phase Method.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

Discrete-Continuous Stochastic Model of Insulin Pump Functioning for Health IoT System Using Erlang Phase Method.
Proceedings of the 15th International Conference on ICT in Education, 2019

Application of the Booking.com Analytics Software Tools in Reliable Processing of Big Data in Hotels Management.
Proceedings of the 15th International Conference on ICT in Education, 2019

Multi-fragmental Markov's Models for Safety Assessment of NPP I&C System Considering Migration of Hidden Failures.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2019

Multi-Fragmental Markov Models of Information and Control Systems Safety Considering Elimination of Hardware-Software Faults.
Proceedings of the 15th International Conference on ICT in Education, 2019

Model of Functional Behavior of Healthcare Internet of Things Device.
Proceedings of the 10th International Conference on Dependable Systems, 2019

Assurance Case Based Licensing for Nuclear Power Plant Post-Accident Monitoring System Based on Unmanned Aircraft Vehicles.
Proceedings of the 10th International Conference on Dependable Systems, 2019

Structure Function Based Methods in Evaluation of Availability of Healthcare system.
Proceedings of the 10th International Conference on Dependable Systems, 2019

Reliability Assessment of Heterogeneous Drone Fleet With Sliding Redundancy.
Proceedings of the 10th International Conference on Dependable Systems, 2019

IoT Server Availability Considering DDoS-attacks: Analysis of Prevention Methods and Markov Model.
Proceedings of the 10th International Conference on Dependable Systems, 2019

Integrated Cyber Safety & Security Management System: Industry 4.0 Issue.
Proceedings of the 10th International Conference on Dependable Systems, 2019

Development of Models in Resilient Computing.
Proceedings of the 10th International Conference on Dependable Systems, 2019

Modelling and Safety Assessment of Programmable Platform Based Information and Control Systems Considering Hidden Physical and Design Faults.
Proceedings of the Engineering in Dependability of Computer Systems and Networks, 2019

Interactive Abstract Painting by Augmented Reality: Scenarios and Architecture Solutions.
Proceedings of the 1st International Workshop on Digital Content & Smart Multimedia (DCSMart 2019), 2019

Classification of Diversity for Dependable and Safe Computing.
Proceedings of the 3rd International Conference on Computational Linguistics and Intelligent Systems (COLINS-2019). Volume I: Main Conference, 2019

2018
Flexible Fractal Network as a Foundation for Enhanced Wellness.
Proceedings of the 2018 IEEE 4th International Symposium on Wireless Systems within the International Conferences on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS), 2018

Risk Assessment of Critical Energy Infrastructure Considering Physical and Cyber Assets: Methodology and Models.
Proceedings of the 2018 IEEE 4th International Symposium on Wireless Systems within the International Conferences on Intelligent Data Acquisition and Advanced Computing Systems (IDAACS-SWS), 2018

Comparative Reliability Analysis of Reactor Trip System Architectures: Industrial Case.
Proceedings of the 14th International Conference on ICT in Education, 2018

Analysis of the Possibilities of Unauthorized Access in Content Management Systems Using Attack Trees.
Proceedings of the PhD Symposium at 14th International Conference on ICT in Education, 2018

Availability Models of the Healthcare Internet of Things System Taking into Account Countermeasures Selection.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2018

A Markov Model of Healthcare Internet of Things System Considering Failures of Components.
Proceedings of the 14th International Conference on ICT in Education, 2018

RAMS Issues in Hotels Management.
Proceedings of the 14th International Conference on ICT in Education, 2018

Model of Information and Control Systems in Smart Buildings with Separate Maintenance by Reliability and Security.
Proceedings of the 14th International Conference on ICT in Education, 2018

Patching the Firewall Software to Improve the Availability and Security: Markov Models for Internet of Things Based Smart Business Center.
Proceedings of the 14th International Conference on ICT in Education, 2018

Availability as a Cloud Service for Control System of Critical Energy Infrastructure.
Proceedings of the 14th International Conference on ICT in Education, 2018

Monte-Carlo Simulation and Availability Assessment of the Smart Building Automation Systems Considering Component Failures and Attacks on Vulnerabilities.
Proceedings of the Contemporary Complex Systems and Their Dependability, 2018

Usability, Security and Safety Interaction: Profile and Metrics Based Analysis.
Proceedings of the Contemporary Complex Systems and Their Dependability, 2018

Search of Similar Programs Using Code Metrics and Big Data-Based Assessment of Software Reliability.
Proceedings of the Applications of Big Data Analytics, Trends, Issues, and Challenges., 2018

2017
IoT-based physical security systems: Structures and PSMECA analysis.
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Modelling of healthcare IoT using the queueing theory.
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Challenges in assurance case application for industrial IoT.
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Software reliability models and assessment techniques review: Classification issues.
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Emerging curriculum for industry and human applications in Internet of Things.
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Reliability issues for a multi-version post-severe NPP accident monitoring system.
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Hardware diversity and modified NUREG/CR-7007 based assessment of NPP I&C safety.
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017

Availability Model of Critical Nuclear Power Plant Instrumentation and Control System with Non-Exponential Software Update Distribution.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2017

Availability Model of Critical NPP I&C Systems with K-phase Erlang Distribution of Software Update.
Proceedings of the 13th International Conference on ICT in Education, 2017

Multi-Fragment Markov Model Guided Online Test Generation for MPSoC.
Proceedings of the 13th International Conference on ICT in Education, 2017

Assurance Case Driven Design based on the Harmonized Framework of Safety and Security Requirements.
Proceedings of the 13th International Conference on ICT in Education, 2017

A Markov Model of IoT System Availability Considering DDoS Attacks and Energy Modes of Server and Router.
Proceedings of the 13th International Conference on ICT in Education, 2017

Technology Oriented Assessment of Software Reliability: Big Data Based Search of Similar Programs.
Proceedings of the 13th International Conference on ICT in Education, 2017

Semi-Markov Availability Model for Infrastructure as a Service Cloud Considering Hidden Failures of Physical Machines.
Proceedings of the 13th International Conference on ICT in Education, 2017

Usable Security Versus Secure Usability: an Assessment of Attributes Interaction.
Proceedings of the 13th International Conference on ICT in Education, 2017

Reliability, Fault Tolerance and Other Critical Components for Survivability in Information Warfare.
Proceedings of the E-Business and Telecommunications - 14th International Joint Conference, 2017

Fuzzy decision support systems in marine practice.
Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

Availability Models and Maintenance Strategies for Smart Building Automation Systems Considering Attacks on Component Vulnerabilities.
Proceedings of the Advances in Dependability Engineering of Complex Systems, 2017

Critical Energy Infrastructure Safety Assurance Strategies Considering Emergent Interaction Risk.
Proceedings of the Advances in Dependability Engineering of Complex Systems, 2017

2016
Complexity-based Prediction of Faults Number for Software Modules Ranking Before Testing: Technique and Case Study.
Proceedings of the 12th International Conference on ICT in Education, 2016

Analysis of Methods for Providing Availability and Accessibility of Cloud Services.
Proceedings of the 12th International Conference on ICT in Education, 2016

Mobile Post-Emergency Monitoring System for Nuclear Power Plants.
Proceedings of the 12th International Conference on ICT in Education, 2016

Semi-Markov Availability Models for an Infrastructure as a Service Cloud with Multiple Pools.
Proceedings of the 12th International Conference on ICT in Education, 2016

Approaches to selection of combinatorial algorithm for optimization in network traffic control of safety-critical systems.
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

The processing of the diagnostic data in a medical information-analytical system using a network of neuro modules with relearning.
Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases.
Proceedings of the Dependability Engineering and Complex Systems, 2016

2015
Profiling of Software Requirements for the Pharmaceutical Enterprise Manufacturing Execution System.
Proceedings of the Applications of Computational Intelligence in Biomedical Technology, 2015

Service and Business Models with Implementation Analysis of Distributed Cloud Solution.
Proceedings of the 11th International Conference on ICT in Education, 2015

Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy.
Proceedings of the 11th International Conference on ICT in Education, 2015

Scenario-Based Markovian Modeling of Web-System Availability Considering Attacks on Vulnerabilities.
Proceedings of the 11th International Conference on ICT in Education, 2015

Software Quality Standards and Models Evolution: Greenness and Reliability Issues.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015

Evolution of Software Quality Models: Green and Reliability Issues.
Proceedings of the 11th International Conference on ICT in Education, 2015

Secure environment establishment for FPGA-based safety-critical systems.
Proceedings of the 2015 IEEE East-West Design & Test Symposium, 2015

Secure Hybrid Clouds: Analysis of Configurations Energy Efficiency.
Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

Towards an Ontology-Based Approach to Safety Management in Cooperative Intelligent Transportation Systems.
Proceedings of the Theory and Engineering of Complex Systems and Dependability - Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29, 2015

The Impact of Consistency on System Latency in Fault Tolerant Internet Computing.
Proceedings of the Distributed Applications and Interoperable Systems, 2015

2014
Availability Assessment of Information and Control Systems with Online Software Update and Verification.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2014

Dependable embedded systems: FP7 KhAI-ERA project experience.
Proceedings of the 10th European Workshop on Microelectronics Education (EWME), 2014

FPGA-based critical computing: TEMPUS and FP7 projects issues.
Proceedings of the 10th European Workshop on Microelectronics Education (EWME), 2014

The concept of green Cloud infrastructure based on distributed computing and hardware accelerator within FPGA as a Service.
Proceedings of the 2014 East-West Design & Test Symposium, 2014

The cooperative human-machine interfaces for cloud-based advanced driver assistance systems: Dynamic analysis and assurance of vehicle safety.
Proceedings of the 2014 East-West Design & Test Symposium, 2014

Profiling of MES software requirements for the pharmaceutical enterprise.
Proceedings of the 2014 East-West Design & Test Symposium, 2014

Web Systems Availability Assessment Considering Attacks on Service Configuration Vulnerabilities.
Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014

Evolution of Software Quality Models in Context of the Standard ISO 25010.
Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014

2013
Natural development of the resources in design and testing of the computer systems and their components.
Proceedings of the IEEE 7th International Conference on Intelligent Data Acquisition and Advanced Computing Systems, 2013

Availability Assessment of Computer Systems Described by Stiff Markov Chains: Case Study.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

Selecting Mathematical Software for Dependability Assessment of Computer Systems Described by Stiff Markov Chains.
Proceedings of the 9th International Conference on ICT in Education, 2013

Cloud Testing for Mobile Software Systems - Concept and Prototyping.
Proceedings of the ICSOFT 2013, 2013

Self-adaptive mobile wireless hotspot zones: Initial issues.
Proceedings of the East-West Design & Test Symposium, 2013

Cyber security lifecycle and assessment technique for FPGA-based I&C systems.
Proceedings of the East-West Design & Test Symposium, 2013

Fault-injection testing: FIT-ability, optimal procedure and tool for FPGA-based systems SIL certification.
Proceedings of the East-West Design & Test Symposium, 2013

Invariant-oriented verification of HDL-based safety critical systems.
Proceedings of the East-West Design & Test Symposium, 2013

Evolution of von Neumann's paradigm: Dependable and green computing.
Proceedings of the East-West Design & Test Symposium, 2013

Diversity assessment of multi-version NPP I&C Systems: NUREG7007 and CLB-BASED techniques.
Proceedings of the East-West Design & Test Symposium, 2013

The use of natural resources for increasing a checkability of the digital components in safety-critical systems.
Proceedings of the East-West Design & Test Symposium, 2013

BBN-based approach for assessment of Smart Grid and nuclear power plant interaction.
Proceedings of the East-West Design & Test Symposium, 2013

Critical Infrastructures Safety Assessment Combining Fuzzy Models and Bayesian Belief Network under Uncertainties.
Proceedings of the New Results in Dependability and Computer Systems, 2013

2012
Dependability of Service-Oriented Computing: Time-Probabilistic Failure Modelling.
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012

Exploring Uncertainty of Delays as a Factor in End-to-End Cloud Response Time.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

2011
Analysis of Computer Network Reliability and Criticality: Technique and Features.
Int. J. Commun. Netw. Syst. Sci., 2011

Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions.
Proceedings of the Software Engineering for Resilient Systems, 2011

The smart grid's safety: Dynamical hierarchical criticality matrices-based analysis.
Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011

Design fault injection-based technique and tool for FPGA projects verification.
Proceedings of the 9th East-West Design & Test Symposium, 2011

Checkability of the digital components in safety-critical systems: Problems and solutions.
Proceedings of the 9th East-West Design & Test Symposium, 2011

2010
Scalable diversity-oriented decisions and technologies for dependable SoPC-based safety-critical computer systems and infrastructures.
Int. J. Crit. Comput. Based Syst., 2010

Real Distribution of Response Time Instability in Service-Oriented Architecture.
Proceedings of the 29th IEEE Symposium on Reliable Distributed Systems (SRDS 2010), New Delhi, Punjab, India, October 31, 2010

Parameterized IP Infrastructures for fault-tolerant FPGA-based systems: Development, assessment, case-study.
Proceedings of the 2010 East-West Design & Test Symposium, 2010

Component-based safety-oriented on-line testing of digital systems.
Proceedings of the 2010 East-West Design & Test Symposium, 2010

Verification of FPGA electronic designs for nuclear reactor trip systems: test- and invariant-based methods.
Proceedings of the 2010 East-West Design & Test Symposium, 2010

2009
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability.
Proceedings of the Methods, 2009

Benchmarking Dependability of a System Biology Application.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

Dependability of Safety-Critical Computer Systems through Component-Based Evolution.
Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009

Extended Dependability Analysis of Information and Control Systems by FME(C)A-technique: Models, Procedures, Application.
Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009

2008
Experimenting with exception propagation mechanisms in service-oriented architecture.
Proceedings of the 4th International Workshop on Exception Handling, 2008

The threat of uncertainty in service-oriented architecture.
Proceedings of the SERENE 2008, 2008

MASTAC: new curriculum for master and doctoral studies in critical software and computing.
Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 2008

Case-based software reliability assessmentby fault injection unified procedures.
Proceedings of the 2008 International Workshop on Software Engineering in East and South Europe, 2008

Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation.
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

Scalable Diversity-Oriented Decisions and Technologies for Dependable SoPC-Based Safety-Critical Computer Systems and Infrastructures.
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

Applying F(I)MEA-technique for SCADA-Based Industrial Control Systems Dependability Assessment and Ensuring.
Proceedings of the Third International Conference on Dependability of Computer Systems, 2008

How to Enhance UDDI with Dependability Capabilities.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
On composing Dependable Web Services using undependable web components.
Int. J. Simul. Process. Model., 2007

Fault-tolerant digital systems implemented with partially definite and partially correct automata.
Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, 2007

Exception Analysis in Service-Oriented Architecture.
Proceedings of the Information Systems Technology and its Applications, 2007

Multi-version Information Technologies and Development of Dependable Systems out of Undependable Components.
Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006
F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring.
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

2004
Dependable Composite Web Services with Components Upgraded Online.
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004

2002
The Method of Software Reliability Growth Models Choice Using Assumptions Matrix.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002


  Loading...