6. Ershov Memorial Conference 2006: Novosibirsk, Russia

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
  
• Sören Auer, Heinrich Herre:
  A Versioning and Evolution Framework for RDF Knowledge Bases. 55-69
  
• Thomas Baar, Slavisa Markovic:
  A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. 70-83
  
• Thomas Baar, Jon Whittle:
  On the Usage of Concrete Syntax in Model Transformation Rules. 84-97
  
• 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
  
• Mark Buckley, Christoph Benzmüller:
  An Agent-Based Architecture for Dialogue Systems. 135-147
  
• Gabriel Ciobanu, Vladimir A. Zakharov:
  Encoding Mobile Ambients into the pi -Calculus. 148-165
  
• 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
  
• Saeed Parsa, Shahriar Lotfi:
  Loop Parallelization in Multi-dimensional Cartesian Space. 335-348
  
• 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
  
• Phiniki Stouppa, Thomas Studer:
  A Formal Model of Data Privacy. 400-408
  
• Ola Svensson, Sergei G. Vorobyov:
  Linear Complementarity and P-Matrices for Stochastic Games. 409-423
  

Short Papers

• Sören Auer, Heinrich Herre:
  RapidOWL - An Agile Knowledge Engineering Methodology. 424-430
  
• 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
  
• Sergey Lukichev, Gerd Wagner:
  Visual Rules Modeling. 467-473
  
• 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
  

Last update Thu May 24 04:17:13 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page