| 2008 | A Formal Descriptive Semantics of UML. Lijun Shan, Hong Zhu |
| 2008 | A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. Florin Craciun, Shengchao Qin, Wei-Ngan Chin |
| 2008 | A Practical Approach to Partiality - A Proof Based Approach. Farhad Mehta |
| 2008 | A Process Semantics for BPMN. Peter Y. H. Wong, Jeremy Gibbons |
| 2008 | A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking. Nick Moffat, Michael Goldsmith, Bill Roscoe |
| 2008 | A Unified Model Checking Approach with Projection Temporal Logic. Zhenhua Duan, Cong Tian |
| 2008 | An Approach to Testing with Embedded Context Using Model Checker. Lihua Duan, Jessica Chen |
| 2008 | Conformance Testing Based on UML State Machines. Dirk Seifert |
| 2008 | Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows. John Hatcliff |
| 2008 | Correct Channel Passing by Construction. Chao Cai, Zongyan Qiu, Xiangpeng Zhao, Hongli Yang |
| 2008 | Decomposition for Compositional Verification. Björn Metzler, Heike Wehrheim, Daniel Wonisch |
| 2008 | Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. Kazuhiro Ogata, Kokichi Futatsugi |
| 2008 | Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings Shaoying Liu, T. S. E. Maibaum, Keijiro Araki |
| 2008 | How Can We Make Industry Adopt Formal Methods? Takuya Katayama |
| 2008 | Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial |
| 2008 | Partial Translation Verification for Untrusted Code-Generators. Matthew Staats, Mats Per Erik Heimdahl |
| 2008 | Practical Automated Partial Verification of Multi-paradigm Real-Time Models. Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2008 | Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. Michael Leuschel, Marc Fontaine |
| 2008 | Program Models for Compositional Verification. Marieke Huisman, Irem Aktug, Dilian Gurov |
| 2008 | Programmers Ain't Mathematicians, and Neither Are Testers. Jeff Offutt |
| 2008 | Requirements Coverage as an Adequacy Measure for Conformance Testing. Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |
| 2008 | Specifying and Verifying Event-Based Fairness Enhanced Systems. Jun Sun, Yang Liu, Jin Song Dong, Hai H. Wang |
| 2008 | Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi, Xian Zhang |
| 2008 | Towards Abstraction for DynAlloy Specifications. Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis |