| 2012 | A Composable Mixed Mode Concurrency Control Semantics for Transactional Programs. Granville Barnett, Shengchao Qin |
| 2012 | A Concurrent Temporal Programming Model with Atomic Blocks. Xiaoxiao Yang, Yu Zhang, Ming Fu, Xinyu Feng |
| 2012 | A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and Verification. Mengjun Li |
| 2012 | A Temporal Logic with Mean-Payoff Constraints. Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki |
| 2012 | An Analytical and Experimental Comparison of CSP Extensions and Tools. Ling Shi, Yang Liu, Jun Sun, Jin Song Dong, Gustavo Carvalho |
| 2012 | Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers. Svetoslav R. Ganov, Sarfraz Khurshid, Dewayne E. Perry |
| 2012 | Applying Term Rewriting to Speech Recognition of Numbers. Robert E. Shostak |
| 2012 | Automatic Generation of Provably Correct Embedded Systems. Shang-Wei Lin, Yang Liu, Pao-Ann Hsiung, Jun Sun, Jin Song Dong |
| 2012 | Complementary Methodologies for Developing Hybrid Systems with Event-B. Wen Su, Jean-Raymond Abrial, Huibiao Zhu |
| 2012 | ConSMutate: SQL Mutants for Guiding Concolic Testing of Database Applications. Tanmoy Sarkar, Samik Basu, Johnny S. Wong |
| 2012 | Demonic Testing of Concurrent Programs. Scott West, Sebastian Nanz, Bertrand Meyer |
| 2012 | Equational Abstraction Refinement for Certified Tree Regular Model Checking. Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay |
| 2012 | Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012. Proceedings Toshiaki Aoki, Kenji Taguchi |
| 2012 | Formal Methods in the Aerospace Industry: Follow the Money. Darren D. Cofer |
| 2012 | Heuristic-Guided Abstraction Refinement for Concurrent Systems. Nils Timm, Heike Wehrheim, Mike Czech |
| 2012 | Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2012 | Modeling and Verification of Probabilistic Actor Systems Using pRebeca. Mahsa Varshosaz, Ramtin Khosravi |
| 2012 | Modular Verification of OO Programs with Interfaces. Zongyan Qiu, Ali Hong, Yijing Liu |
| 2012 | More Anti-chain Based Refinement Checking. Ting Wang, Songzheng Song, Jun Sun, Yang Liu, Jin Song Dong, Xinyu Wang, Shanping Li |
| 2012 | Predicate Analysis with Block-Abstraction Memoization. Daniel Wonisch, Heike Wehrheim |
| 2012 | Quantitative Analysis of Information Flow Using Theorem Proving. Tarek Mhamdi, Osman Hasan, Sofiène Tahar |
| 2012 | Quantitative Program Dependence Graphs. Chunyan Mu |
| 2012 | SMT-Based False Positive Elimination in Static Program Analysis. Maximilian Junker, Ralf Huuck, Ansgar Fehnker, Alexander Knapp |
| 2012 | Separation Predicates: A Taste of Separation Logic in First-Order Logic. François Bobot, Jean-Christophe Filliâtre |
| 2012 | Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic. Kazuhiro Ogata, Thi Thanh Huyen Phan |
| 2012 | State Space c-Reductions of Concurrent Systems in Rewriting Logic. Alberto Lluch-Lafuente, José Meseguer, Andrea Vandin |
| 2012 | Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof System. Yoshinori Neya, Noriaki Yoshiura |
| 2012 | Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization. Truong Khanh Nguyen, Jun Sun, Yang Liu, Jin Song Dong |
| 2012 | The Confinement Problem in the Presence of Faults. William L. Harrison, Adam M. Procter, Gerard Allwein |
| 2012 | Time Constraints with Temporal Logic Programming. Meng Han, Zhenhua Duan, Xiaobing Wang |
| 2012 | Toward Practical Application of Formal Methods in Software Lifecycle Processes. Mario Tokoro |
| 2012 | Towards Certified Runtime Verification. Jan Olaf Blech, Yliès Falcone, Klaus Becker |
| 2012 | Towards a Formal Verification Methodology for Collective Robotic Systems. Edmond Gjondrekaj, Michele Loreti, Rosario Pugliese, Francesco Tiezzi, Carlo Pinciroli, Manuele Brambilla, Mauro Birattari, Marco Dorigo |
| 2012 | Variable Permissions for Concurrency Verification. Duy-Khanh Le, Wei-Ngan Chin, Yong Meng Teo |
| 2012 | Verification of ATL Transformations Using Transformation Models and Model Finders. Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla |