Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27 - July 1, 2011, Revised Selected Papers

This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections on foundations of program and system development and analysis, partial evaluation, mixed computation, abstract interpretation, compiler construction, computer models and algorithms for bioinformatics, programming methodology and software engineering, information technologies, knowledge-based systems, and knowledge engineering. Front Matter....Pages - Petri Net Distributability....Pages 1-18 Connector Algebras, Petri Nets, and BIP....Pages 19-38 Models of Provenance....Pages 39-39 End-to-End Guarantees in Embedded Control Systems....Pages 40-40 Mining Precise Specifications....Pages 41-41 Detecting Entry Points in Java Libraries....Pages 42-54 Static Analysis of Run-Time Modes in Synchronous Process Network....Pages 55-67 Compositional Methods in Characterization of Timed Event Structures....Pages 68-76 Algorithmic Debugging of SQL Views....Pages 77-85 Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction....Pages 86-94 An Extensible System for Enhancing Social Conference Experience....Pages 95-110 Exponential Acceleration of Model Checking for Perfect Recall Systems....Pages 111-124 Bootstrapping Compiler Generators from Partial Evaluators....Pages 125-141 A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences....Pages 142-152 Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation....Pages 153-169 Secure Multi-execution in Haskell....Pages 170-178 Towards an Open Framework for C Verification Tools Benchmarking....Pages 179-192 Solving Coverability Problem for Monotonic Counter Systems by Supercompilation....Pages 193-209 Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions....Pages 210-226 Symbolic Loop Bound Computation for WCET Analysis....Pages 227-242 GoRRiLA and Hard Reality....Pages 243-250 Reachability in One-Dimensional Controlled Polynomial Dynamical Systems....Pages 251-261 Insertion Modeling System....Pages 262-273 Decidability of Modular Logics for Concurrency....Pages 274-288 Partial Evaluation of Janus Part 2: Assertions and Procedures....Pages 289-301 Scalable Parallel Interval Propagation for Sparse Constraint Satisfaction Problems....Pages 302-312 A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems....Pages 313-321 Weighted Lumpability on Markov Chains....Pages 322-339 Development of the Computer Language Classification Knowledge Portal....Pages 340-348 Justified Terminological Reasoning....Pages 349-361 Implementing Conflict Resolution....Pages 362-376 Symbolic Tree Transducers....Pages 377-393 Probabilistic Concepts in Formal Contexts....Pages 394-410 Back Matter....Pages -