ICTERI 2015: 11th International Conference on ICT in Education, Research, and Industrial Applications May 14 - 16, 2015, Lviv, Ukraine CONFERENCE PROGRAM Thursday, the 14-th of May - Workshop Day 8:30 9:00 9:00 9:15 9:20 9:45 10:10 10:35 11:00 11:30 9:00 Registration 11:00 TheRMIT - SESSION 1. Opening. SW and SW-Based Systems Reliability Room: 204, Main building Chairs: Vyacheslav Kharchenko, Mario Fusani 9:15 WS TheRMIT Welcome. Theory of Reliability and Modern IT: Challenges 9:20 Dmitry Maevsky. Memory of Igor Ushakov 9:45 Vitaliy Yakovyna, Oksana Nytrebych. Discrete and Continuous Time High-Order Markov Models for Software Reliability Assessment 10:10 Oleksandr Gordieiev, Vyacheslav Kharchenko, Mario Fusani. Evolution of Software Quality Models: Green and Reliability Issues 10:35 Olga Yanovskaya, Vyacheslav Kharchenko, Max Yanovsky, Maria Anna Devetzoglou. Service and Business Models with Implementation Analysis of Distributed Cloud Solution 11:00 Bogdan Volochiy, Oleksandr Mulyak, Vyacheslav Kharchenko. Automated Development of Markovian Chains for Fault-Tolerant Computer-Based Systems with Version-Structure Redundancy full full full full 10:30 COFFEE BREAK 11:30 13:30 TheRMIT - SESSION 2. Hardware and FPGA-Based Systems Reliability and Safety Room: 204, Main building Chairs: Bogdan Volochiy, Alex Drozd 11:55 Alex Drozd, Miroslav Drozd, Viktor Antonyuk. Features of Hidden full Fault Detection in Pipeline Digital Components of Safety-Related Systems 11:30 11:55 12:20 Kostiantyn Zashcholkin, Olena Ivanova. The Control Technology of 12:00 12:20 Integrity and Legitimacy of LUT-Oriented Information Object Usage by Self-Recovering Digital Watermark 12:45 Ivan Malynyak. Functional Diversity Design of Safety-Related Systems 11:30 full full 13:10 Igor Atamanyuk, Yuriy Kondratenko. Computer’s Analysis Method and full 13:10 Reliability Assessment of Fault-Tolerance Operation of Technical Systems 13:30 Julia Drozd, Alex Drozd, Svetlana Antoshchuk, Valery Nikul, Alex Kushnerov. FPGA-Based Design of Arithmetic Components for SafetyRelated Systems: Effectiveness of Matrix and Pipeline Parallelism 14:30 14:30 14:55 15:20 15:45 15:45 16:10 16:10 16:30 16:30 17:00 full 12:30 Hennadiy Kravtsov. Methods and Technologies for the Quality full 12:30 13:00 13:00 Alexander Spivakovsky, Maxim Vinnik, Yulia Tarasich, Valentina Kutetska, Olesya Kuchma, Oksana Panasiuk. Діагностика рівня задоволеності студентів від використання сервісу "KSU FEEDBACK" у Херсонському державному університеті 13:30 Taras P. Kobylnyk. Використання WEB-сервісу WOLFRAM|ALPHA для розв’язування задач з теорії ймовірностей full discuss. short LUNCH TIME 16:30 TheRMIT - SESSION 3. Formal Methods and Models of Dependability 15:20 17:00 Room: 226, Main building Chair: Mariya Shyshkina 12:00 Mariya Shyshkina. The Hybrid Service Model of Electronic Resources Access in the Cloud-Based Learning Environment 14:30 14:55 17:00 11:30 13:30 MRDL - SESSION 1 Monitoring of Electronic Educational Resources 12:45 13:30 Registration 11:00 Room: 204, Main building Chairs: Elena Zaitseva, Yuriy Kondratenko Kyrylo Rukkas, Galyna Zholtkevych. Distributed Datastores: Towards Probabilistic Approach for Estimation of Dependability Elena Zaitseva, Vitaly Levashenko, Jozef Kostolny, Miroslav Kvassay. Direct Partial Logic Derivatives in Analysis of Boundary States of Multi-State System Bohdan Volochiy, Bohdan Mandziy, Leonid Ozirkovskyy. Automation of Building the Safety Models of Complex Technical Systems for Critical Application Vyacheslav Kharchenko, Artem Boyarchuk, Anatoliy Gorbenko, Yurij Ponochovny. Scenario-based Markovian Modeling of Web-System Availability Considering Attacks on Vulnerabilities Dmytro Fedasyuk, Vitaliy Yakovyna, Serhiy Volochiy. The Verification of Structural Automaton Models of Behavior Algorithms of Complex Information Systems 18:30 TheRMIT - SESSION 4. Optimization of Maintenance. Round tables. Closing Room: 204, Main building Chairs: Dmitry Maevsky, Vyacheslav Kharchenko 17:20 Bogdan Volochiy, Leonid Ozirkovskyy, Ihor Kulyk. Optimization of Maintenance Strategy Base Stations of Cellular Communication Network 17:20 17:50 Dmitry Maevsky, Igor A. Ushakov. Software Reliability: Illusion or 17:50 18:20 Reality? 18:20 Vyacheslav Kharchenko. Industry issue 18:30 Closing remarks 14:30 full 14:30 full 15:00 full 15:30 full 16:00 16:30 MRDL - SESSION 2 14:30 Room: 226, Main building Chair: Yuliya Nosenko 15:00 Yuliya Nosenko. Хмарні технології у просторі відкритої освіти 15:30 Ulyana P. Kogut. Експериментальне дослідження методики використання системи MAXIMA як засобу навчання дослідження операцій бакалаврів інформатики 16:00 Maya Popel. Using the SageMathCloud as a Training Tool for the Future Math Teachers Training 16:30 Nadiya Ponomareva. Використання Інтернет-ресурсів професійного спрямування у підготовці майбутніх учителів математики short COFFEE BREAK short short 16:25 SMSV - SESSION 1 Room: 224, Main building Chair: Mykola Nikitchenko short 14:30 full 15:10 discuss. 15:35 discuss. 16:00 15:10 Grygoriy Zholtkevych. Realisation of "Black Boxes" Using full Machines 15:35 Alexander Letichevsky, Oleksandr Letychevskyi and full Vladimir Peschanenko. An Interleaving Reduction for Reachability Checking in Symbolic Modeling 16:00 Nadezhda Baklanova, Wilmer Ricciotti, Jan-Georg Smaus full and Martin Strecker. Abstracting an operational semantics to finite automata 16:25 Michael Lvov, Yulia Tarasich. The Static Analysis of Linear full Loops
© Copyright 2024