Proceedings of the Institute for System Programming. Volume 26, issue 6, 2014, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).
Edited by Academician V.P. Ivannikov
Table of Contents
Nina Yevtushenko, Ana R. Cavalli, Alexander K. Petrenko. Preface. pp. 11-16
Diego Rivera, N. Kushik, C. Fuenzalida, A. Cavalli, N. Yevtushenko. A TEFSM-based Framework for QoE Evaluation of OTT Services. pp. 17-30.
Stéphane Maag Model-Based Testing for MANETs. pp. 31-46.
Svetlana Prokopenko. Locating a faulty component of an EFSM composition. pp. 47-56.
Igor Burdonov, Alexander Kossachev. Building direct and back spanning trees by automata on a graph. pp. 57-62
Igor Burdonov, Alexander Kossachev, Victor Kuliamin. Parallel calculations by automata on direct and back spanning trees of a graph. pp. 63-66
Maria Forostyanova. Test derivation based on tree FSMs and tree automata. pp. 67-76
Alexandre Tvardovskiy. On the minimization of timed Finite State Machines. pp. 77-84
O. Kondratyeva, N. Yevtushenko, A. Cavalli. Solving parallel equations for Finite State Machines with Timeouts. pp. 85-98.
Vin Hoa La, Ana Cavalli. A study of Intrusion-tolerant routing in Wireless Sensor Networks. pp. 99-110
Anton Ermakov. Deriving checking sequences for nondeterministic FSMs. pp. 111-124
Jorge Lopez, Stephane Maag, Gerardo Morales. Scalable Evaluation of Distributed On-line Network Monitoring for Behavioral Feedback in Trust Management. pp. 125-140