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

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By IEEE

9781538619247

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

[Copyright notice]

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

10.1109/tase.2017.8285616 ◽

2017 ◽

Keyword(s):

Copyright Notice

Download Full-text

Modeling and reasoning about wireless networks: A graph-based calculus approach

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

10.1109/tase.2017.8285639 ◽

2017 ◽

Author(s):

Shichao Liu ◽

Ying Jiang

Keyword(s):

Wireless Networks

Download Full-text

On the semantics of temporal specifications of component-behavior for dynamic architectures

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

10.1109/tase.2017.8285638 ◽

2017 ◽

Author(s):

Diego Marmsoler

Keyword(s):

Temporal Specifications

Download Full-text

An integrated framework for verifying multiple care pathways

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

10.1109/tase.2017.8285628 ◽

2017 ◽

Author(s):

J. Bowles ◽

M. B. Caminati ◽

S. Cha

Keyword(s):

Care Pathways ◽

Integrated Framework

Download Full-text

Bisimulations for probabilistic linear lambda calculi

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

10.1109/tase.2017.8285625 ◽

2017 ◽

Author(s):

Yuxin Deng ◽

Yuan Feng

Download Full-text

Computing behavioural distance for fuzzy transition systems

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

10.1109/tase.2017.8285626 ◽

2017 ◽

Author(s):

Tian-Ming Bu ◽

Hengyang Wu ◽

Yixiang Chen

Keyword(s):

Transition Systems

Download Full-text

Formal specification of security guidelines for program certification

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

10.1109/tase.2017.8285634 ◽

2017 ◽

Author(s):

Zeineb Zhioua ◽

Yves Roudier ◽

Rabea Ameur-Boulifa

Keyword(s):

Formal Specification

Download Full-text

Organization

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

10.1109/tase.2017.8285620 ◽

2017 ◽

Download Full-text

Preface

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

10.1109/tase.2017.8285619 ◽

2017 ◽

Download Full-text

Conditional transition systems with upgrades

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

10.1109/tase.2017.8285624 ◽

2017 ◽

Author(s):

Harsh Beohar ◽

Barbara Konig ◽

Sebastian Kupper ◽

Alexandra Silva

Keyword(s):

Transition Systems

Download Full-text