Proceedings of ISP RAS

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

Download full volume

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

Back to the list of all volumes