1. Home
  2. Proceedings
  3. TASE
  4. TASE 2009
Default Cover Image

2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering

July 29 2009 to July 31 2009

Tianjin, China

ISBN: 978-0-7695-3757-3

Table of Contents

Papers
[Copyright notice]Freely available from IEEE.pp. iv
Papers
Table of contentsFreely available from IEEE.pp. v-ix
Papers
TASE 2009 Committee ListsFreely available from IEEE.pp. xi-xii
Papers
TASE 2009 Additional ReviewersFreely available from IEEE.pp. xiii
Towards Expressive Specification and Efficient Model CheckingFull-text access may be available. Sign in or learn about subscription options.pp. 9-9
by Jin Song Dong, Jun Sun
Papers
Title Page iFreely available from IEEE.pp. i
Papers
Title Page iiiFreely available from IEEE.pp. iii
Papers
Message from the ChairsFreely available from IEEE.pp. x
Papers
Verification and Performance Analysis for Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 3-4
by Kim Guldstrand Larsen
Papers
Modular Development of Certified System SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 5
by Zhong Shao
Papers
Improving Responsiveness of Hard Real-Time Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 13-20
by Hugh Anderson, Siau-Cheng Khoo
Papers
Environmental Simulation of Real-Time Systems with Nested InterruptsFull-text access may be available. Sign in or learn about subscription options.pp. 21-28
by Guoqiang Li, Shoji Yuen, Masakazu Adachi
Papers
Semantics for Communicating Actors with Interdependent Real-Time DeadlinesFull-text access may be available. Sign in or learn about subscription options.pp. 29-35
by István Knoll, Anders P. Ravn, Arne Skou
Papers
An Efficient Algorithm for Finding Empty Space for Reconfigurable SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 36-43
by Yan Xiao, Zhenhua Duan, Pengcheng Nie
Papers
State Visibility and Communication in Unifying Theories of ProgrammingFull-text access may be available. Sign in or learn about subscription options.pp. 47-54
by Andrew Butterfield, Pawel Gancarski, Jim Woodcock
Papers
Semantics of Metamodels in UMLFull-text access may be available. Sign in or learn about subscription options.pp. 55-62
by Lijun Shan, Hong Zhu
Papers
Refinement Algebra with Explicit ProbabilismFull-text access may be available. Sign in or learn about subscription options.pp. 63-70
by T.M. Rabehaja, J.W. Sanders
Papers
Environment Abstraction with State Clustering and Parameter TruncatingFull-text access may be available. Sign in or learn about subscription options.pp. 73-80
by Hong Pan, Yi Lv, Huimin Lin
Papers
Verification of Population Ring Protocols in PATFull-text access may be available. Sign in or learn about subscription options.pp. 81-89
by Yang Liu, Jun Pang, Jun Sun, Jianhua Zhao
Papers
Bounded Model Checking of ACTL FormulaeFull-text access may be available. Sign in or learn about subscription options.pp. 90-99
by Wei Chen, Wenhui Zhang
Papers
Coarse Grained Retrenchment and the Mondex Denial of Service AttacksFull-text access may be available. Sign in or learn about subscription options.pp. 103-110
by Richard Banach
Papers
Enforcing Constraints on Life Cycles of Business ArtifactsFull-text access may be available. Sign in or learn about subscription options.pp. 111-118
by Xiangpeng Zhao, Jianwen Su, Hongli Yang, Zongyan Qiu
Papers
Consistency Checking for LSC SpecificationsFull-text access may be available. Sign in or learn about subscription options.pp. 119-126
by Hai-Feng Guo, Wen Zheng, Mahadevan Subramaniam
Papers
Integrating Specification and Programs for System Modeling and VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 127-135
by Jun Sun, Yang Liu, Jin Song Dong, Chunqing Chen
Papers
A Framework and Language Support for Automatic Dynamic Testing of Workflow Management SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 139-146
by Gwan-Hwan Hwang, Che-Sheng Lin, Li-Te Tsao, Kuei-Huan Chen, Yan-You Li
Papers
Fault-Based Test Case Generation for Component ConnectorsFull-text access may be available. Sign in or learn about subscription options.pp. 147-154
by Bernhard K. Aichernig, Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Meng Sun, Jan Rutten
Papers
Test Data Generation for Derived Types in C ProgramFull-text access may be available. Sign in or learn about subscription options.pp. 155-162
by Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, JueLiang Hu
A Tool for Estimating Memory UsageFull-text access may be available. Sign in or learn about subscription options.pp. 287-288
by Shengyi Wang, Zongyan Qiu
Papers
Program Repair as Sound Optimization of Broken ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 165-173
by Bernd Fischer, Ando Saabas, Tarmo Uustalu
Papers
Modeling Web Applications and Generating Tests: A Combination and Interactions-guided ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 174-181
by Bo Song, Huaikou Miao
Papers
Merging of Use Case Models: Semantic FoundationsFull-text access may be available. Sign in or learn about subscription options.pp. 182-189
by Stephen Barrett, Daniel Sinnig, Patrice Chalin, Greg Butler
Papers
Verifying Semistructured Data Normalization Using SWRLFull-text access may be available. Sign in or learn about subscription options.pp. 193-200
by Yuan Fang Li, Jing Sun, Gillian Dobbie, Scott Lee, Hai H. Wang
Papers
Verifying Self-stabilizing Population Protocols with CoqFull-text access may be available. Sign in or learn about subscription options.pp. 201-208
by Yuxin Deng, Jean-François Monin
Papers
The Logical Approach to Low-Level Stack ReasoningFull-text access may be available. Sign in or learn about subscription options.pp. 209-216
by Xinyu Jiang, Yu Guo, Yiyun Chen
Papers
Constructing Program Invariants via Solving QBFFull-text access may be available. Sign in or learn about subscription options.pp. 217-221
by Shikun Chen, Zhoujun Li, Mengjun Li
Papers
Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway CooperationFull-text access may be available. Sign in or learn about subscription options.pp. 225-232
by Moritz Martens, Mila Majster-Cederbaum
Papers
Formal Reasoning about Concurrent Assembly Code with Reentrant LocksFull-text access may be available. Sign in or learn about subscription options.pp. 233-240
by Ming Fu, Yu Zhang, Yong Li
Papers
Algorithms for Computing Weak Bisimulation EquivalenceFull-text access may be available. Sign in or learn about subscription options.pp. 241-248
by Weisong Li
Papers
Interpreting a Successful Testing Process: Risk and Actual CoverageFull-text access may be available. Sign in or learn about subscription options.pp. 251-258
by Mariëlle Stoelinga, Mark Timmer
Papers
Automated Test Case Generation Based on Coverage AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 259-266
by Tim A. Majchrzak, Herbert Kuchen
Papers
Exploring Topological Structure of Boolean Expressions for Test Data SelectionFull-text access may be available. Sign in or learn about subscription options.pp. 267-274
by Lian Yu, Wei Zhao, Xiangdong Fan, Jun Zhu
Papers
On Testing 1-Safe Petri NetsFull-text access may be available. Sign in or learn about subscription options.pp. 275-281
by Guy-Vincent Jourdan, Gregor V. Bochmann
Papers
Verifying the Implementation of an Operating System SchedulerFull-text access may be available. Sign in or learn about subscription options.pp. 285-286
by Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner
Papers
A Framework for Dependency Evaluation of the Agent Oriented Methodologies Work FlowsFull-text access may be available. Sign in or learn about subscription options.pp. 289-290
by Tannaz Alinaghi, Camellia Ghoroghi, Ahmad Sabouri, Reza Basseda
Papers
Spontaneous Detection of Infinite Loops and Livelocks in Dynamic Testing of Concurrent ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 291-292
by Che-Sheng Lin, Gwan-Hwan Hwang
Papers
Specifying and Verifying PLC Systems with TLA+Full-text access may be available. Sign in or learn about subscription options.pp. 293-294
by Hehua Zhang, Stephan Merz, Ming Gu
Papers
Domain Hierarchies: A Basic Theoretical Framework for Integrating Software DomainsFull-text access may be available. Sign in or learn about subscription options.pp. 295-296
by Pierre Kelsen, Qin Ma
Papers
Improve Semantic Web Services Discovery through Similarity Search in Metric SpaceFull-text access may be available. Sign in or learn about subscription options.pp. 297-298
by Minghui Wu, Fanwei Zhu, Jia Lv, Tao Jiang, Jing Ying
Papers
Parameterized Bisimulation Infinite Evolution MechanismFull-text access may be available. Sign in or learn about subscription options.pp. 299-300
by Yanfang Ma, Min Zhang, Yixiang Chen
Papers
Modeling MapReduce with CSPFull-text access may be available. Sign in or learn about subscription options.pp. 301-302
by Wen Su, Fan Yang, Huibiao Zhu, Qin Li
[Roster]Freely available from IEEE.pp. 334-334
Papers
Formal Specification and Experiments of an Expressive Human-Computer Ensemble System with RehearsalFull-text access may be available. Sign in or learn about subscription options.pp. 303-304
by Tetsuya Mizutani, Tatsuo Suzuki, Masayuki Shio, Yasuwo Ikeda
Papers
Towards Automated Software Verification Using Model Checking TechniquesFull-text access may be available. Sign in or learn about subscription options.pp. 305-306
by Somayeh Asadollahi, Vahid Rafe, Reza Rafeh, Adel T. Rahmani
Papers
Data Structure Shape Inference and Verification for OO ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 307-308
by Rhys Owen, Hugh Anderson
Papers
DUMS: A Dynamical Updatable Monitoring System for Desktop PCs Used for Distributed ComputingFull-text access may be available. Sign in or learn about subscription options.pp. 309-310
by Jinwei Wang, Huazhi Sun, Jianping Fan
Papers
Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 311-312
by Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda, Masayuki Shio
Papers
Representing Aspects in DesignFull-text access may be available. Sign in or learn about subscription options.pp. 313-314
by Saqib Iqbal, Gary Allen
Papers
G-BLAST: BLAST Manager in an Heterogeneous Distributed EnvironmentFull-text access may be available. Sign in or learn about subscription options.pp. 315-316
by Dong-Wook Kim, Tae-Sung Jung, Dae-Won Kim, Seong-Hyeuk Nam, Hyuk-Ryul Kwon, Sang-Haeng Choi, Hyung-Dae Koh, Han-Suk Choi, Hong-Seog Park
Papers
Probabilistic Coordination Language for Component Dynamic CompositionFull-text access may be available. Sign in or learn about subscription options.pp. 317-318
by Dehui Du, Ling Yin
Papers
Modeling Fault Tolerant Services in Service-Oriented ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 319-320
by Farzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel T. Rahmani
Papers
Heap Memory Requirements Analysis via Separation LogicFull-text access may be available. Sign in or learn about subscription options.pp. 321-322
by Guanhua He, Chenguang Luo
Papers
Automated Verification Using Unified Control FlowsFull-text access may be available. Sign in or learn about subscription options.pp. 323-324
by Cristian Gherghina, Cristina David
Papers
MARS: Metamodel Recovery from Multi-tiered Models Using Grammar InferenceFull-text access may be available. Sign in or learn about subscription options.pp. 325-326
by Qichao Liu, Faizan Javed, Marjan Mernik, Barrett R. Bryant, Jeff Gray, Alan Sprague, Dejan Hrncic
Papers
Formal Approaches to Deadlock Analysis in Competitions of Shared Web ResourcesFull-text access may be available. Sign in or learn about subscription options.pp. 327-328
by Jieqi Ding, Han Zhu, Huibiao Zhu, Qin Li
Papers
Measuring the Survivability of Object-Oriented SoftwareFull-text access may be available. Sign in or learn about subscription options.pp. 329-330
by Jueliang Hu, Zuohua Ding, Jing Liu, Ling Yin
Papers
Author IndexFreely available from IEEE.pp. 331-333
Showing 66 out of 66