Skip to main content
SpringerLink
Log in
Book cover

Perspectives of System Informatics

10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers

  • Conference proceedings
  • © 2016

Overview

Editors:
  1. Manuel Mazzara

    1. Innopolis University, Innopolis, 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 9609)

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

Included in the following conference series:

Conference proceedings info: PSI 2015.

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 (25 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Quantitative Analysis of Collective Adaptive Systems

    • Jane Hillston
    Pages 1-5

  3. What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms

    • Igor Konnov, Helmut Veith, Josef Widder
    Pages 6-21

  4. Applying MDA to Generate Hadoop Based Scientific Computing Applications

    • Darkhan Akhmed-Zaki, Madina Mansurova, Bazargul Matkerim, Ekateryna Dadykina, Bolatzhan Kumalakov
    Pages 22-35

  5. Site-Level Web Template Extraction Based on DOM Analysis

    • Julián Alarte, David Insa, Josep Silva, Salvador Tamarit
    Pages 36-49

  6. Verification Support for a State-Transition-DSL Defined with Xtext

    • Thomas Baar
    Pages 50-60

  7. Towards Using Exact Real Arithmetic for Initial Value Problems

    • Franz Brauße, Margarita Korovina, Norbert Th. Müller
    Pages 61-74

  8. Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data

    • Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
    Pages 75-90

  9. Behavioural Analysis of Sessions Using the Calculus of Structures

    • Gabriel Ciobanu, Ross Horne
    Pages 91-106

  10. Using Refinement in Formal Development of OS Security Model

    • Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov
    Pages 107-115

  11. Conflict Resolution in Multi-agent Systems with Typed Connections for Ontology Population

    • Natalia Garanina, Elena Sidorova, Stepan Anokhin
    Pages 116-129

  12. Maximally-Polyvariant Partial Evaluation in Polynomial Time

    • Robert Glück
    Pages 130-148

  13. Dynamics Security Policies and Process Opacity for Timed Process Algebras

    • Damas P. Gruska
    Pages 149-157

  14. Estimating Development Effort for Software Architectural Tactics

    • Mohamad Kassab, Giuseppe Destefanis
    Pages 158-169

  15. Clone Detection in Reuse of Software Technical Documentation

    • Dmitrij Koznov, Dmitry Luciv, Hamid Abdul Basit, Ouh Eng Lieh, Mikhail Smirnov
    Pages 170-185

  16. Modeling Actor Systems Using Dynamic I/O Automata

    • Ilham W. Kurnia, Arnd Poetzsch-Heffter
    Pages 186-202

  17. RSSA: A Reversible SSA Form

    • Torben Ægidius Mogensen
    Pages 203-217

  18. Checking Several Requirements at once by CEGAR

    • Vitaly Mordan, Vadim Mutilin
    Pages 218-232

  19. Unifying Requirements and Code: An Example

    • Alexandr Naumchev, Bertrand Meyer, Victor Rivera
    Pages 233-244

  20. Program Schemata Technique to Solve Propositional Program Logics Revised

    • Nikolay Shilov
    Pages 245-259
Back to top

Other volumes

  1. Perspectives of System Informatics

Keywords

About this book

This book constitutes the refereed proceedings of the 10th International Andrei Ershov Informatics Conference, PSI 2015, held in Kazan and Innopolis, Russia, in August 2015.
The 2 invited and 23 full papers presented in this volume were carefully reviewed and selected from 56 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

  • Innopolis University, Innopolis, Russia

    Manuel Mazzara

  • The University of Manchester, Manchester, United Kingdom

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation