| 2009 | Combining control and data abstraction in the verification of hybrid systems. | Xavier Briand, Bertrand Jeannet |
| 2009 | 2009 MEMOCODE Co-Design Contest. | Forrest Brewer, James C. Hoe |
| 2009 | Static data-flow analysis of synchronous programs. | Jens Brandt, Klaus Schneider |
| 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 | Incremental modelling and verification of the PCI Express transaction layer. | Peter Bhm |
| 2009 | Implementing a fast cartesian-polar matrix interpolator. | Abhinav Agarwal, Nirav Dave, Kermin Fleming, Asif Khan, Myron King, Man Cheuk Ng, Muralidaran Vijayaraghavan |
| 2008 | Classification of General Data Flow Actors into Known Models of Computation. | Christian Zebelein, Joachim Falk, Christian Haubelt, Jrgen Teich |
| 2008 | Virtual prototyping AADL architectures in a polychronous model of computation. | Yue Ma, Jean-Pierre Talpin, Thierry Gautier |
| 2008 | Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing. | Venkatram Vishwanath, Lenore D. Zuck, Jason Leigh |
| 2008 | Static Deadlock Detection for the SHIM Concurrent Language. | Nalini Vasudevan, Stephen A. Edwards |
| 2008 | Rule-Based Approaches for Equivalence Checking of SpecC Programs. | Subash Shankar, Masahiro Fujita |
| 2008 | MEMOCODE 2008 Co-Design Contest. | Patrick Schaumont, Krste Asanovic, James C. Hoe |
| 2008 | Arithmetic Circuits Verification without Looking for Internal Equivalences. | Omid Sarbishei, Bijan Alizadeh, Masahiro Fujita |
| 2008 | Hardware Accelerated Crypto Merge Sort: MEMOCODE 2008 Design Contest. | VJ Sananda |
| 2008 | Assertion-Based Design with Horus. | Yann Oddos, Katell Morin-Allory, Dominique Borrione |
| 2008 | Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. | Radu Mateescu, Emilie Oudot |
| 2008 | Directed-Logical Testing for Functional Verification of Microprocessors. | Michael Katelman, Jos Meseguer, Santiago Escobar |
| 2008 | On the Deterministic Multi-threaded Software Synthesis from Polychronous Specifications. | Bijoy Antony Jose, Sandeep K. Shukla, Hiren D. Patel, Jean-Pierre Talpin |
| 2008 | From Data to Events: Checking Properties on the Control of a System. | Christophe Jacquet, Frdric Boulanger, Dominique Marcadet |
| 2008 | Latency-Insensitive Hardware/Software Interfaces. | Greg Hoover, Forrest Brewer, Chris Gill |
| 2008 | A Comparison of Two SystemC/TLM Semantics for Formal Verification. | Claude Helmstetter, Olivier Ponsini |
| 2008 | A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. | Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang |
| 2008 | Vacuity Analysis by Fault Simulation. | Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli |
| 2008 | Estimating the Performance of Cache Replacement Policies. | Daniel Grund, Jan Reineke |
| 2008 | H.264 Decoder: A Case Study in Multiple Design Points. | Kermin Fleming, Chun-Chieh Lin, Nirav Dave, Arvind, Gopal Raghavan, Jamey Hicks |