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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538619247

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 3

Author(s):

J. Bowles ◽

M. B. Caminati ◽

S. Cha

Keyword(s):

Care Pathways ◽

Integrated Framework

Download Full-text

[Copyright notice]

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

10.1109/tase.2017.8285616 ◽

2017 ◽

Keyword(s):

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

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

Conditional transition systems with upgrades

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

10.1109/tase.2017.8285624 ◽

2017 ◽

Cited By ~ 3

Author(s):

Harsh Beohar ◽

Barbara Konig ◽

Sebastian Kupper ◽

Alexandra Silva

Keyword(s):

Transition Systems

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

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

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

An integrated framework for verifying multiple care pathways

[Copyright notice]

Computing behavioural distance for fuzzy transition systems

Formal specification of security guidelines for program certification

Organization

Preface

Bisimulations for probabilistic linear lambda calculi

Conditional transition systems with upgrades

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