Volume 1. Session 2 Information Technology
Model Reduction Algorithm for Fast Neutrality Tests and Fault Localization of Simulink Models | |
Nafisa Islamovna Yusupova, X. Hu, A. Morozov, K. Ding, K. Janschek |
Improved Stochastic Control Flow Model for LLVM-based Software Reliability Analysis | |
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 | |
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 | |
Ylber Januzaj, Artan Luma, Azir Aliu, Besnik Selimi, Bujar Raufi, Halil Snopce, Vehbi Ramaj |
This work is licensed under a Creative Commons Attribution 3.0 License.