Default Cover Image

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

Aug. 29 2018 to Aug. 31 2018

Guangzhou

Table of Contents

Table of contentsFreely available from IEEE.pp. 5-7
Invited TalksFull-text access may be available. Sign in or learn about subscription options.pp. 11-12
M-String Segmentation: A Refined Abstract Domain for String Analysis in C ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 1-8
Asynchronous Sessions with Implicit Functions and MessagesFull-text access may be available. Sign in or learn about subscription options.pp. 9-16
A Fully Abstract Encoding for Sub Asynchronous Pi CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 17-27
Towards a Program Logic for C11 Release-SequencesFull-text access may be available. Sign in or learn about subscription options.pp. 28-35
Efficient Algorithm for the Iteration Period Computation of Unfolded Synchronous Dataflow GraphsFull-text access may be available. Sign in or learn about subscription options.pp. 36-43
KRust: A Formal Executable Semantics of RustFull-text access may be available. Sign in or learn about subscription options.pp. 44-51
Proving Partial-Correctness and Invariance Properties of Transition-System ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 60-67
Formalization and Verification of AUTOSAR OS Standard's Memory ProtectionFull-text access may be available. Sign in or learn about subscription options.pp. 68-75
Decomposition and Composition of Sequence DiagramsFull-text access may be available. Sign in or learn about subscription options.pp. 76-83
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 84-91
A Taxonomy of Code Changes Occurring within a Statement or a SignatureFull-text access may be available. Sign in or learn about subscription options.pp. 92-99
Observational Models for Linearizability Checking on Weak Memory ModelsFull-text access may be available. Sign in or learn about subscription options.pp. 100-107
Modeling and Verification of NLSR Protocol using UPPAALFull-text access may be available. Sign in or learn about subscription options.pp. 108-115
Telling Lies in Process AlgebraFull-text access may be available. Sign in or learn about subscription options.pp. 116-123
Verifying Graph Transformations with Guarded LogicsFull-text access may be available. Sign in or learn about subscription options.pp. 124-131
On Syntactic and Semantic Dependencies in Service-Oriented ArchitecturesFull-text access may be available. Sign in or learn about subscription options.pp. 132-137
Decomposing Models Through Dependency GraphsFull-text access may be available. Sign in or learn about subscription options.pp. 138-143
An Improved LLF Scheduling for Reducing Maximum Heap Memory Consumption by Considering Laxity TimeFull-text access may be available. Sign in or learn about subscription options.pp. 144-149
Semantics of Real-Time Trigger-Response Properties in Event-BFull-text access may be available. Sign in or learn about subscription options.pp. 150-155
Showing 22 out of 22