Abstract is missing.
- Set-Theoretic Models of ComputationsJean-Raymond Abrial. 1-22 [doi]
- Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case GenerationBernhard K. Aichernig. 23-36 [doi]
- Pliant Modalities in Hybrid Event-BRichard Banach. 37-53 [doi]
- A Relational Approach to an Algebraic Community: From Paul Erdős to He JifengJonathan P. Bowen. 54-66 [doi]
- Practical Theory Extension in Event-BMichael Butler, Issam Maamria. 67-81 [doi]
- Simulink Timed Models for Program VerificationAna Cavalcanti, Alexandre Mota, Jim Woodcock. 82-99 [doi]
- Concept Analysis Based Approach to Statistical Web TestingChao Chen, Huaikou Miao, Yihai Chen. 100-117 [doi]
- Algebraic Program Semantics for SupercomputingYifeng Chen. 118-135 [doi]
- Modeling and Specification of Real-Time Interfaces with UTPDang Van Hung, Hoang Truong. 136-150 [doi]
- Some Fixed-Point Issues in PPTLZhenhua Duan, Qian Ma, Cong Tian, Nan Zhang. 151-165 [doi]
- The Value-Passing CalculusYuxi Fu. 166-195 [doi]
- Proving Safety of Traffic Manoeuvres on Country RoadsMartin Hilscher, Sven Linker, Ernst-Rüdiger Olderog. 196-212 [doi]
- Generic Models of the Laws of ProgrammingTony Hoare. 213-226 [doi]
- Ours Is to Reason WhyCliff B. Jones, Leo Freitas, Andrius Velykis. 227-243 [doi]
- Optimal Bounds for Multiweighted and Parametrised Energy GamesLine Juhl, Kim Guldstrand Larsen, Jean-François Raskin. 244-255 [doi]
- On the Relationship between LTL Normal Forms and Büchi AutomataJianwen Li, Geguang Pu, Lijun Zhang 0001, Zheng Wang, Jifeng He, Kim Guldstrand Larsen. 256-270 [doi]
- Managing Environment and Adaptation Risks for the Internetware ParadigmJian Lü, Yu Huang 0002, Chang Xu, Xiaoxing Ma. 271-284 [doi]
- Safety versus Security in the Quality CalculusHanne Riis Nielson, Flemming Nielson. 285-303 [doi]
- Invariants Synthesis over a Combined Domain for Automated Program VerificationShengchao Qin, Guanhua He, Wei-Ngan Chin, Hongli Yang. 304-325 [doi]
- Slow Abstraction via PriorityA. W. Roscoe, Philippa J. Hopcroft. 326-345 [doi]
- Performance Estimation Using Symbolic DataJian Zhang. 346-353 [doi]
- Synthesizing Switching Controllers for Hybrid Systems by Generating InvariantsHengjun Zhao, Naijun Zhan, Deepak Kapur. 354-373 [doi]
- Graph-Based Object-Oriented Hoare LogicLiang Zhao, Shuling Wang, Zhiming Liu. 374-393 [doi]
- Towards a Modeling Language for Cyber-Physical SystemsLongfei Zhu, Yongxin Zhao, Huibiao Zhu, Qiwen Xu. 394-411 [doi]