Perspectives of System Informatics, 1st ed. 2018 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers Theoretical Computer Science and General Issues Series

An Architecture for Non-invasive Software Measurement.- A Human-in-the-loop Perspective for Safety Assessment in Robotic Applications.- Multi-level Static Analysis for Finding Error Patterns and Defects in Source Code.- Pipelined Bottom-up Evaluation of Datalog Programs: The Push Method.- Multi-cloud Applications Security Monitoring.- The Hybrid Multidimensional-ontological Data Model Based on Metagraph Approach.- PosDB: A Distributed Column-store Engine.- Microservices: How To Make Your Application Scale.- Static Binary Code Instrumentation for ARM Architecture.- A Behavioural Theory for Reactive Sequential Algorithms.- Lightweight Non-Intrusive Virtual Machine Introspection.- Distributed Approach to Coreference Resolution in Multi-agent Text Analysis for Ontology Population.- A Framework for Dynamical Construction of Software Components.- A Transformation-Based Approach for Developing High-Performance GPU Programs.- Domain Engineering the Magnolia Way.- Approximating Event System Abstractions by Covering Their States and Transitions.- Implementing the Symbolic Method of Verification in the C-light Project.- Highlights of the Rice-Shapiro Theorem in Computable Topology.- A Memory Model for Deductively Verifying Linux Kernel Modules.- Indexing of Hierachically Organized Spatial-temporal Data Using Dynamic Regular Octrees.- An Approach to the Validation of XML Documents Based on the Model Driven Architecture and the Object Constraint Language.- Compositional Relational Programming with Nominal Projection and Compositional Synthesis.- WhaleProver: First-order Intuitionistic Theorem Prover Based on the Inverse Method.- Distributed In Situ Processing of Big Raster Data in the Cloud.- Statistical Approach to Increase Source Code Completion Accuracy.- Using the Subject Area Ontology for Automating Learning Processes and Scientific Investigation.- Runtime Specialization of PostgreSQL Query Executor.- MicroTESK: A Tool for Constrained-Random Test Program Generation for Microprocessors.- Enriching aA Textual Xtext-DSL with A Graphical GEF-based Editor.- Towards Automated Static Verification of GNU C Programs.- Domain Specific Semantic Validation of Schema.org Annotations.