default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th TASE 2018: Guangzhou, China
- Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng:
2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-7305-8
Regular Papers
- Agostino Cortesi
, Martina Olliaro:
M-String Segmentation: A Refined Abstract Domain for String Analysis in C Programs. 1-8 - Alexander Jeffery, Martin Berger:
Asynchronous Sessions with Implicit Functions and Messages. 9-16 - Wenjun Du, Zhengfeng Yang, Huibiao Zhu:
A Fully Abstract Encoding for Sub Asynchronous Pi Calculus. 17-27 - Mengda He, Shengchao Qin, João F. Ferreira:
Towards a Program Logic for C11 Release-Sequences. 28-35 - Xue-Yang Zhu:
Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs. 36-43 - Feng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang:
KRust: A Formal Executable Semantics of Rust. 44-51 - Niannian Xie, Fanping Zeng, Xiaoxia Qin, Yu Zhang, Mingsong Zhou, Chengcheng Lv:
RepassDroid: Automatic Detection of Android Malware Based on Essential Permissions and Semantic Features of Sensitive APIs. 52-59 - Vlad Rusu, Gilles Grimaud, Michaël Hauspie:
Proving Partial-Correctness and Invariance Properties of Transition-System Models. 60-67 - Khanh Trinh Le, Yuki Chiba, Toshiaki Aoki:
Formalization and Verification of AUTOSAR OS Standard's Memory Protection. 68-75 - Xiaofei Yu, Jianmin Jiang, Zhong Hong:
Decomposition and Composition of Sequence Diagrams. 76-83 - Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie:
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. 84-91 - Chunhua Yang, E. James Whitehead Jr.:
A Taxonomy of Code Changes Occurring within a Statement or a Signature. 92-99 - Kirsten Winter, Graeme Smith, John Derrick:
Observational Models for Linearizability Checking on Weak Memory Models. 100-107 - Yuan Fei, Huibiao Zhu, Xin Li:
Modeling and Verification of NLSR Protocol using UPPAAL. 108-115 - Mohammad Reza Mousavi, Mahsa Varshosaz:
Telling Lies in Process Algebra. 116-123 - Jon Haël Brenas, Rachid Echahed, Martin Strecker:
Verifying Graph Transformations with Guarded Logics. 124-131
Short Papers
- Diego Marmsoler:
On Syntactic and Semantic Dependencies in Service-Oriented Architectures. 132-137 - Qin Ma, Pierre Kelsen:
Decomposing Models Through Dependency Graphs. 138-143 - Yuki Machigashira, Akio Nakata:
An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity Time. 144-149 - Chenyang Zhu, Michael J. Butler, Corina Cîrstea:
Semantics of Real-Time Trigger-Response Properties in Event-B. 150-155
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-09 23:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
