| 2010 | A Combination of Forward and Backward Reachability Analysis Methods. Kazuhiro Ogata, Kokichi Futatsugi |
| 2010 | A Formal Verification Study on the Rotterdam Storm Surge Barrier. Ken Madlener, Sjaak Smetsers, Marko C. J. D. van Eekelen |
| 2010 | A Methodology for Automatic Diagnosability Analysis. Jonathan Ezekiel, Alessio Lomuscio |
| 2010 | A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model. Scott West, Sebastian Nanz, Bertrand Meyer |
| 2010 | A Pattern System to Support Refining Informal Ideas into Formal Expressions. Xi Wang, Shaoying Liu, Huaikou Miao |
| 2010 | A Semantic Model for Service Composition with Coordination Time Delays. Natallia Kokash, Behnaz Changizi, Farhad Arbab |
| 2010 | API Conformance Verification for Java Programs. Xin Li, H. James Hoover, Piotr Rudnicki |
| 2010 | Abstract Program Slicing: From Theory towards an Implementation. Isabella Mastroeni, Durica Nikolic |
| 2010 | Alternating Interval Based Temporal Logics. Cong Tian, Zhenhua Duan |
| 2010 | An Improved Decision Procedure for Propositional Projection Temporal Logic. Zhenhua Duan, Cong Tian |
| 2010 | Applying Ordinary Differential Equations to the Performance Analysis of Service Composition. Zuohua Ding, Hui Shen, Jing Liu |
| 2010 | Applying PVS Background Theories and Proof Strategies in Invariant Based Programming. Johannes Eriksson, Ralph-Johan Back |
| 2010 | Assume-Guarantee Reasoning with Local Specifications. Alessio Lomuscio, Ben Strulo, Nigel G. Walker, Peng Wu |
| 2010 | Automated Multiparameterised Verification by Cut-Offs. Antti Siirtola |
| 2010 | Automatically Testing Web Services Choreography with Assertions. Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding |
| 2010 | Automating Coinduction with Case Analysis. Eugen-Ioan Goriac, Dorel Lucanu, Grigore Rosu |
| 2010 | Automating Cut-off for Multi-parameterized Systems. Youssef Hanna, David Samuelson, Samik Basu, Hridesh Rajan |
| 2010 | Closed Form Approximations for Steady State Probabilities of a Controlled Fork-Join Network. Jonathan Billington, Guy Edward Gallasch |
| 2010 | Comparison of Model Checking Tools for Information Systems. Marc Frappier, Benoît Fraikin, Romain Chossart, Raphaël Chane-Yack-Fa, Mohammed Ouenzar |
| 2010 | Compensable WorkFlow Nets. Fazle Rabbi, Hao Wang, Wendy MacCaull |
| 2010 | Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. Iman Poernomo, Jeffrey Terrell |
| 2010 | Decision Procedures for the Temporal Verification of Concurrent Lists. Alejandro Sánchez, César Sánchez |
| 2010 | Dynamic Resource Reallocation between Deployment Components. Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2010 | Enhanced Semantic Access to Formal Software Models. Hai H. Wang, Danica Damljanovic, Jing Sun |
| 2010 | Exploiting Partial Success in Applying Automated Formal Methods. Matthew B. Dwyer |
| 2010 | Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings Jin Song Dong, Huibiao Zhu |
| 2010 | Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. Islam Abdelhalim, James Sharp, Steve A. Schneider, Helen Treharne |
| 2010 | Formalization and Correctness of the PALS Architectural Pattern for Distributed Real-Time Systems. José Meseguer, Peter Csaba Ölveczky |
| 2010 | Fostering Proof Scores in CafeOBJ. Kokichi Futatsugi |
| 2010 | Laws of Pattern Composition. Hong Zhu, Ian Bayley |
| 2010 | Loop Invariant Synthesis in a Combined Domain. Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin |
| 2010 | Making Pattern- and Model-Based Software Development More Rigorous. Denis Hatebur, Maritta Heisel |
| 2010 | Making the Right Cut in Model Checking Data-Intensive Timed Systems. Rüdiger Ehlers, Michael Gerke, Hans-Jörg Peter |
| 2010 | Method for Formal Verification of Soft-Error Tolerance Mechanisms in Pipelined Microprocessors. Miroslav N. Velev, Ping Gao |
| 2010 | Model Checking Hierarchical Probabilistic Systems. Jun Sun, Songzheng Song, Yang Liu |
| 2010 | Model Checking a Model Checker: A Code Contract Combined Approach. Jun Sun, Yang Liu, Bin Cheng |
| 2010 | Model-Driven Protocol Design Based on Component Oriented Modeling. Prabhu Shankar Kaliappan, Hartmut König, Sebastian Schmerl |
| 2010 | Multicore Embedded Systems: The Timing Problem and Possible Solutions. Wang Yi |
| 2010 | On Symmetries and Spotlights - Verifying Parameterised Systems. Nils Timm, Heike Wehrheim |
| 2010 | Practical Parameterised Session Types. Andi Bejleri |
| 2010 | Proof Obligation Generation and Discharging for Recursive Definitions in VDM. Augusto Ribeiro, Peter Gorm Larsen |
| 2010 | Reasoning about Safety and Progress Using Contracts. Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton |
| 2010 | Software Metrics in Static Program Analysis. Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wolfgang Reif |
| 2010 | Specification Translation of State Machines from Equational Theories into Rewrite Theories. Min Zhang, Kazuhiro Ogata, Masaki Nakamura |
| 2010 | Trace-Driven Verification of Multithreaded Programs. Zijiang Yang, Karem A. Sakallah |
| 2010 | Verifying Heap-Manipulating Programs with Unknown Procedure Calls. Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin |