| 2009 | 2009 MEMOCODE Co-Design Contest. Forrest Brewer, James C. Hoe |
| 2009 | 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA |
| 2009 | A cross-layer approach to heterogeneity and reliability. Daniel W. Williams, Aprotim Sanyal, Dan Upton, Jason Mars, Sudeep Ghosh, Kim M. Hazelwood |
| 2009 | A design case study: CPU vs. GPGPU vs. FPGA. Daniel L. Rosenband, Till Rosenband |
| 2009 | An introduction to implementation attacks and countermeasures. Thomas Popp |
| 2009 | Bang for the buck: Improvising and scheduling verification engines for effective resource utilization. Malay K. Ganai, Weihong Li |
| 2009 | Bounded Dataflow Networks and Latency-Insensitive circuits. Muralidaran Vijayaraghavan, Arvind |
| 2009 | Buffer sharing in CSP-like programs. Nalini Vasudevan, Stephen A. Edwards |
| 2009 | Can we computerize an elephant? David Harel |
| 2009 | Codesign of dependable systems: A component-based modeling language. Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
| 2009 | Combining control and data abstraction in the verification of hybrid systems. Xavier Briand, Bertrand Jeannet |
| 2009 | High-level optimization of integer multipliers over a finite bit-width with verification capabilities. Omid Sarbishei, Mahmoud Tabandeh, Bijan Alizadeh, Masahiro Fujita |
| 2009 | Implementing a fast cartesian-polar matrix interpolator. Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan |
| 2009 | Implementing a high-performance multithreaded microprocessor: A case study in high-level design and validation. Eric S. Chung, James C. Hoe |
| 2009 | Incremental modelling and verification of the PCI Express transaction layer. Peter Böhm |
| 2009 | Multicore power management: Ensuring robustness via early-stage formal verification. Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen |
| 2009 | Performance estimation for task graphs combining sequential path profiling and control dependence regions. Fabrizio Ferrandi, Marco Lattuada, Christian Pilato, Antonino Tumeo |
| 2009 | Refining schizophrenia via graph reachability in Esterel. Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe |
| 2009 | Static data-flow analysis of synchronous programs. Jens Brandt, Klaus Schneider |
| 2009 | Survival strategies for synthesized hardware systems. Martin C. Rinard |
| 2009 | Synthesis of programs from temporal property specifications. Amir Pnueli, Uri Klein |
| 2009 | The role of mutation analysis for property qualification. Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2009 | Verification of an industrial SystemC/TLM model using LOTOS and CADP. Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |