Perspectives of System Informatics

4th International Andrei Ershov Memorial Conference, PSI 2001 Akademgorodok, Novosibirsk, Russia, July 2–6, 2001 Revised Papers

  • Dines Bjørner
  • Manfred Broy
  • Alexandre V. Zamulin

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2244)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Memorial Session

  3. Computing and Algorithms

    1. Svyatoslav S. Lavrov
      Pages 25-32
  4. Logical Methods

  5. Verification

    1. Natalia Ioustinova, Natalia Sidorova
      Pages 64-78
    2. Supratik Mukhopadhyay, Andreas Podelski
      Pages 79-94
    3. Alexandre Riazanov, Andrei Voronkov
      Pages 95-108
  6. Program Transformation and Synthesis

    1. Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
      Pages 131-139
    2. Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
      Pages 140-148
    3. Viktor Sabelfeld, Christian Blumenröhr, Kai Kapp
      Pages 149-156
    4. Mait Harf, Kristiina Kindel, Vahur Kotkas, Peep Küngas, Enn Tyugu
      Pages 157-164
  7. Semantics & Types

  8. Processes and Concurrency

  9. UML Specification

    1. Egidio Astesiano, Maura Cerioli, Gianna Reggio
      Pages 246-246
    2. Ella E. Roubtsova, Jan van Katwijk, Ruud C. M. de Rooij, Hans Toetenel
      Pages 247-254
  10. Petri Nets

    1. Berndt Farwer, Irina Lomazova
      Pages 255-267
    2. Vitaly E. Kozura
      Pages 268-278
    3. Shengyuan Wang, Jian Yu, Chongyi Yuan
      Pages 279-286
  11. Testing

    1. Alexander K. Petrenko
      Pages 287-300
    2. Igor B. Bourdonov, Alexey V. Demakov, Andrew A. Jarov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko et al.
      Pages 301-307
    3. Jan Jürjens, Guido Wimmel
      Pages 308-316
  12. Software Construction

    1. Andrey N. Terekhov, Len Erlikh
      Pages 317-323
    2. Dmitry Koznov, Konstantin Romanovsky, Alexei Nikitin
      Pages 324-327
    3. Dmitry Boulytchev, Dmitry Lomov
      Pages 328-335
  13. Data & Knowledge Bases

  14. Logic Programming

    1. Agostino Cortesi, Baudouin Le Charlier, Sabina Rossi
      Pages 395-405
    2. Maurice Bruynooghe, Wim Vanhoof, Michael Codish
      Pages 406-420
    3. Yoon-Chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee
      Pages 421-433
  15. Constraint Programming

    1. Vitaly Telerman
      Pages 446-456
    2. Laurent Granvilliers, Eric Monfroy
      Pages 457-467
  16. Program Analysis

    1. Guillaume Bonfante, Jean-Yves Marion, Jean-Yves Moyen
      Pages 482-493
    2. Margarita V. Korovina, Oleg V. Kudinov
      Pages 494-499
  17. Language Implementation

    1. Roland Weiss, Volker Simonis
      Pages 500-510
    2. Vitaly V. Mikheev, Stanislav A. Fedoseev
      Pages 511-518

About these proceedings


This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing, software construction, data and knowledge bases, logic programming, constraint programming, program analysis, and language implementation.


Algorithms Constraint Unified Modeling Language (UML) algorithm logic petri net programming semantics verification

Editors and affiliations

  • Dines Bjørner
    • 1
  • Manfred Broy
    • 2
  • Alexandre V. Zamulin
    • 3
  1. 1.Informatics and Mathematical ModellingTechnical University of DenmarkLyngbyDenmark
  2. 2.Computer Science DepartmentTechnical University of MunichMunichGermany
  3. 3.A.P.Ershov Institute of Informatics SystemsNovosibirskRussia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-43075-9
  • Online ISBN 978-3-540-45575-2
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment