| 2008 | Safe and Reliable Metro Platform Screen Doors Control/Command Systems. | Thierry Lecomte |
| 2008 | Application of a Formal Specification Language in the Development of the "Mobile FeliCa" IC Chip Firmware for Embedding in Mobile Phone. | Taro Kurita, Miki Chiba, Yasumasa Nakatsugawa |
| 2008 | Simulation, Orchestration and Logical Clocks. | David Kitchin, Evan Powell, Jayadev Misra |
| 2008 | Secret Ninja Formal Methods. | Joseph R. Kiniry, Daniel M. Zimmerman |
| 2008 | Aspects and Formal Methods. | Shmuel Katz |
| 2008 | Towards Consistent Specifications of Product Families. | Alexander Harhurin, Judith Hartmann |
| 2008 | Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. | Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif |
| 2008 | Precise Interval Analysis vs. Parity Games. | Thomas Gawlitza, Helmut Seidl |
| 2008 | Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
| 2008 | Lessons in the Weird and Unexpected: Some Experiences from Checking Large Real Systems. | Dawson R. Engler |
| 2008 | Assume-Guarantee Verification for Interface Automata. | Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2008 | Lazy Behavioral Subtyping. | Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen |
| 2008 | Industrial Use of Formal Methods for a High-Level Security Evaluation. | Boutheina Chetali, Quang Huy Nguyen |
| 2008 | JML Runtime Assertion Checking: Improved Error Reporting and Efficiency Using Strong Validity. | Patrice Chalin, Frdric Rioux |
| 2008 | Masking Faults While Providing Bounded-Time Phased Recovery. | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
| 2008 | Getting Formal Verification into Design Flow. | Arvind, Nirav Dave, Michael Katelman |
| 2008 | Specification and Checking of Software Contracts for Conditional Information Flow. | Torben Amtoft, John Hatcliff, Edwin Rodrguez, Robby, Jonathan Hoag, David A. Greve |
| 2008 | Provably Correct Runtime Monitoring. | Irem Aktug, Mads Dam, Dilian Gurov |
| 2006 | Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. | Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue |
| 2006 | Compositional Binding in Network Domains. | Pamela Zave |
| 2006 | Verified Software Grand Challenge. | Jim Woodcock |
| 2006 | Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. | Marcel Verhoef, Peter Gorm Larsen, Jozef Hooman |
| 2006 | Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study. | Shinya Umeno, Nancy A. Lynch |
| 2006 | Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. | Werner Stephan |
| 2006 | Interactive Verification of Medical Guidelines. | Jonathan Schmitt, Alwin Hoffmann, Michael Balser, Wolfgang Reif, Mar Marcos |