2020 International Symposium on Theoretical Aspects of Software Engineering (TASE)
Latest Publications

TOTAL DOCUMENTS

39

(FIVE YEARS 39)

H-INDEX

0

(FIVE YEARS 0)

Published By IEEE

9781728140865

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Formal Proof of the Soundness of the Hybrid CPS Clock Theory

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00022 ◽

2020 ◽

Author(s):

Jianlin Wang ◽

Chao Peng ◽

Zhenbing Zeng

Keyword(s):

Download Full-text

Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00021 ◽

2020 ◽

Author(s):

Wenjing Xu ◽

Yongwang Zhao ◽

Dianfu Ma ◽

YuXin Zhang ◽

Qian Xiao

Keyword(s):

Autonomous Vehicles

Download Full-text

Automatic Tagging for Open Source Software by Utilizing Package Dependency Information

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00027 ◽

2020 ◽

Author(s):

Liu Yang ◽

Li Wang ◽

Zhigang Hu ◽

Yanwen Wang ◽

Jun Long

Keyword(s):

Open Source ◽

Open Source Software ◽

Automatic Tagging

Download Full-text

An Empirical Study in Software Verification Tools

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00035 ◽

2020 ◽

Author(s):

Mengmeng Jiang ◽

Xiaohong Li ◽

Xiaofei Xie ◽

Yao Zhang

Keyword(s):

Empirical Study ◽

Software Verification ◽

Verification Tools

Download Full-text

Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00023 ◽

2020 ◽

Author(s):

Daisuke Ishii ◽

Saito Fujii

Keyword(s):

Download Full-text

WLeidenRDF: RDF Data Query Method based on Semantic-Enhanced Graph-Clustering Algorithm

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00014 ◽

2020 ◽

Author(s):

Liu Yang ◽

Zhou Chen ◽

Yiqing Feng ◽

Zhifang Liao ◽

Zhigang Hu ◽

...

Keyword(s):

Clustering Algorithm ◽

Graph Clustering ◽

Download Full-text

RKC-H: A Rich Knowledge Based Model for Multi-turn Dialogue Generation

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00013 ◽

2020 ◽

Author(s):

Feifei Xu ◽

Guanqun Ding ◽

Wenkai Zhang ◽

Audrey

Keyword(s):

Knowledge Based

Download Full-text

The Bouquet Algorithm for Model Checking Unbounded Until Properties

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00024 ◽

2020 ◽

Author(s):

Shiraj Arora ◽

M. V. Panduranga Rao

Keyword(s):

Download Full-text

[Title page]

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00001 ◽

2020 ◽

Keyword(s):

Download Full-text

A Novel Data-Driven Approach for Generating Verified Loop Invariants *

2020 International Symposium on Theoretical Aspects of Software Engineering (TASE) ◽

10.1109/tase49443.2020.00011 ◽

2020 ◽

Author(s):

Hong Lu ◽

Jiacheng Gui ◽

Chengyi Wang ◽

Hao Huang

Keyword(s):

Data Driven ◽

Data Driven Approach

Download Full-text