Abstract is missing.
- Cost-Utility Analysis in Probabilistic ModelsChristel Baier. 1 [doi]
- A New Roadmap on Linking Theories of ProgrammingJifeng He. 2 [doi]
- A Suspension-Trace Semantics for CSPAna Cavalcanti, Robert M. Hierons, Sidney Nogueira, Augusto Sampaio. 3-13 [doi]
- On-the-Fly Determinization of Bounded Networks of Timed AutomataBernhard K. Aichernig, Florian Lorber. 14-21 [doi]
- Termination and Boundedness for Well-Structured Pushdown SystemsSuhua Lei, Xiaojuan Cai, Mizuhito Ogawa. 22-29 [doi]
- The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint LoopsYi Li, Guang Zhu, Yong Feng. 30-37 [doi]
- Bayesian Statistical Model-Checking for Complex Stochastic SystemsJia He, Min Zhang 0007, Kangli He, Yannan Guo, Yusi Lei. 38-41 [doi]
- Sound Test-Suites for Cyber-Physical SystemsMorteza Mohaqeqi, Mohammad Reza Mousavi. 42-48 [doi]
- SeededFuzz: Selecting and Generating Seeds for Directed FuzzingWeiguang Wang, Hao Sun, Qingkai Zeng. 49-56 [doi]
- Towards Parallel Model Generation for Random Performance Testing of Model-Oriented OperationsXiao He, Wenfeng Li, Tian Zhang, Yi Liu. 57-64 [doi]
- Formal Refinement and Partitioning of a Fuel Pump System for Small Aircraft in Hybrid Event-BRichard Banach. 65-72 [doi]
- Formal Proof of Dynamic Memory Isolation Based on MMUNarjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym. 73-80 [doi]
- Verifying OSEK/VDX OS Design Using Its Formal SpecificationDieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki. 81-88 [doi]
- Automatic Conversion and Verification System Based on AADL Scheduling ModelDachuan Liang, Jing Li, Haiyang Bai, Huafeng Lin. 89-92 [doi]
- UTP Semantics for Shared-State, Concurrent, Context-Sensitive Process ModelsAndrew Butterfield, Anila Mjeda, John Noll. 93-100 [doi]
- Value-Passing CCS for Trees: A Theory for Concurrent SystemsShichao Liu, Ying Jiang. 101-108 [doi]
- A Term Rewriting Approach to Analyze High Level Petri NetsXudong He, Reng Zeng, Su Liu, Zhuo Sun, Kyungmin Bae. 109-112 [doi]
- Hypergraph Representation of Lambda-TermsAlimujiang Yasen, Kazunori Ueda. 113-116 [doi]
- Behaviour-Aware Matching of Cloud ApplicationsFilippo Bonchi, Antonio Brogi, Andrea Canciani, Jacopo Soldani. 117-124 [doi]
- Agile Validation of Higher Order Transformations Using F-AlloyLoïc Gammaitoni, Pierre Kelsen, Qin Ma 0002. 125-131 [doi]
- Active Learning from Blackbox to Timed ConnectorsYi Li, Meng Sun, Yiwu Wang. 132-135 [doi]
- Hierarchical Multiset Theories of Cardinality-Based Feature DiagramsAliakbar Safilian, Tom Maibaum. 136-143 [doi]
- Lightweight Method-Level Energy Consumption Estimation for Android ApplicationsQiong Lu, Tianyong Wu, Jiwei Yan, Jun Yan, Feifei Ma, Fan Zhang. 144-151 [doi]
- From Traces to Proofs: Proving Concurrent Programs SafeChinmay Narayan, Subodh Vishnu Sharma, Shibashis Guha, S. Arun-Kumar. 152-159 [doi]
- Complete Contracts through Specification DriversAlexandr Naumchev, Bertrand Meyer. 160-167 [doi]
- State-Taint Analysis for Detecting Resource BugsZhiwu Xu, Dongxiao Fan, Shengchao Qin. 168-175 [doi]