| 2007 | A Denotational Semantics for Handel-C Hardware Compilation. Juan Ignacio Perna, Jim Woodcock |
| 2007 | A System Development Process with Event-B and the Rodin Platform. Jean-Raymond Abrial |
| 2007 | A Verification Framework for Agent Knowledge. Jin Song Dong, Yuzhang Feng, Ho-fung Leung |
| 2007 | Automatic Generation of Verified Concurrent Hardware. Marcel Oliveira, Jim Woodcock |
| 2007 | Automating Refinement Checking in Probabilistic System Design. Carlos Gonzalía, Annabelle McIver |
| 2007 | Calculating and Composing Progress Properties in Terms of the Leads-to Relation. Arjan J. Mooij |
| 2007 | Challenges in Software Certification. T. S. E. Maibaum |
| 2007 | Efficient Symbolic Execution of Large Quantifications in a Process Algebra. Benoît Fraikin, Marc Frappier |
| 2007 | Formal Engineering of XACML Access Control Policies in VDM++. Jeremy W. Bryans, John S. Fitzgerald |
| 2007 | Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings Michael J. Butler, Michael G. Hinchey, María M. Larrondo-Petrie |
| 2007 | Formalizing SANE Virtual Processor in Thread Algebra. Thuy Duong Vu, Chris R. Jesshope |
| 2007 | From Model-Based Design to Formal Verification of Adaptive Embedded Systems. Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié |
| 2007 | Integrating Formal Methods with System Management. Martin de Groot |
| 2007 | Integrating Specification-Based Review and Testing for Detecting Errors in Programs. Shaoying Liu |
| 2007 | Machine-Assisted Proof Support for Validation Beyond Simulink. Chunqing Chen, Jin Song Dong, Jun Sun |
| 2007 | Model Checking Propositional Projection Temporal Logic Based on SPIN. Cong Tian, Zhenhua Duan |
| 2007 | Model Checking in Practice: Analysis of Generic Bootloader Using SPIN. Kuntal Das Barman, Debapriyay Mukhopadhyay |
| 2007 | Model Checking with SAT-Based Characterization of ACTL Formulas. Wenhui Zhang |
| 2007 | Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking. Guillermo Rodríguez-Navas, Julián Proenza, Hans Hansson |
| 2007 | Reducing Test Sequence Length Using Invertible Sequences. Lihua Duan, Jessica Chen |
| 2007 | Testing for Refinement in CSP. Ana Cavalcanti, Marie-Claude Gaudel |
| 2007 | VeSTA: A Tool to Verify the Correct Integration of a Component in a Composite Timed System. Jacques Julliand, Hassan Mountassir, Emilie Oudot |