2015 International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

32

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

9781467376129

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.25 ◽

2015 ◽

Author(s):

Abdelkrim Chebieb ◽

Yamine Ait-Ameur

Keyword(s):

Formal Verification ◽

User Interfaces ◽

Domain Ontologies

Download Full-text

A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.18 ◽

2015 ◽

Author(s):

Kais Klai ◽

Hanen Ochi

Keyword(s):

Download Full-text

[Copyright notice]

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.3 ◽

2015 ◽

Keyword(s):

Copyright Notice

Download Full-text

Modeling and Verification of Space-Air-Ground Integrated Networks on Requirement Level Using STeC

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.8 ◽

2015 ◽

Author(s):

Zhihua Yang ◽

Bo Xiao ◽

Yixiang Chen

Keyword(s):

Integrated Networks

Download Full-text

[Title page i]

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.1 ◽

2015 ◽

Keyword(s):

Download Full-text

Author Index

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.30 ◽

2015 ◽

Download Full-text

Transferable Optimal-size Fair E-cash with Optimal Anonymity

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.12 ◽

2015 ◽

Author(s):

Jiangxiao Zhang ◽

Lina Huo ◽

Xia Liu ◽

Chunrong Sui ◽

Zhoujun Li ◽

...

Keyword(s):

Download Full-text

A Framework for Off-Line Conformance Testing of Timed Connectors

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.9 ◽

2015 ◽

Author(s):

Shaodong Li ◽

Xiaohong Chen ◽

Yiwu Wang ◽

Meng Sun

Keyword(s):

Conformance Testing

Download Full-text

Polychronous Automata

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.21 ◽

2015 ◽

Author(s):

Paul Le Guernic ◽

Thierry Gautier ◽

Jean-Pierre Talpin ◽

Loic Besnard

Download Full-text

Modeling and Reasoning about Software Systems Containing Uncertainty and Variability

2015 International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2015.26 ◽

2015 ◽

Author(s):

Marsha Chechik

Keyword(s):

Software Systems

Download Full-text