Electronic Notes in Theoretical Computer Science, Volume 274
Volume 274, August 2011
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team