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

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

Volume 1. Session 4 IT Applications

Using Data Mining Techniques to Create an Automated Model That Makes Comparisons Between Market Demands and University Curricula PDF
Ylber Januzaj, Artan Luma, Azir Aliu, Besnik Selimi, Bujar Raufi, Halil Snopce, Vehbi Ramaj

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