| 2004 | 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China |
| 2004 | A Formalism for Conformance Analysis and Its Applications. Tien Nhut Nguyen, Ethan V. Munson |
| 2004 | A Programming Model for the Orchestration of Web Services. Jayadev Misra |
| 2004 | ABC: Supporting Software Architectures in the Whole Lifecycle. Hong Mei |
| 2004 | Abstraction of Parallel Uniform Processes with Data. Jun Pang, Jaco van de Pol, Miguel Valero Espada |
| 2004 | An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2004 | An Asynchronous Communication Model for Distributed Concurrent Objects. Einar Broch Johnsen, Olaf Owe |
| 2004 | Automated Element-Wise Reasoning with Sets. Georg Struth |
| 2004 | Care, Feeding and Growth of Software Systems. Mathai Joseph |
| 2004 | Checking Extended CTL properties Using Guarded Quotient Structures. A. Prasad Sistla, Xiaodong Wang, Min Zhou |
| 2004 | Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2004 | Distributed Testing of Multi Input/Output Transition System. Zhongjie Li, Xia Yin, Jianping Wu |
| 2004 | Exception Safety for C#. K. Rustan M. Leino, Wolfram Schulte |
| 2004 | Fault Tolerance in a Layered Architecture: A General Specification Pattern in B. Linas Laibinis, Elena Troubitsyna |
| 2004 | Finding the Causes of Unrealizability of Reactive System Formal Specifications. Noriaki Yoshiura |
| 2004 | Formal Derivation of Functional Architectural Design. Ridha Khédri, Imen Bourguiba |
| 2004 | Formal Verification of Requirements using SPIN: A Case Study on Web Services. Raman Kazhamiakin, Marco Pistore, Marco Roveri |
| 2004 | From Requirements Change to Design Change: A Formal Path. Lian Wen, R. Geoff Dromey |
| 2004 | Generating Efficient Test Sets with a Model Checker. Grégoire Hamon, Leonardo Mendonça de Moura, John M. Rushby |
| 2004 | Glass-Box and Black-Box Views on Object-Oriented Specifications. Michel Bidoit, Rolf Hennicker, Alexander Knapp, Hubert Baumeister |
| 2004 | Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. Tobias Schüle, Klaus Schneider |
| 2004 | Heuristics for Refinement Relations. Florian Kammüller, Jeff W. Sanders |
| 2004 | How to Verify Dynamic Properties of Information Systems. Neil Evans, Helen Treharne, Régine Laleau, Marc Frappier |
| 2004 | Modeling Peer-to-Peer Service Goals in UML. Richard Torbjørn Sanders, Rolv Bræk |
| 2004 | Models and Temporal Logics for Timed Component Connectors. Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten |
| 2004 | On Semantics and Refinement of UML Statecharts: A Coalgebraic View. Sun Meng, Zhang Naixiao, Luís Soares Barbosa |
| 2004 | Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. Stephan Flake, Wolfgang Müller |
| 2004 | Path-Oriented Test Data Generation Using Symbolic Execution and Constraint Solving Techniques. Jian Zhang, Chen Xu, Xiaoliang Wang |
| 2004 | Proof Reuse for Deductive Program Verification. Bernhard Beckert, Vladimir Klebanov |
| 2004 | Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems. Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash |
| 2004 | Property-Driven Development. Hubert Baumeister, Alexander Knapp, Martin Wirsing |
| 2004 | Random Testing in Isabelle/HOL. Stefan Berghofer, Tobias Nipkow |
| 2004 | Refine and Gabriel: Support for Refinement and Tactics. Marcel Oliveira, Manuela Xavier, Ana Cavalcanti |
| 2004 | Resource Models and Pre-Compiler Specification for Hardware/Software Co-Design Language. Naiyong Jin, Jifeng He |
| 2004 | Symbolic Verification of Infinite Systems using a Finite Union of DFAs. Suman Roy |
| 2004 | Test Case Generation Using Stochastic Automata Networks: Quantitative Analysis. Cristiano Bertolini, André G. Farina, Paulo Fernandes, Flávio Moreira Oliveira |
| 2004 | The Formal, Tool Supported Development of Real Time Systems. Richard O. Sinnott |
| 2004 | The Rhapsody UML Verification Environment. Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal |
| 2004 | Theory and Algorithms for the Generation and Validation of Speculative Loop Optimizations. Ying Hu, Clark W. Barrett, Benjamin Goldberg |
| 2004 | Towards Action Refinement for Concurrent Systems with Causal Ambiguity. Jinzhao Wu, Houguang Yue |
| 2004 | Towards Formalizing Behavioral Substitutability in Component Frameworks. Sabine Moisan, Annie Ressouche, Jean-Paul Rigault |
| 2004 | Towards Mobile Processes in Unifying Theories. Xinbei Tang, Jim Woodcock |
| 2004 | Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach. Alexander Fronk |
| 2004 | Verification of the WAP Transaction Layer. Yu-Tong He, Ryszard Janicki |