Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2018

Perspectives of System Informatics

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

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)

Conference series link(s): PSI: International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Conference proceedings info: PSI 2017.

Sections

Buy it now

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

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

Table of contents (31 papers)

  1. Front Matter

    Pages I-XI
    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

  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

  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

  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

  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

Back to top

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.

Back to top

Keywords

Back to top

Editors and Affiliations

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

    Alexander K. Petrenko

  • The University of Manchester, Manchester, United Kingdom

    Andrei Voronkov

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation