Vladimir V. Sklyar

Orcid: 0000-0001-5425-4098

According to our database1, Vladimir V. Sklyar authored at least 26 papers between 2002 and 2023.

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

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

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

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

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

Structured Argumentation for Assurance Case of Monitoring System based on UAVs.
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

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

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

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

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

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

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

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

2016
Safety-critical Certification of FPGA-based Platform against Requirements of U.S. Nuclear Regulatory Commission (NRC): Industrial Case Study.
Proceedings of the 12th International Conference on ICT in Education, 2016

Classification and Research of the Reactor Protection Instrumentation and Control System Functional Safety markov models in a Normal Operation Mode.
Proceedings of the 12th International Conference on ICT in Education, 2016

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

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
Invariant-oriented verification of HDL-based safety critical systems.
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

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
Dependability of Safety-Critical Computer Systems through Component-Based Evolution.
Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009

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

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

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

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...