Computer Science and Information Technologies

The Workshops are held with the assistance of:

• Home
• About
• Log In
• Account
• Announcements
• Track Policies
• Author Guidelines
• Reviewer Guidelines
• Publications and Indexing
• Presentations and Authors
• Search
• Conference Gallery
• Conference History
• Program
• Organizing Team
• Publication Ethics
• Fees and Payments
• Archive
• CSIT Authors Geography

Home > Computer Science and Information Technologies > Computer Science and Information Technologies 2018 > Presentations and Authors

Title Author contains is
Last name A B C D E F G H I J K L M N O P Q R S T U V W X Y Z All
Track: All Tracks Volume 1. Cover Page and Contents Proceeding Volume 1. Session 1 Information Systems Volume 1. Session 2 Information Technology Volume 1. Session 3 Artificial Intelligence Tools Volume 1. Session 4 IT Applications Volume 1. Session 5 Robotics Volume 1. Session 6 Digital Transformation

 

Volume 1. Session 2 Information Technology

Model Reduction Algorithm for Fast Neutrality Tests and Fault Localization of Simulink Models	PDF
Nafisa Islamovna Yusupova, X. Hu, A. Morozov, K. Ding, K. Janschek

Improved Stochastic Control Flow Model for LLVM-based Software Reliability Analysis	PDF
Nafisa Islamovna Yusupova, V. Vidineev, K. Ding, A. Morozov, K. Janschek

Volume 1. Session 3 Artificial Intelligence Tools

Deep Learning Based Person Biometric Identification	PDF
M. R. Bogdanov, I. N. Dumchikova, I. S. Dokuchaev, А. Dumchikov

The Efficiency Comparison of the PRISM and Storm Probabilistic Model Checkers for Error Propagation Analysis Tasks	PDF
Nafisa Islamovna Yusupova, T. Fabarisov, K. Ding, A. Morozov, K. Janschek

This work is licensed under a Creative Commons Attribution 3.0 License.