| 2007 | Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols. | Geoffrey M. Brown, Lee Pike |
| 2007 | MEMOCODE 2007 Co-Design Contest. | Forrest Brewer, James C. Hoe |
| 2007 | Towards Equivalence Checking Between TLM and RTL Models. | Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Joo Marques-Silva |
| 2006 | A semantic-driven synthesis flow for platform-based design. | Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli |
| 2006 | Mixed symbolic representations for model checking software programs. | Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic |
| 2006 | Component-based hardware/software co-verification. | Fei Xie, Guowu Yang, Xiaoyu Song |
| 2006 | Automatic decomposition for sequential equivalence checking of system level and RTL descriptions. | Shobha Vasudevan, Jacob A. Abraham, Vinod Viswanath, Jiajin Tu |
| 2006 | Assertion checking of control dominated systems with nonlinear solvers. | igo Ugarte, Pablo Sanchez |
| 2006 | A scenario-aware data flow model for combined long-run average and worst-case performance analysis. | Bart D. Theelen, Marc Geilen, Twan Basten, Jeroen Voeten, Stefan Valentin Gheorghita, Sander Stuijk |
| 2006 | R-SHIM: deterministic concurrency with recursion and shared variables. | Olivier Tardieu, Stephen A. Edwards |
| 2006 | Low-power hardware synthesis from TRS-based specifications. | Gaurav Singh, Sandeep K. Shukla |
| 2006 | Integrating design and verification - from simple idea to practical system. | C. Seger |
| 2006 | Efficient code generation from synchronous programs. | Klaus Schneider, Jens Brandt, Eric Vecchi |
| 2006 | Using Reo for formal specification and verification of system designs. | Niloofar Razavi, Marjan Sirjani |
| 2006 | A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. | Hiren D. Patel, Sandeep K. Shukla, Elliot Mednick, Rishiyur S. Nikhil |
| 2006 | A verified development of hardware using CSP∥B. | Alistair A. McEwan, Steve A. Schneider |
| 2006 | Panel: Nano-computing - do we need new formal approaches? | M. Hsiao, Sandeep K. Shukla, Maya B. Gokhale, Alvin R. Lebeck |
| 2006 | Programming models and languages for SoC-implemented architectures. | Rajesh Gupta |
| 2006 | The SystemJ approach to system-level design. | Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic |
| 2006 | Equivalence checking: a rule-based approach. | Masahiro Fujita, Subash Shankar, Sasaki Shunsuke |
| 2006 | Execution semantics and formalisms for multi-abstraction TLM assertions. | Wolfgang Ecker, Volkan Esen, Michael Hull |
| 2006 | Compositional interaction specifications for SystemC. | Frederic Doucet, Ingolf Krger, Rajesh K. Gupta, R. K. Shyamasundar |
| 2006 | 802.11a transmitter: a case study in microarchitectural exploration. | Nirav Dave, Michael Pellauer, S. Gerding, Arvind |
| 2006 | Reliable design with multiple clock domains. | E. Czeck, Ravi Nanavati, Joseph E. Stoy |
| 2006 | Analyzing tabular requirements specifications using infinite state model checking. | Tevfik Bultan, Constance L. Heitmeyer |