7. Ershov Memorial Conference 2009: Novosibirsk, Russia

Invited Talks

• Samson Abramsky:
  Games, Interaction and Computation. 1
  
• Dines Bjørner:
  Rôle of Domain Engineering in Software Development - Why Current Requirements Engineering Is Flawed ! 2-34
  
• Kim G. Larsen:
  Compositional and Quantitative Model Checking (Extended Abstract). 35-42
  
• Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev:
  Invariants, Modularity, and Rights. 43-55
  
• Lothar Thiele:
  Distributed Embedded Systems: Reconciling Computation, Communication and Resource Interaction. 56-57
  

Regular Papers

• Roberto Barbuti, Daniela Lepri, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini, Aureliano Rama:
  Simulation of Kohn's Molecular Interaction Maps through Translation into Stochastic CLS+. 58-69
  
• Dmitri M. Beloglazov, Valery A. Nepomniaschy:
  A Two-Level Approach for Modeling and Verification of Telecommunication Systems. 70-85
  
• Jean Beney, Cornelis H. A. Koster:
  SVM Paradoxes. 86-97
  
• Nieves R. Brisaboa, Miguel Rodríguez Luaces, Oscar Pedreira, Ángeles S. Places, Diego Seco:
  Indexing Dense Nested Metric Spaces for Efficient Similarity Search. 98-109
  
• Victor Felea:
  On the Containment Problem for Queries in Conjunctive Form with Negation. 110-123
  
• Florian Fischer, Gulay Ünel, Barry Bishop, Dieter Fensel:
  Towards a Scalable, Pragmatic Knowledge Representation Language for the Web. 124-134
  
• Robert Glück:
  An Experiment with the Fourth Futamura Projection. 135-150
  
• G. W. Hamilton:
  Extracting the Essence of Distillation. 151-164
  
• Alexey V. Khoroshilov, Vadim Mutilin, Alexandre Petrenko, Vladimir Zakharov:
  Establishing Linux Driver Verification Process. 165-176
  
• Dmitry Kichigin:
  A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules. 177-184
  
• Andrei V. Klimov:
  A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols. 185-192
  
• Ilya Klyuchnikov, Sergei A. Romanenko:
  Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. 193-205
  
• Jens Kohlmeyer, Walter Guttmann:
  Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams. 206-217
  
• Emanuel Kolb, Ondrej Sery, Roland Weiss:
  Applicability of the BLAST Model Checker: An Industrial Case Study. 218-229
  
• Margarita V. Korovina, Oleg V. Kudinov:
  Sigma_K-constraints for Hybrid Systems. 230-241
  
• Laura Kovács:
  A Complete Invariant Generation Approach for P-solvable Loops. 242-256
  
• Victor V. Kuliamin:
  Standardization and Testing of Mathematical Functions. 257-268
  
• Philipp Kumar, Thomas Baar:
  Using AOP for Discovering and Defining Executable Test Cases. 269-281
  
• Nazim Benaïssa, Dominique Méry:
  Cryptographic Protocols Analysis in Event B. 282-293
  
• Anton Malykh, Andrei Mantsivoda:
  A Query Language for Logic Architectures. 294-305
  
• Torben Æ. Mogensen:
  Planet Map Generation by Tetrahedral Subdivision. 306-318
  
• Artur Niewiadomski, Wojciech Penczek, Maciej Szreter:
  Towards Checking Parametric Reachability for UML State Machines. 319-330
  
• Nikolay V. Pakulin, Vladimir V. Rubanov:
  A Flexible Approach to Automated Development of Cross Toolkits for Embedded Systems. 331-343
  
• J. Guadalupe Ramos, Josep Silva, Gustavo Arroyo, Juan C. Solorio:
  A Technique for Information Retrieval from Microformatted Websites. 344-351
  
• Andrei Sabelfeld, Alejandro Russo:
  From Dynamic to Static and Back: Riding the Roller Coaster of Information-Flow Control Research. 352-365
  
• Helen Schonenberg, Natalia Sidorova, Wil M. P. van der Aalst, Kees M. van Hee:
  History-Dependent Stochastic Petri Nets. 366-379
  
• Thomas Studer:
  Privacy Preserving Modules for Ontologies. 380-387
  
• Margus Veanes, Nikolaj Bjørner:
  Symbolic Bounded Conformance Checking of Model Programs. 388-400
  
• Thomas Würthinger, Michael L. Van de Vanter, Doug Simon:
  Multi-level Virtual Machine Debugging Using the Java Platform Debugger Architecture. 401-412
  
• Peter E. Bulychev, Egor V. Kostylev, Vladimir A. Zakharov:
  Anti-unification Algorithms and Their Applications in Program Analysis. 413-423
  

Last update Fri May 24 18:48:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page