Skip to main content
SpringerLink
Log in
Book cover

Perspectives of Systems Informatics

7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers

  • Conference proceedings
  • © 2010

Overview

Editors:
  1. Amir Pnueli

    1. (1941-2009), The Weizmann Institute of Science, Rehovot, Israel New York University, NY, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Irina Virbitskaite

    1. Siberian Division of the Russian Academy of Sciences, A.P. Ershov Institute of Informatics Systems, Novosibirsk, Russia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Andrei Voronkov

    1. Department of Computer Science, University of Manchester, Manchester, UK

    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 5947)

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

Included in the following conference series:

Conference proceedings info: PSI 2009.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Games, Interaction and Computation

      • Samson Abramsky
      Pages 1-1

    2. Rôle of Domain Engineering in Software Development—Why Current Requirements Engineering Is Flawed !

      • Dines Bjørner
      Pages 2-34

    3. Compositional and Quantitative Model Checking (Extended Abstract)

      • Kim G. Larsen
      Pages 35-42

    4. Invariants, Modularity, and Rights

      • Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark Hillebrand et al.
      Pages 43-55

    5. Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction

      • Lothar Thiele
      Pages 56-57

  3. Regular Papers

    1. Simulation of Kohn’s Molecular Interaction Maps through Translation into Stochastic CLS+

      • Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama
      Pages 58-69

    2. A Two-Level Approach for Modeling and Verification of Telecommunication Systems

      • Dmitry Beloglazov, Valery Nepomniaschy
      Pages 70-85

    3. SVM Paradoxes

      • Jean Beney, Cornelis H. A. Koster
      Pages 86-97

    4. Indexing Dense Nested Metric Spaces for Efficient Similarity Search

      • Nieves R. Brisaboa, Miguel R. Luaces, Oscar Pedreira, Ángeles S. Places, Diego Seco
      Pages 98-109

    5. On the Containment Problem for Queries in Conjunctive Form with Negation

      • Victor Felea
      Pages 110-123

    6. Towards a Scalable, Pragmatic Knowledge Representation Language for the Web

      • Florian Fischer, Gulay Unel, Barry Bishop, Dieter Fensel
      Pages 124-134

    7. An Experiment with the Fourth Futamura Projection

      • Robert Glück
      Pages 135-150

    8. Extracting the Essence of Distillation

      • G. W. Hamilton
      Pages 151-164

    9. Establishing Linux Driver Verification Process

      • Alexey Khoroshilov, Vadim Mutilin, Alexander Petrenko, Vladimir Zakharov
      Pages 165-176

    10. A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules

      • Dmitry Kichigin
      Pages 177-184

    11. A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols

      • Andrei V. Klimov
      Pages 185-192

    12. Proving the Equivalence of Higher-Order Terms by Means of Supercompilation

      • Ilya Klyuchnikov, Sergei Romanenko
      Pages 193-205

    13. Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams

      • Jens Kohlmeyer, Walter Guttmann
      Pages 206-217

    14. Applicability of the BLAST Model Checker: An Industrial Case Study

      • Emanuel Kolb, Ondřej Šerý, Roland Weiss
      Pages 218-229
Back to top

Other volumes

  1. Perspectives of Systems Informatics

Keywords

About this book

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15–19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931–1988),and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the Programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. The ?rst signi?cant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet c- puterM-20. Later,theresearchersofthedepartmentcreatedtheAlgibr,Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the ?rst Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in arti?cial intelligence and parallel programming, integrated tools for text processing and publishing, and many others.

Editors and Affiliations

  • (1941-2009), The Weizmann Institute of Science, Rehovot, Israel New York University, NY, USA

    Amir Pnueli

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

    Irina Virbitskaite

  • Department of Computer Science, University of Manchester, Manchester, UK

    Andrei Voronkov

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation