Abstract is missing.
- M-String Segmentation: A Refined Abstract Domain for String Analysis in C ProgramsAgostino Cortesi, Martina Olliaro. 1-8 [doi]
- Asynchronous Sessions with Implicit Functions and MessagesAlexander Jeffery, Martin Berger. 9-16 [doi]
- A Fully Abstract Encoding for Sub Asynchronous Pi CalculusWenjun Du, Zhengfeng Yang, Huibiao Zhu. 17-27 [doi]
- Towards a Program Logic for C11 Release-SequencesMengda He, Shengchao Qin, João Fernando Ferreira. 28-35 [doi]
- Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow GraphsXue-Yang Zhu. 36-43 [doi]
- KRust: A Formal Executable Semantics of RustFeng Wang, Fu Song, Min Zhang, Xiaoran Zhu, Jun Zhang. 44-51 [doi]
- RepassDroid: Automatic Detection of Android Malware Based on Essential Permissions and Semantic Features of Sensitive APIsNiannian Xie, Fanping Zeng, Xiaoxia Qin, Yu Zhang, Mingsong Zhou, Chengcheng Lv. 52-59 [doi]
- Proving Partial-Correctness and Invariance Properties of Transition-System ModelsVlad Rusu, Gilles Grimaud, Michaël Hauspie. 60-67 [doi]
- Formalization and Verification of AUTOSAR OS Standard's Memory ProtectionKhanh Trinh Le, Yuki Chiba, Toshiaki Aoki. 68-75 [doi]
- Decomposition and Composition of Sequence DiagramsXiaofei Yu, Jianmin Jiang, Zhong Hong. 76-83 [doi]
- Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined NetworksShuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie. 84-91 [doi]
- A Taxonomy of Code Changes Occurring within a Statement or a SignatureChunhua Yang, E. James Whitehead Jr.. 92-99 [doi]
- Observational Models for Linearizability Checking on Weak Memory ModelsKirsten Winter, Graeme Smith, John Derrick. 100-107 [doi]
- Modeling and Verification of NLSR Protocol using UPPAALYuan-fei, Huibiao Zhu, Xin Li. 108-115 [doi]
- Telling Lies in Process AlgebraMohammad Reza Mousavi, Mahsa Varshosaz. 116-123 [doi]
- Verifying Graph Transformations with Guarded LogicsJon Haël Brenas, Rachid Echahed, Martin Strecker. 124-131 [doi]
- On Syntactic and Semantic Dependencies in Service-Oriented ArchitecturesDiego Marmsoler. 132-137 [doi]
- Decomposing Models Through Dependency GraphsQin Ma 0002, Pierre Kelsen. 138-143 [doi]
- An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity TimeYuki Machigashira, Akio Nakata. 144-149 [doi]
- Semantics of Real-Time Trigger-Response Properties in Event-BChenyang Zhu, Michael J. Butler, Corina Cîrstea. 150-155 [doi]