Vyacheslav S. Kharchenko
Orcid: 0000-0001-5352-077XAffiliations:
- National Aerospace University, Kharkiv, Ukraine
According to our database1,
Vyacheslav S. Kharchenko
authored at least 201 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Sensors, September, 2024
Methods and Software Tools for Reliable Operation of Flying LiFi Networks in Destruction Conditions.
Sensors, September, 2024
Hardware-Based Implementation of Algorithms for Data Replacement in Cache Memory of Processor Cores.
Comput., July, 2024
Candlestick Pattern Recognition in Cryptocurrency Price Time-Series Data Using Rule-Based Data Analysis Methods.
Comput., July, 2024
A Unified Approach to the Development of Technology-Based Software Quality Models on the Example of Blockchain Systems.
IEEE Access, 2024
Trustworthy AI Systems from Untrustworthy Components: Development von Neumann's Paradigm using Principle of Diversity.
Proceedings of the 4th International Workshop of IT-professionals on Artificial Intelligence (ProfIT AI 2024) 2024, 2024
Analysis of AI powered attacks and protection of UAV assets: quality model-based assessing cybersecurity of mobile system for demining.
Proceedings of the 5th International Workshop on Intelligent Information Technologies & Systems of Information Security with CEUR-WS, 2024
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
Int. J. Comput., 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
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
Editorial "Green Computing, Monitoring and Assessing of Smart IoT Systems and Components".
Int. J. Comput., 2022
Wireless Sensor Network based Forest Fire Early Detection Systems: Development and Implementation.
Int. J. Comput., 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
Proceedings of the 12th International Conference on Dependable Systems, 2022
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
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
Architecture and Model of Neural Network Based Service for Choice of the Penetration Testing Tools.
Int. J. Comput., 2021
Comput., 2021
Agile Architectural Model for Development of Time-Series Forecasting as a Service Applications.
Proceedings of the Lecture Notes in Computational Intelligence and Decision Making, 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
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
Int. J. Comput., 2020
Int. J. Comput., 2020
Profile-Oriented Assessment of Software Requirements Quality: Models, Metrics, Case Study.
Int. J. Comput., 2020
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
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
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
Proceedings of the 11th IEEE International Conference on Dependable Systems, 2020
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
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
Proceedings of the 10th International Conference on Dependable Systems, 2019
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
Proceedings of the 10th International Conference on Dependable Systems, 2019
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
Proceedings of the 3rd International Conference on Computational Linguistics and Intelligent Systems (COLINS-2019). Volume I: Main Conference, 2019
2018
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
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
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
Int. J. Comput., 2017
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017
Proceedings of the 9th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2017
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
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
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
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
Proceedings of the 12th International Conference on ICT in Education, 2016
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
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2015
Proceedings of the 11th International Conference on ICT in Education, 2015
Proceedings of the 2015 IEEE East-West Design & Test Symposium, 2015
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
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
Proceedings of the 10th European Workshop on Microelectronics Education (EWME), 2014
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
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
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
Proceedings of the ICSOFT 2013, 2013
Proceedings of the East-West Design & Test Symposium, 2013
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
Proceedings of the East-West Design & Test Symposium, 2013
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
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
Proceedings of the Software Engineering for Resilient Systems - 4th International Workshop, 2012
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012
2011
Int. J. Commun. Netw. Syst. Sci., 2011
Proceedings of the Software Engineering for Resilient Systems, 2011
Proceedings of the 2nd IEEE PES International Conference and Exhibition on "Innovative Smart Grid Technologies", 2011
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
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
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
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009
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
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
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
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2007
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
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
Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006
2004
Proceedings of the Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops], 2004
2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002