Volume 274, August 2011

• 
  Min Zhang, Volker Stolz: Preface. 1-2
• 
  Sebastian Biallas, Jörg Brauer, Dominique Gückel, Stefan Kowalewski: On-The-Fly Path Reduction. 3-16
• 
  Muhammad Fadlisyah, Peter Csaba Ölveczky, Erika Ábrahám: Adaptive-Step-Size Numerical Methods in Rewriting-Logic-Based Formal Analysis of Interacting Hybrid Systems. 17-32
• 
  Xiaojian Liu, Zhilin Zhu: Construct Aspectual Models from Requirement Documents for Model-driven Development of Automotive Software. 33-50
• 
  Zhiyuan Liu, Jun Pang, Chenyi Zhang: Verification of A Key Chain Based TTP Transparent CEM Protocol. 51-65
• 
  Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa: Models of Rate Restricted Communication for Concurrent Objects. 67-81
• 
  Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang: A Parallel Approach to Concolic Testing with Low-cost Synchronization. 83-96

last updated on Thu May 23 04:11:05 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page