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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538673058

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling and Verification of NLSR Protocol using UPPAAL

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

10.1109/tase.2018.00022 ◽

2018 ◽

Cited By ~ 1

Author(s):

Yuan Fei ◽

Huibiao Zhu ◽

Xin Li

Download Full-text

Semantics of Real-Time Trigger-Response Properties in Event-B

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

10.1109/tase.2018.00028 ◽

2018 ◽

Cited By ~ 2

Author(s):

Chenyang Zhu ◽

Michael Butler ◽

Corina Cirstea

Keyword(s):

Real Time ◽

Response Properties

Download Full-text

Invited Talks

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

10.1109/tase.2018.00008 ◽

2018 ◽

Download Full-text

Decomposition and Composition of Sequence Diagrams

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

10.1109/tase.2018.00018 ◽

2018 ◽

Author(s):

Xiaofei Yu ◽

Jian-Min Jiang ◽

Zhong Hong

Keyword(s):

Sequence Diagrams

Download Full-text

Formalization and Verification of AUTOSAR OS Standard's Memory Protection

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

10.1109/tase.2018.00017 ◽

2018 ◽

Author(s):

Le Khanh Trinh ◽

Yuki Chiba ◽

Toshiaki Aoki

Keyword(s):

Memory Protection

Download Full-text

Asynchronous Sessions with Implicit Functions and Messages

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

10.1109/tase.2018.00010 ◽

2018 ◽

Cited By ~ 1

Author(s):

Alexander Jeffery ◽

Martin Berger

Keyword(s):

Implicit Functions

Download Full-text

Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks

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

10.1109/tase.2018.00019 ◽

2018 ◽

Cited By ~ 2

Author(s):

Shuangqing Xiang ◽

Huibiao Zhu ◽

Lili Xiao ◽

Wanling Xie

Keyword(s):

Software Defined Networks

Download Full-text

Verifying Graph Transformations with Guarded Logics

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

10.1109/tase.2018.00024 ◽

2018 ◽

Cited By ~ 1

Author(s):

Jon Hael Brenas ◽

Rachid Echahed ◽

Martin Strecker

Keyword(s):

Graph Transformations

Download Full-text

Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs

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

10.1109/tase.2018.00013 ◽

2018 ◽

Author(s):

Xue-Yang Zhu

Keyword(s):

Efficient Algorithm ◽

Dataflow Graphs ◽

Synchronous Dataflow ◽

Iteration Period ◽

Synchronous Dataflow Graphs

Download Full-text

Proving Partial-Correctness and Invariance Properties of Transition-System Models

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

10.1109/tase.2018.00016 ◽

2018 ◽

Cited By ~ 1

Author(s):

Vlad Rusu ◽

Gilles Grimaud ◽

Michael Hauspie

Keyword(s):

Transition System ◽

Partial Correctness ◽

System Models ◽

Invariance Properties

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Modeling and Verification of NLSR Protocol using UPPAAL

Semantics of Real-Time Trigger-Response Properties in Event-B

Invited Talks

Decomposition and Composition of Sequence Diagrams

Formalization and Verification of AUTOSAR OS Standard's Memory Protection

Asynchronous Sessions with Implicit Functions and Messages

Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks

Verifying Graph Transformations with Guarded Logics

Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow Graphs

Proving Partial-Correctness and Invariance Properties of Transition-System Models

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