Abstract is missing.
- Lattices of Information for Security: Deterministic, Demonic, ProbabilisticCarroll C. Morgan. 1-3 [doi]
- Algebraic Laws for Process SubtypingJosé Dihego, Pedro Antonino, Augusto Sampaio. 4-19 [doi]
- Boundness Issues in CCSL SpecificationsFrédéric Mallet, Jean-Vivien Millo. 20-35 [doi]
- Mining Dataflow Sensitive SpecificationsZhiqiang Zuo, Siau-Cheng Khoo. 36-52 [doi]
- A Proof Slicing Framework for Program VerificationTon Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin. 53-69 [doi]
- Formally Verified System InitialisationAndrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell. 70-85 [doi]
- Verifying an Aircraft Proximity Characterization Method in CoqDongxi Liu, Neale L. Fulton, John Zic, Martin de Groot. 86-101 [doi]
- Assisting Specification Refinement by Random TestingMengjun Li. 102-114 [doi]
- Generation of Checking Sequences Using Identification SetsFaimison Rodrigues Porto, André Takeshi Endo, Adenilso da Silva Simão. 115-130 [doi]
- The Circus Testing Theory Revisited in Isabelle/HOLAbderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff. 131-147 [doi]
- A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance VerificationGustavo Carvalho, Augusto Sampaio, Alexandre Mota. 148-164 [doi]
- Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of InterruptsYanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He. 165-181 [doi]
- Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry ReductionYuanjie Si, Jun Sun 0001, Yang Liu, Ting Wang. 182-198 [doi]
- A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent SystemsÉtienne André, Benoît Barbot, Clement Demoulins, Lom-Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard, Laure Petrucci. 199-214 [doi]
- A UTP Semantics for Communicating Processes with Shared VariablesLing Shi, Yongxin Zhao, Yang Liu, Jun Sun 0001, Jin Song Dong, Shengchao Qin. 215-230 [doi]
- Verification of Static and Dynamic Barrier Synchronization Using Bounded PermissionsDuy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo. 231-248 [doi]
- Formal Models of SysML BlocksAlvaro Miyazawa, Lucas Lima, Ana Cavalcanti. 249-264 [doi]
- Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysMLJaco Jacobs, Andrew Simpson. 265-280 [doi]
- Translation from Workflow Nets to MSVLYa Shi, Zhenhua Duan, Cong Tian. 281-296 [doi]
- Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic SystemsGuoxin Su, David S. Rosenblum. 297-312 [doi]
- Verification of Functional and Non-functional Requirements of Web Service CompositionManman Chen, Tian Huat Tan, Jun Sun 0001, Yang Liu, Jun Pang, Xiaohong Li. 313-328 [doi]
- vTRUST: A Formal Modeling and Verification Framework for Virtualization SystemsJianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun 0001. 329-346 [doi]
- Formal Kinematic Analysis of the Two-Link Planar ManipulatorBinyameen Farooq, Osman Hasan, Sohail Iqbal. 347-362 [doi]
- Formal Modelling of Resilient Data Storage in CloudInna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri. 363-379 [doi]
- Linking Operational Semantics and Algebraic Semantics for Wireless NetworksXiaofeng Wu, Huibiao Zhu. 380-396 [doi]
- Automated Specification Discovery via User-Defined PredicatesGuanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun. 397-414 [doi]
- Path-Sensitive Data Flow Analysis SimplifiedKirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li. 415-430 [doi]
- Reconstructing Paths for Reachable CodeStephan Arlt, Zhiming Liu, Martin Schäf. 431-446 [doi]
- The Domain of Parametric Hypercubes for Static Analysis of Computer Games SoftwareGiulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi. 447-463 [doi]