| 2005 | How Symbolic Animation Can Help Designing an Efficient Formal Model. | Fabrice Bouquet, Frdric Dadeau, Bruno Legeard |
| 2005 | Formal Verification of a Memory Model for | Sandrine Blazy, Xavier Leroy |
| 2005 | An Improved Rule for While Loops in Deductive Program Verification. | Bernhard Beckert, Steffen Schlager, Peter H. Schmitt |
| 2005 | A Compositional Framework for Service Interaction Patterns and Interaction Flows. | Alistair Barros, Egon Brger |
| 2005 | A Static Communication Elimination Algorithm for Distributed System Verification. | Francesc-Xavier Babot, Miquel Bertran, August Climent |
| 2005 | Jahuel: A Formal Framework for Software Synthesis. | Ismail Assayad, Valrie Bertin, F.-X. Defaut, Philippe Gerner, O. Quvreux, Sergio Yovine |
| 2005 | An Abstract Model for Process Mediation. | Michael Altenhofen, Egon Brger, Jens Lemcke |
| 2005 | Towards Dynamically Communicating Abstract Machines in the B Method. | Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmn, T. S. E. Maibaum |
| 2005 | ClawZ: Cost-Effective Formal Verification for Control Systems. | M. M. Adams, Philip B. Clayton |
| 2005 | A Theory of Secure Control Flow. | Martn Abadi, Mihai Budiu, lfar Erlingsson, Jay Ligatti |
| 2004 | A Propositional Logic-Based Method for Verification of Feature Models. | Wei Zhang, Haiyan Zhao, Hong Mei |
| 2004 | Memory-Model-Sensitive Data Race Analysis. | Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom |
| 2004 | Automatic Extraction of Object-Oriented Observer Abstractions from Unit-Test Executions. | Tao Xie, David Notkin |
| 2004 | Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. | Yanjun Wen, Ji Wang, Zhi-Chang Qi |
| 2004 | Learning to Verify Safety Properties. | Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | An Approach to Preserve Protocol Consistency and Executability Across Updates. | Mahadevan Subramaniam, Parvathi Chundi |
| 2004 | Engineering Quality Software. | Amitabh Srivastava |
| 2004 | Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. | Carsten Sinz, Wolfgang Kchlin |
| 2004 | Model-Based Development: Combining Engineering Approaches and Formal Techniques. | Bernhard Schtz |
| 2004 | From Circus to JCSP. | Marcel Oliveira, Ana Cavalcanti |
| 2004 | When Can Formal Methods Make a Real Difference? | Peter G. Neumann |
| 2004 | On the Adoption of Formal Methods by Industry: The ACL2 Experience. | J Strother Moore |
| 2004 | Refinement of Actions for Real-Time Concurrent Systems with Causal Ambiguity. | Mila E. Majster-Cederbaum, Jinzhao Wu, Houguang Yue, Naijun Zhan |
| 2004 | A Specification-Based Approach to Testing Polymorphic Attributes. | Ling Liu, Huaikou Miao |
| 2004 | Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. | Shaoying Liu |