| 2012 | Modeling and Validation of PLC-Controlled Systems: A Case Study. | Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga |
| 2012 | A Formal Diagrammatic Approach to Timed Workflow Modelling. | Hao Wang, Adrian Rutle, Wendy MacCaull |
| 2012 | A Type System for SPARDL. | Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu |
| 2012 | Categorical Reasoning about Meta-models. | Laurent Thiry, Frdric Fondement, Pierre-Alain Muller |
| 2012 | Verifying OO Programs by Linking Algebraic and Abstract Specifications. | Qin Shu, Shuling Wang, Yijing Liu |
| 2012 | Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. | Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye |
| 2012 | On model construction for modal mu-calculus. | Nan Qu |
| 2012 | Bisimulation for Lattice-valued Transition Systems. | Haiyu Pan, Min Zhang, Yixiang Chen |
| 2012 | Symbolic Model Checking for Propositional Projection Temporal Logic. | Tao Pang, Zhenhua Duan, Cong Tian |
| 2012 | Connectors as Designs: The Time Dimension. | Sun Meng |
| 2012 | A Succinct and Efficient Implementation of a 2^32 BDD Package. | Guanfeng Lv, Yao Chen, Yachao Feng, Qingliang Chen, Kaile Su |
| 2012 | Formal Specification of Hybrid MARTE Statecharts. | Ziwei Liu, Jing Liu, Jifeng He, Frdric Mallet, Miaomiao Zhang |
| 2012 | Recognising the Capacities of Dynamic Reconfiguration for the QoS Assurance of Running Systems in Concurrent and Parallel Environments. | Wei Li, Maolin Tang |
| 2012 | Comparative Analysis of Clustering Protocols with Probabilistic Model Checking. | Qian Li, Pter Schaffer, Jun Pang, Sjouke Mauw |
| 2012 | Formal Specification and Probabilistic Verification of SysML Activity Diagrams. | Yosr Jarraya, Mourad Debbabi |
| 2012 | Statement-Coverage Testing for Nondeterministic Concurrent Programs. | Gwan-Hwan Hwang, Heng-Yi Lin, Shao-Yan Lin, Che-Sheng Lin |
| 2012 | File Parsing Vulnerability Detection with Symbolic Execution. | Chaojian Hu, Zhoujun Li, Jinxin Ma, Tao Guo, Zhiwei Shi |
| 2012 | Overview of TASE 2012 Talk on Search Based Software Engineering. | Mark Harman |
| 2012 | Model-Based Test Generation Using Evolutional Symbolic Grammar. | Hai-Feng Guo, Mahadevan Subramaniam |
| 2012 | Strong Preservation by Model Deformation. | Roberto Giacobazzi, Isabella Mastroeni, Durica Nikolic |
| 2012 | Dataflow Weaknesses Analysis of Scientific Workflow Based on Fault Tree. | Xiaodong Fu, Feng Wang, Xiaoyan Liu, Kaifan Ji, Ping Zou |
| 2012 | Automated Verification of the FreeRTOS Scheduler in HIP/SLEEK. | Joo F. Ferreira, Guanhua He, Shengchao Qin |
| 2012 | Formal Verification and Simulation: Co-verification for Subway Control Systems. | Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi |
| 2012 | Dynamic Solution of Linear Constraints for Test Case Generation. | Marko Ernsting, Tim A. Majchrzak, Herbert Kuchen |
| 2012 | From Verification to Specification Inference. | Wei-Ngan Chin, Cristina David |