| 2014 | Computing Maximal Bisimulations. | Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe |
| 2014 | CASSANDRA: An Online Failure Prediction Strategy for Dynamically Evolving Systems. | Francesco De Angelis, Maria Rita Di Berardini, Henry Muccini, Andrea Polini |
| 2014 | Timed Automata Verification via IC3 with Zones. | Tobias Isenberg, Heike Wehrheim |
| 2013 | Mining Dataflow Sensitive Specifications. | Zhiqiang Zuo, Siau-Cheng Khoo |
| 2013 | Linking Operational Semantics and Algebraic Semantics for Wireless Networks. | Xiaofeng Wu, Huibiao Zhu |
| 2013 | Path-Sensitive Data Flow Analysis Simplified. | Kirsten Winter, Chenyi Zhang, Ian J. Hayes, Nathan Keynes, Cristina Cifuentes, Lian Li |
| 2013 | Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems. | Guoxin Su, David S. Rosenblum |
| 2013 | Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction. | Yuanjie Si, Jun Sun, Yang Liu, Ting Wang |
| 2013 | A UTP Semantics for Communicating Processes with Shared Variables. | Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong, Shengchao Qin |
| 2013 | Translation from Workflow Nets to MSVL. | Ya Shi, Zhenhua Duan, Cong Tian |
| 2013 | Generation of Checking Sequences Using Identification Sets. | Faimison Rodrigues Porto, Andr Takeshi Endo, Adenilso da Silva Simo |
| 2013 | Formal Modelling of Resilient Data Storage in Cloud. | Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg, Mikko Pri |
| 2013 | Lattices of Information for Security: Deterministic, Demonic, Probabilistic. | Carroll C. Morgan |
| 2013 | Formal Models of SysML Blocks. | Alvaro Miyazawa, Lucas Lima, Ana Cavalcanti |
| 2013 | Boundness Issues in CCSL Specifications. | Frdric Mallet, Jean-Vivien Millo |
| 2013 | Verifying an Aircraft Proximity Characterization Method in Coq. | Dongxi Liu, Neale Leslie Fulton, John Zic, Martin de Groot |
| 2013 | Assisting Specification Refinement by Random Testing. | Mengjun Li |
| 2013 | A Proof Slicing Framework for Program Verification. | Ton Chanh Le, Cristian Gherghina, Razvan Voicu, Wei-Ngan Chin |
| 2013 | Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions. | Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
| 2013 | Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML. | Jaco Jacobs, Andrew Simpson |
| 2013 | Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. | Yanhong Huang, Joo F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He |
| 2013 | Automated Specification Discovery via User-Defined Predicates. | Guanhua He, Shengchao Qin, Wei-Ngan Chin, Florin Craciun |
| 2013 | vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems. | Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai, Jun Sun |
| 2013 | The Circus Testing Theory Revisited in Isabelle/HOL. | Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff |
| 2013 | Formal Kinematic Analysis of the Two-Link Planar Manipulator. | Binyameen Farooq, Osman Hasan, Sohail Iqbal |