Workshop Day - International Conference on ICT in Education

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