Skip to main content
SpringerLink
Log in

Perspectives of System Informatics

11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Alexander K. Petrenko

    1. Ivannikov Institute for System Programming of RAS, Moscow, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andrei Voronkov

    1. The University of Manchester, Manchester, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10742)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: PSI 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (31 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. An Architecture for Non-invasive Software Measurement

    • Vasilii Artemev, Vladimir Ivanov, Manuel Mazzara, Alan Rogers, Alberto Sillitti, Giancarlo Succi et al.
    Pages 1-11

  3. A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications

    • Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
    Pages 12-27

  4. Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code

    • Andrey Belevantsev, Arutyun Avetisyan
    Pages 28-42

  5. Pipelined Bottom-Up Evaluation of Datalog Programs: The Push Method

    • Stefan Brass, Heike Stephan
    Pages 43-58

  6. A Platform for Security Monitoring of Multi-cloud Applications

    • Pamela Carvallo, Ana R. Cavalli, Wissam Mallouli
    Pages 59-71

  7. The Hybrid Multidimensional-Ontological Data Model Based on Metagraph Approach

    • Valeriy M. Chernenkiy, Yuriy E. Gapanyuk, Anatoly N. Nardid, Anton V. Gushcha, Yuriy S. Fedorenko
    Pages 72-87

  8. PosDB: A Distributed Column-Store Engine

    • George Chernishev, Viacheslav Galaktionov, Valentin Grigorev, Evgeniy Klyuchikov, Kirill Smirnov
    Pages 88-94

  9. Microservices: How To Make Your Application Scale

    • Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina
    Pages 95-104

  10. Static Binary Code Instrumentation for ARM Architecture

    • Mikhail Ermakov
    Pages 105-116

  11. A Behavioural Theory for Reflective Sequential Algorithms

    • Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec
    Pages 117-131

  12. Lightweight Non-intrusive Virtual Machine Introspection

    • Natalia Fursova, Pavel Dovgalyuk, Ivan Vasiliev, Vladimir Makarov
    Pages 132-146

  13. A Distributed Approach to Coreference Resolution in Multiagent Text Analysis for Ontology Population

    • Natalia Garanina, Elena Sidorova, Irina Kononenko
    Pages 147-162

  14. A Framework for Dynamical Construction of Software Components

    • Efim Grinkrug
    Pages 163-178

  15. A Transformation-Based Approach to Developing High-Performance GPU Programs

    • Bastian Hagedorn, Michel Steuwer, Sergei Gorlatch
    Pages 179-195

  16. Domain Engineering the Magnolia Way

    • Magne Haveraaen
    Pages 196-210

  17. Approximating Event System Abstractions by Covering Their States and Transitions

    • Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
    Pages 211-226

  18. Implementing the Symbolic Method of Verification in the C-Light Project

    • Dmitry Kondratyev
    Pages 227-240

  19. Highlights of the Rice-Shapiro Theorem in Computable Topology

    • Margarita Korovina, Oleg Kudinov
    Pages 241-255

  20. A Memory Model for Deductively Verifying Linux Kernel Modules

    • Mikhail Mandrykin, Alexey Khoroshilov
    Pages 256-275
Back to top

Other volumes

  1. Perspectives of System Informatics

Keywords

About this book

This book constitutes the refereed proceedings of the 11th International Andrei P. Ershov Informatics Conference, PSI 2017, held in Moscow, Russia, in June 2017.

 

The 31 full papers presented in this volume were carefully reviewed and selected from 57 submissions. The papers cover various topics related to the foundations of program and system development and analysis, programming methodology and software engineering and information technologies.

Editors and Affiliations

  • Ivannikov Institute for System Programming of RAS, Moscow, Russia

    Alexander K. Petrenko

  • The University of Manchester, Manchester, United Kingdom

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation