| 2006 | 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA |
| 2006 | 802.11a transmitter: a case study in microarchitectural exploration. Nirav Dave, Michael Pellauer, S. Gerding, Arvind |
| 2006 | A methodology for abstracting RTL designs into TL descriptions. Nicola Bombieri, Franco Fummi, Graziano Pravadelli |
| 2006 | A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil |
| 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 | A semantic-driven synthesis flow for platform-based design. Qi Zhu, Abhijit Davare, Alberto L. Sangiovanni-Vincentelli |
| 2006 | A verified development of hardware using CSP∥B. Alistair A. McEwan, Steve A. Schneider |
| 2006 | Analyzing tabular requirements specifications using infinite state model checking. Tevfik Bultan, Constance L. Heitmeyer |
| 2006 | Assertion checking of control dominated systems with nonlinear solvers. Íñigo Ugarte, Pablo Sanchez |
| 2006 | Automatic decomposition for sequential equivalence checking of system level and RTL descriptions. Shobha Vasudevan, Jacob A. Abraham, Vinod Viswanath, Jiajin Tu |
| 2006 | Component-based hardware/software co-verification. Fei Xie, Guowu Yang, Xiaoyu Song |
| 2006 | Compositional interaction specifications for SystemC. Frederic Doucet, Ingolf Krüger, Rajesh K. Gupta, R. K. Shyamasundar |
| 2006 | Efficient code generation from synchronous programs. Klaus Schneider, Jens Brandt, Eric Vecchié |
| 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 | Formal methods for checking realizability of coalitions in 3-party systems. Ansuman Banerjee, Pallab Dasgupta, P. P. Chakrabarti |
| 2006 | Games for formal design and verification of reactive systems. Rajeev Alur |
| 2006 | Integrating design and verification - from simple idea to practical system. C. Seger |
| 2006 | Latency-insensitive design and central repetitive scheduling. Julien Boucaron, Robert de Simone, Jean-Vivien Millo |
| 2006 | Low-power hardware synthesis from TRS-based specifications. Gaurav Singh, Sandeep K. Shukla |
| 2006 | Mixed symbolic representations for model checking software programs. Zijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic |
| 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 | R-SHIM: deterministic concurrency with recursion and shared variables. Olivier Tardieu, Stephen A. Edwards |
| 2006 | Reliable design with multiple clock domains. E. Czeck, Ravi Nanavati, Joseph E. Stoy |
| 2006 | Scalable program analysis using Boolean satisfiability. Alex Aiken |
| 2006 | Specifying and proving properties of timed I/O automata in the TIOA toolkit. Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan Mitra, Shinya Umeno |
| 2006 | The SystemJ approach to system-level design. Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic |
| 2006 | Using Reo for formal specification and verification of system designs. Niloofar Razavi, Marjan Sirjani |