| 2004 | 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings |
| 2004 | A framework for heterogeneous formal modeling and compositional verification of avionics systems. Yamine Aït Ameur, Remi Delmas, Virginie Wiels |
| 2004 | Automated, compositional and iterative deadlock detection. Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina |
| 2004 | Bluespec System Verilog: efficient, correct RTL from high level specifications. Rishiyur S. Nikhil |
| 2004 | Bounded model checking of infinite state systems: exploiting the automata hierarchy. Tobias Schüle, Klaus Schneider |
| 2004 | Check and simulate: a case for incorporating model checking in network simulation. Ahmed Sobeih, Mahesh Viswanathan, Jennifer C. Hou |
| 2004 | Checkers for SystemC designs. Daniel Große, Rolf Drechsler |
| 2004 | Classes and subclasses in actor-oriented design. Edward A. Lee, Stephen Neuendorffer |
| 2004 | Compositional verification for secure loading of smart card applets. Christoph Sprenger, Dilian Gurov, Marieke Huisman |
| 2004 | Curing schizophrenia by program rewriting in Esterel. Olivier Tardieu, Robert de Simone |
| 2004 | Designers want proofs - but show me the money. Carl Pixley, D. Meyers, S. McMaster, A. Chittor |
| 2004 | Designing a reorder buffer in Bluespec. Nirav Dave |
| 2004 | Efficient code synthesis from synchronous dataflow graphs. Dag Björklund |
| 2004 | Formal methods and software reliability. Gerard J. Holzmann |
| 2004 | Formal verification as a technology transfer problem. Robert P. Kurshan |
| 2004 | Formal verification in Intel CPU design. John O'Leary |
| 2004 | Formal verification of pipelined processors with precise exceptions. Krishnamani Kalyanasundaram, R. K. Shyamasundar |
| 2004 | Hierarchical reconfiguration of dataflow models. Stephen Neuendorffer, Edward A. Lee |
| 2004 | Is formal being squeezed out of functional verification? Brian Bailey |
| 2004 | PROBMELA: a modeling language for communicating probabilistic processes. Christel Baier, Frank Ciesinski, Marcus Größer |
| 2004 | Panel: given that hardware verification has been an uphill battle, what is the future of software verification? Sandeep K. Shukla, Tevfik Bultan, Constance L. Heitmeyer |
| 2004 | Static driver verifier, a formal verification tool for Windows device drivers. Vladimir Levin |
| 2004 | Static priority scheduling of event triggered real time embedded systems. Cagkan Erbas, Selin C. Erbas, Andy D. Pimentel |
| 2004 | Synchronous extensions to operation centric hardware description languages. Grace Nordin, James C. Hoe |
| 2004 | System modeling and verification with UCLID. Randal E. Bryant |
| 2004 | The BUSpec platform for automated generation of verification aids for standard bus protocols. Bhaskar Pal, Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2004 | The battle of accountable voting systems. David L. Dill |
| 2004 | The ephemeral history register: flexible scheduling for rule-based designs. Daniel L. Rosenband |
| 2004 | Using invariants to optimize formal specifications before code synthesis. Ralph D. Jeffords, Elizabeth I. Leonard |
| 2004 | Verification of SpecC using predicate abstraction. Himanshu Jain, Daniel Kroening, Edmund M. Clarke |