2012 Sixth International Symposium on Theoretical Aspects of Software Engineering
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467323536

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Calculus of Higher Order Safe Ambients and Its Bisimulations

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.8 ◽

2012 ◽

Cited By ~ 1

Author(s):

Zining Cao

Keyword(s):

Higher Order

Download Full-text

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.44 ◽

2012 ◽

Cited By ~ 4

Author(s):

Ender Yuksel ◽

Huibiao Zhu ◽

Hanne Riis Nielson ◽

Heqing Huang ◽

Flemming Nielson

Keyword(s):

Model Checking ◽

Smart Grid ◽

Stochastic Model ◽

Stochastic Model Checking

Download Full-text

Model-Based Test Generation Using Evolutional Symbolic Grammar

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.16 ◽

2012 ◽

Cited By ~ 2

Author(s):

Hai-Feng Guo ◽

Mahadevan Subramaniam

Keyword(s):

Test Generation ◽

Model Based

Download Full-text

Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.45 ◽

2012 ◽

Cited By ~ 2

Author(s):

Joao F. Ferreira ◽

Guanhua He ◽

Shengchao Qin

Keyword(s):

Automated Verification

Download Full-text

Moverness for Locks and Transactions

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.29 ◽

2012 ◽

Cited By ~ 1

Author(s):

Granville Barnett ◽

Shengchao Qin

Download Full-text

Preface

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.4 ◽

2012 ◽

Download Full-text

Author Index

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.50 ◽

2012 ◽

Download Full-text

Overview of TASE 2012 Talk on Search Based Software Engineering

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.24 ◽

2012 ◽

Author(s):

Mark Harman

Keyword(s):

Software Engineering ◽

Search Based Software Engineering

Download Full-text

On model construction for modal mu-calculus

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.49 ◽

2012 ◽

Author(s):

Nan Qu

Keyword(s):

Model Construction

Download Full-text

Formal Specification and Probabilistic Verification of SysML Activity Diagrams

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering ◽

10.1109/tase.2012.34 ◽

2012 ◽

Cited By ~ 5

Author(s):

Yosr Jarraya ◽

Mourad Debbabi

Keyword(s):

Formal Specification ◽

Probabilistic Verification ◽

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

2012 Sixth International Symposium on Theoretical Aspects of Software EngineeringLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

A Calculus of Higher Order Safe Ambients and Its Bisimulations

Modelling and Analysis of Smart Grid: A Stochastic Model Checking Case Study

Model-Based Test Generation Using Evolutional Symbolic Grammar

Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK

Moverness for Locks and Transactions

Preface

Author Index

Overview of TASE 2012 Talk on Search Based Software Engineering

On model construction for modal mu-calculus

Formal Specification and Probabilistic Verification of SysML Activity Diagrams

2012 Sixth International Symposium on Theoretical Aspects of Software Engineering
Latest Publications