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

TOTAL DOCUMENTS

(FIVE YEARS 39)

H-INDEX

(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):

Formal Proof

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):

Model Checking

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 ◽

Data Query ◽

Rdf Data

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):

Model Checking

Download Full-text

[Title page]

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

10.1109/tase49443.2020.00001 ◽

2020 ◽

Keyword(s):

Title Page

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

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

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

Rely-Guarantee Reasoning about Messaging System for Autonomous Vehicles

Automatic Tagging for Open Source Software by Utilizing Package Dependency Information

An Empirical Study in Software Verification Tools

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

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

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

The Bouquet Algorithm for Model Checking Unbounded Until Properties

[Title page]

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

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