Presentations and Authors

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

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

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