6. Ershov Memorial Conference 2006: Novosibirsk, Russia
Irina Virbitskaite, Andrei Voronkov (Eds.): Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Springer 2007 Lecture Notes in Computer Science ISBN 978-3-540-70880-3
Invited Papers
- Eike Best, Javier Esparza, Harro Wimmel, Karsten Wolf: Separability in Conflict-Free Petri Nets. 1-18
- Victor Ivannikov: Grand Challenges of System Programming. 19
- K. Rustan M. Leino: Specifying and Verifying Programs in Spec#. 20
- Alexander A. Letichevsky: Basic Protocols: Specification Language for Distributed Systems. 21-25
- Alexandre Petrenko: Why Automata Models Are Sexy for Testers? (Invited Talk). 26
Regular Papers
- Sergei M. Abramov, Robert Glück, Yuri A. Klimov: An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. 27-40
- Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike: Program Generation in the Equivalent Transformation Computation Model Using the Squeeze Method. 41-54
- Thomas Baar, Slavisa Markovic: A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. 70-83
- Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: TTCN-3 for Distributed Testing Embedded Software. 98-111
- Nieves R. Brisaboa, Antonio Fariña, Miguel Rodríguez Luaces, José R. Paramá: Chase of Recursive Queries. 112-123
- Nieves R. Brisaboa, Antonio Fariña, Gonzalo Navarro, José R. Paramá: Improving Semistatic Compression Via Pair-Based Coding. 124-134
- Liliana Cojocaru: Characterizations of CD Grammar Systems Working in Competence Mode by Multicounter Machine Resources. 166-179
- Walter Dosch, Annette Stümpel: Deriving State-Based Implementations of Interactive Components with History Abstractions. 180-194
- Alberto de la Encina, Luis Llana, Fernando Rubio: Introducing Debugging Capabilities to Natural Semantics. 195-208
- Stephan Frank, Petra Hofstedt, Peter Pepper, Dirk Reckmann: Solution Strategies for Multi-domain Constraint Logic Programs. 209-222
- Damas P. Gruska: Information-Flow Attacks Based on Limited Observations. 223-234
- Kees M. van Hee, Olivia Oanea, Natalia Sidorova, Marc Voorhoeve: Verifying Generalized Soundness of Workflow Nets. 235-247
- Andrei V. Klimov: Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. 248-259
- Margarita V. Korovina, Nicolai Vorobjov: Satisfiability of Viability Constraints for Pfaffian Dynamics. 260-269
- Cornelis H. A. Koster, Jean Beney: On the Importance of Parameter Tuning in Text Categorization. 270-283
- Vahur Kotkas: Preconditions for Structural Synthesis of Programs. 284-296
- Olga Kouchnarenko, Arnaud Lanoix: How to Verify and Exploit a Refinement of Component-Based Systems. 297-309
- Sebastian Link, Klaus-Dieter Schewe, Jane Zhao: Refinements in Typed Abstract State Machines. 310-321
- Torben Æ. Mogensen: Report on an Implementation of a Semi-inverter. 322-334
- Stefan Sarstedt, Walter Guttmann: An ASM Semantics of Token Flow in UML 2 Activity Diagrams. 349-362
- Nikolay V. Shilov, Natalya Olegovna Garanina: Well-Structured Model Checking of Multiagent Systems. 363-376
- Sangmun Shin, Yi Guo, Yongsun Choi, Myeonggil Choi, Charles Kim: Development of a Robust Data Mining Method Using CBFS and RSM. 377-388
- Andrew Solomon: Pushout: A Mathematical Model of Architectural Merger. 389-399
- Ola Svensson, Sergei G. Vorobyov: Linear Complementarity and P-Matrices for Stochastic Games. 409-423
Short Papers
- Dmitri Boulytchev: BURS-Based Instruction Set Selection. 431-437
- Anatoly Chebotarev, Sergey Krivoi: Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L. 438-442
- Roman S. Dubtsov: Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction. 443-450
- Clemens Grelck, Sven-Bodo Scholz, Alexander V. Shafarenko: Streaming Networks for Coordinating Data-Parallel Programs. 451-455
- Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov: Formal Methods in Industrial Software Standards Enforcement. 456-466
- Alejandro Russo, Andrei Sabelfeld: Security for Multithreaded Programs Under Cooperative Scheduling. 474-480
- Tursunbay kyzy Yrysgul: A Fully Dynamic Algorithm for Recognizing and Representing Chordal Graphs. 481-486
- Yury A. Zagorulko, Jawed I. A. Siddiqi, Babak Akhgar, Olesya Borovikova: A Knowledge Portal for Cultural Information Resources: Towards an Architecture. 487-494
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team