default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th TASE 2021: Shanghai, China
- International Symposium on Theoretical Aspects of Software Engineering, TASE 2021, Shanghai, China, August 25-27, 2021. IEEE 2021, ISBN 978-1-6654-4163-6
- Moshe Y. Vardi:
Program Verification: a 70+- Year History. 1-2 - Kokichi Futatsugi:
Advances of Proof Scores in CafeOBJ : Invited Paper. 3-12 - Hai Jin:
Research and Practice of Container System. 13-14 - Wei Chen
:
A wp Characterization of Jump Statements. 15-22 - Wei Chen:
Behind Clint and Hoare's goto Proof Rule. 23-30 - Ningning Chen, Huibiao Zhu, Huixing Fang:
A Proof System for HRML with Extended Hoare Logic. 31-38 - Sanjana Singh, Divyanjali Sharma, Subodh Sharma:
Dynamic Verification of C11 Concurrency over Multi Copy Atomics. 39-46 - Liqian Chen, Banghu Yin, Dengping Wei, Ji Wang:
An Abstract Domain to Infer Linear Absolute Value Equalities. 47-54 - Qianqian Zhang, Yao Zhang, Xiao-Hong Li, Bin Wu:
Discovering Properties about Arrays via Path Dependence Analysis. 55-62 - Yingwen Lin, Yao Zhang, Sen Chen, Fu Song, Xiaofei Xie, Xiaohong Li, Lintan Sun:
Inferring Loop Invariants for Multi-Path Loops. 63-70 - Qianzhu Zhao, Jing Liu, Xiang Chen, Tengfei Li, Junfeng Sun, Lipeng Zhang:
Parametric Spatio-temporal Modeling and Safety Verifying for T2T-CBTC Systems. 71-78 - Mingzhuo Zhang, Dehui Du, Augusto Sampaio, Ana Cavalcanti, Madiel Conserva Filho, Menghan Zhang:
Transforming RoboSim Models into UPPAAL. 79-86 - Xi Wang, Ridha Khédri, Weikai Miao:
A Formal Engineering Approach to Product Family Modeling. 87-94 - Hongjian Jiang, Yongjian Li, Sijun Tan, Yongxin Zhao:
Encoding Induction Proof in Dafny. 95-102 - Qunhao Sha, Qizhe Yang, Guoqiang Li:
A Parallel Implementation of Liveness on Knowledge Graphs under Label Constraints. 103-110 - Lei Liang, Si Liu:
Exploring Design Alternatives for Replicated RAMP Transactions Using Maude. 111-118 - Jinghui Lyu, Yude Bai, Zhenchang Xing, Xiaohong Li, Weimin Ge:
A Character-Level Convolutional Neural Network for Predicting Exploitability of Vulnerability. 119-126 - Jiaqi Yin, Huibiao Zhu, Yuan Fei, Qiwen Xu:
Formal Modelling and Verification of the RTPS Behavior Module. 127-134 - Wenhui Zhang, Xue-Yang Zhu, Yulong Bao:
VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques. 135-142 - Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang:
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. 143-150 - Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin:
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. 151-158 - Leifeng He, Guanjun Liu:
Petri Net Based CTL Model Checking: Using a New Method to Construct OBDD Variable Order. 159-166 - Uli Fahrenberg, Axel Legay:
Featured Games. 167-174 - Manisha Jain, Leandro Gomes, Alexandre Madeira, Luís Soares Barbosa:
Towards a specification theory for fuzzy modal logic. 175-182 - Hanyue Zheng, Jincao Feng, Weikai Miao, Geguang Pu:
Generating Test Cases from Requirements: A Case Study in Railway Control System Domain. 183-190 - Shiling Feng, Xiaohong Chen, Qin Li, Yongxin Zhao:
RE2B: Enhancing Correctness of Both Requirements and Design Models. 191-198 - Jiajia Yang, Xiaohong Chen, Ling Yin:
Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach. 199-206
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-02-20 19:50 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:
