| 2013 | A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification. Gustavo Carvalho, Augusto Sampaio, Alexandre Mota |
| 2013 | 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 |
| 2013 | A Proof Slicing Framework for Program Verification. Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin |
| 2013 | A UTP Semantics for Communicating Processes with Shared Variables. Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin |
| 2013 | Algebraic Laws for Process Subtyping. José Dihego, Pedro R. G. Antonino, Augusto Sampaio |
| 2013 | Assisting Specification Refinement by Random Testing. Mengjun Li |
| 2013 | Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. Guoxin Su, David S. Rosenblum |
| 2013 | Automated Specification Discovery via User-Defined Predicates. Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun |
| 2013 | Boundness Issues in CCSL Specifications. Frédéric Mallet, Jean-Vivien Millo |
| 2013 | Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He |
| 2013 | Formal Kinematic Analysis of the Two-Link Planar Manipulator. Binyameen Farooq, Osman Hasan, Sohail Iqbal |
| 2013 | Formal Methods and Software Engineering - 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings Lindsay Groves, Jing Sun |
| 2013 | Formal Modelling of Resilient Data Storage in Cloud. Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pöri |
| 2013 | Formal Models of SysML Blocks. Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti |
| 2013 | Formally Verified System Initialisation. Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis, Thomas Sewell |
| 2013 | Generation of Checking Sequences Using Identification Sets. Faimison Rodrigues Porto, André Takeshi Endo, Adenilso da Silva Simão |
| 2013 | Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. Yuanjie Si, Jun Sun, Yang Liu, Ting Wang |
| 2013 | Lattices of Information for Security: Deterministic, Demonic, Probabilistic. Carroll C. Morgan |
| 2013 | Linking Operational Semantics and Algebraic Semantics for Wireless Networks. Xiaofeng Wu, Huibiao Zhu |
| 2013 | Mining Dataflow Sensitive Specifications. Zhiqiang Zuo, Siau-Cheng Khoo |
| 2013 | Path-Sensitive Data Flow Analysis Simplified. Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li |
| 2013 | Reconstructing Paths for Reachable Code. Stephan Arlt, Zhiming Liu, Martin Schäf |
| 2013 | The Circus Testing Theory Revisited in Isabelle/HOL. Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff |
| 2013 | The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software. Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore, Agostino Cortesi |
| 2013 | Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML. Jaco Jacobs, Andrew Simpson |
| 2013 | Translation from Workflow Nets to MSVL. Ya Shi, Zhenhua Duan, Cong Tian |
| 2013 | Verification of Functional and Non-functional Requirements of Web Service Composition. Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang, Xiaohong Li |
| 2013 | Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
| 2013 | Verifying an Aircraft Proximity Characterization Method in Coq. Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot |
| 2013 | vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun |