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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728133423

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Large-scale Detection of Privacy Leaks for BAT Browsers Extensions in China

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

10.1109/tase.2019.00-19 ◽

2019 ◽

Cited By ~ 1

Author(s):

Yufei Zhao ◽

Longtao He ◽

Zhoujun Li ◽

Liqun Yang ◽

Hao Dong ◽

...

Keyword(s):

Large Scale ◽

Scale Detection

Download Full-text

Stuttering for Markov Automata

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

10.1109/tase.2019.000-7 ◽

2019 ◽

Cited By ~ 2

Author(s):

Arpit Sharma

Keyword(s):

Markov Automata

Download Full-text

Distributed Mediator

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

10.1109/tase.2019.00-24 ◽

2019 ◽

Cited By ~ 1

Author(s):

Yi Li ◽

Meng Sun

Download Full-text

A Logical Approach for the Schedulability Analysis of CCSL

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

10.1109/tase.2019.00-23 ◽

2019 ◽

Cited By ~ 1

Author(s):

Yuanrui Zhang ◽

Frederic Mallet ◽

Huibiao Zhu ◽

Yixiang Chen

Keyword(s):

Schedulability Analysis ◽

Logical Approach

Download Full-text

Preface

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

10.1109/tase.2019.00-30 ◽

2019 ◽

Download Full-text

Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP

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

10.1109/tase.2019.000-6 ◽

2019 ◽

Cited By ~ 1

Author(s):

Xin Bai ◽

Chenghao Xu ◽

Yi Ao ◽

Biao Chen ◽

Dehui Du

Keyword(s):

Driver Behavior ◽

Probabilistic Modeling

Download Full-text

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration

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

10.1109/tase.2019.00-11 ◽

2019 ◽

Author(s):

Xiaozhen Zhang ◽

Weiqiang Kong ◽

Jianguo Jiang ◽

Gang Hou ◽

Akira Fukuda

Download Full-text

Verifying Opacity of a Modified PSTM

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

10.1109/tase.2019.00008 ◽

2019 ◽

Author(s):

Yucheng Fang ◽

Huibiao Zhu ◽

Jiaqi Yin

Download Full-text

[Title page iii]

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

10.1109/tase.2019.00002 ◽

2019 ◽

Keyword(s):

Title Page

Download Full-text

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq

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

10.1109/tase.2019.00-12 ◽

2019 ◽

Author(s):

Xiyue Zhang ◽

Yi Li ◽

Weijiang Hong ◽

Meng Sun

Keyword(s):

Neural Network ◽

Recurrent Neural Network

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Large-scale Detection of Privacy Leaks for BAT Browsers Extensions in China

Stuttering for Markov Automata

Distributed Mediator

A Logical Approach for the Schedulability Analysis of CCSL

Preface

Learning-based Probabilistic Modeling and Verifying Driver Behavior using MDP

Steering Interpolants Generation with Efficient Interpolation Abstraction Exploration

Verifying Opacity of a Modified PSTM

[Title page iii]

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq

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