| 2004 | A CLP Approach to Modelling Systems. Joxan Jaffar |
| 2004 | A Formal Monitoring-Based Framework for Software Development and Analysis. Feng Chen, Marcelo d'Amorim, Grigore Rosu |
| 2004 | A General Model for Reachability Testing of Concurrent Programs. Richard H. Carver, Yu Lei |
| 2004 | A Knowledge Based Analysis of Cache Coherence. Kai Baukus, Ron van der Meyden |
| 2004 | A Propositional Logic-Based Method for Verification of Feature Models. Wei Zhang, Haiyan Zhao, Hong Mei |
| 2004 | A Specification-Based Approach to Testing Polymorphic Attributes. Ling Liu, Huaikou Miao |
| 2004 | An Approach to Preserve Protocol Consistency and Executability Across Updates. Mahadevan Subramaniam, Parvathi Chundi |
| 2004 | An Equational Calculus for Alloy. Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre |
| 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 | CSP Representation of Game Semantics for Second-Order Idealized Algol. Aleksandar S. Dimovski, Ranko Lazic |
| 2004 | Counterexample Guided Abstraction Refinement Via Program Execution. Daniel Kroening, Alex Groce, Edmund M. Clarke |
| 2004 | Deriving Probabilistic Semantics Via the 'Weakest Completion'. Jifeng He, Carroll Morgan, Annabelle McIver |
| 2004 | Engineering Quality Software. Amitabh Srivastava |
| 2004 | Faster Analysis of Formal Specifications. Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet |
| 2004 | Formal Engineering for Industrial Software Development - An Introduction to the SOFL Specification Language and Method. Shaoying Liu |
| 2004 | Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings Jim Davies, Wolfram Schulte, Michael Barnett |
| 2004 | Formal Models for Web Navigations with Session Control and Browser Cache. Jessica Chen, Xiaoshan Zhao |
| 2004 | Formal Proof from UML Models. Nuno Amálio, Susan Stepney, Fiona Polack |
| 2004 | From Circus to JCSP. Marcel Oliveira, Ana Cavalcanti |
| 2004 | From Durational Specifications to TLA Designs of Timed Automata. Yifeng Chen, Zhiming Liu |
| 2004 | Guiding Spin Simulation. Nicolae Goga, Judi Romijn |
| 2004 | Implementing Dynamic Aggregations of Abstract Machines in the B Method. Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum |
| 2004 | Interactive Verification of UML State Machines. Michael Balser, Simon Bäumler, Alexander Knapp, Wolfgang Reif, Andreas Thums |
| 2004 | Learning to Verify Safety Properties. Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha |
| 2004 | Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains. YoungMin Kwon, Gul Agha |
| 2004 | Managing Verification Activities Using SVM. Bill Aldrich, Ansgar Fehnker, Peter H. Feiler, Zhi Han, Bruce H. Krogh, Eric Lim, Shiva Sivashankar |
| 2004 | Memory-Model-Sensitive Data Race Analysis. Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom |
| 2004 | Model-Based Development: Combining Engineering Approaches and Formal Techniques. Bernhard Schätz |
| 2004 | Model-Based Testing with Spec#. Jonathan Jacky |
| 2004 | Multi-prover Verification of C Programs. Jean-Christophe Filliâtre, Claude Marché |
| 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 | Software Model Checking Using Linear Constraints. Alessandro Armando, Claudio Castellini, Jacopo Mantovani |
| 2004 | Timed Patterns: TCOZ to Timed Automata. Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi |
| 2004 | Tutorial on the RAISE Language, Method and Tools. Chris George |
| 2004 | Tutorial: Software Model Checking. Edmund M. Clarke, Daniel Kroening |
| 2004 | Verifying a File System Implementation. Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard |
| 2004 | Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. Carsten Sinz, Wolfgang Küchlin |
| 2004 | When Can Formal Methods Make a Real Difference? Peter G. Neumann |