Perspectives of Systems Informatics

1. Front Matter

   PDF

2. Petri Net Distributability

   • Eike Best, Philippe Darondeau

   Pages 1-18

3. Connector Algebras, Petri Nets, and BIP

   • Roberto Bruni, Hernán Melgratti, Ugo Montanari

   Pages 19-38

4. Models of Provenance

   • Peter Buneman

   Pages 39-39

5. End-to-End Guarantees in Embedded Control Systems

   • Rupak Majumdar

   Pages 40-40

6. Mining Precise Specifications

   • Andreas Zeller

   Pages 41-41

7. Detecting Entry Points in Java Libraries

   • Thomas Baar, Philipp Kumar

   Pages 42-54

8. Static Analysis of Run-Time Modes in Synchronous Process Network

   • Michael Beyer, Sabine Glesner

   Pages 55-67

9. Compositional Methods in Characterization of Timed Event Structures

   • Elena Bozhenkova

   Pages 68-76

10. Algorithmic Debugging of SQL Views

    • Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez

    Pages 77-85

11. Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction

    • Roman Dubtsov

    Pages 86-94

12. An Extensible System for Enhancing Social Conference Experience

    • Michael A. H. Fried, Anna Fensel, Federico Michele Facca, Dieter Fensel

    Pages 95-110

13. Exponential Acceleration of Model Checking for Perfect Recall Systems

    • Natalia O. Garanina

    Pages 111-124

14. Bootstrapping Compiler Generators from Partial Evaluators

    • Robert Glück

    Pages 125-141

15. A Logic Characteristic for Timed Extensions of Partial Order Based Equivalences

    • Natalya S. Gribovskaya

    Pages 142-152

16. Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation

    • Geoff W. Hamilton, Neil D. Jones

    Pages 153-169

17. Secure Multi-execution in Haskell

    • Mauro Jaskelioff, Alejandro Russo

    Pages 170-178

18. Towards an Open Framework for C Verification Tools Benchmarking

    • Alexey Khoroshilov, Vadim Mutilin, Eugene Novikov, Pavel Shved, Alexander Strakh

    Pages 179-192

19. Solving Coverability Problem for Monotonic Counter Systems by Supercompilation

    • Andrei V. Klimov

    Pages 193-209

20. Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions

    • Ilya Klyuchnikov, Sergei A. Romanenko

    Pages 210-226

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.

• aspect-oriented programming
• domain specific verification
• social networking activities
• supercompilation
• synchronous process networks
• algorithm analysis and problem complexity

• Computer Science Department, Carnegie Mellon University, Pittsburgh, USA

  Edmund Clarke

• A.P. Ershov Institute of Informatics Systems Siberian Branch of the Russian Academy of Sciences, 630090, Russia

  Irina Virbitskaite

• The University of Manchester, Manchester, UK

  Andrei Voronkov

Policies and ethics