| 2007 | 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France |
| 2007 | A Methodology for Automating Co-Scheduling for Reconfigurable Computing Systems. Proshanta Saha, Tarek A. El-Ghazawi |
| 2007 | Bringing Hardware and Software Closer Together with Termination Analysis. Byron Cook |
| 2007 | Combining Multi-Valued Logics in SAT-based ATPG for Path Delay Faults. Stephan Eggersglüß, Görschwin Fey, Rolf Drechsler, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel |
| 2007 | Computing Invariants for Parameter Abstraction. Yi Lv, Huimin Lin, Hong Pan |
| 2007 | Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni |
| 2007 | Easier and More Informative Vacuity Checks. Hana Chockler, Ofer Strichman |
| 2007 | Executable Analysis using Abstract Interpretation with Circular Linear Progressions. Rathijit Sen, Y. N. Srikant |
| 2007 | Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded Systems. Youngseok Oh, Danhyung Lee, Sungwon Kang, Jihyun Lee |
| 2007 | Formal verification of an optimizing compiler. Xavier Leroy |
| 2007 | From WiFi to WiMAX: Techniques for High-Level IP Reuse across Different OFDM Protocols. Man Cheuk Ng, Muralidaran Vijayaraghavan, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |
| 2007 | Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA. Nirav Dave, Kermin Fleming, Myron King, Michael Pellauer, Muralidaran Vijayaraghavan |
| 2007 | Local Causal Reasoning of a Safety-Critical Subway System. Edgar G. Daylight, Sandeep K. Shukla |
| 2007 | MEMOCODE 2007 Co-Design Contest. Forrest Brewer, James C. Hoe |
| 2007 | McCharts and Multiclock FSMs for modeling large scale systems. Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
| 2007 | Multi-Level Assertion-Based Design. Hans Eveking, Martin Braun, Martin Schickel, Martin Schweikert, Volker Nimbler |
| 2007 | One-dimensional Search Algorithms for Hardware/Software Partitioning. Wu Jigang, Thambipillai Srikanthan, Guang Chen |
| 2007 | Proving What Programs Do Not. Bertrand Meyer |
| 2007 | Scheduling as Rule Composition. Nirav Dave, Arvind, Michael Pellauer |
| 2007 | Software/Hardware Engineering with the Parallel Object-Oriented Specification Language. Bart D. Theelen, Oana Florescu, Marc Geilen, Jinfeng Huang, P. H. A. van der Putten, Jeroen Voeten |
| 2007 | Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. Geoffrey M. Brown, Lee Pike |
| 2007 | Towards Equivalence Checking Between TLM and RTL Models. Nicola Bombieri, Franco Fummi, Graziano Pravadelli, João Marques-Silva |
| 2007 | Towards a Unified Execution Model for Transactions in TLM. Bernhard Niemann, Christian Haubelt |
| 2007 | Type Inference for IP Composition. Deepak Mathaikutty, Sandeep K. Shukla |
| 2007 | VT Matrix Multiply Design for MEMOCODE '07. Eric Simpson, Pengyuan Yu, Patrick Schaumont, Sumit Ahuja, Sandeep K. Shukla |
| 2007 | Verification Driven Formal Architecture and Microarchitecture Modeling. Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin |