| 2011 | Modeling of time in discrete-event simulation of systems-on-chip. | Giovanni Funchal, Matthieu Moy |
| 2011 | Verification of microarchitectural refinements in rule-based systems. | Nirav Dave, Michael Katelman, Myron King, Arvind, Jos Meseguer |
| 2011 | MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator. | Derek Chiou |
| 2011 | Rigorous system level modeling and analysis of mixed HW/SW systems. | Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang |
| 2011 | Efficient deadlock detection for concurrent systems. | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled |
| 2010 | Minimizing back pressure for latency insensitive system synthesis. | Bin Xue, Sandeep K. Shukla, S. S. Ravi |
| 2010 | Team [Ii][Ss][Uu][0-2]{4} design overview: MEMOCODE 2010 design contest. | Sudhanshu Vyas, Pooja Mhapsekar, Aditya Ashok, Moinuddin Sayed, Avinash Srinivasa, Gunjan Pandey, Adam Jackson, Matthew Nelson, Anand Saggi, Harini Sundararaman, Phillip H. Jones |
| 2010 | Monitoring temporal SystemC properties. | Deian Tabakov, Moshe Y. Vardi |
| 2010 | CANSCID-CUDA. | Michael Steffen, Veerendra Allada, Phillip H. Jones, Joseph Zambreno |
| 2010 | FPGA-based combined architecture for stream categorization and intrusion detection. | Sunil Shukla, Rodric M. Rabbah, Martin Vorbach |
| 2010 | Message from the chairs. | Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt |
| 2010 | A high throughput parallel architecture for category specific Deep Packet Inspection. | Velacheri Jagadeesan Sananda |
| 2010 | A hardware accelerated system for deep packet inspection. | Adarsha Rao, Pramod P. Udupa |
| 2010 | Enhancing the assertion-based verification of TLM designs with reentrancy. | Laurence Pierre, Luca Ferro |
| 2010 | LTSs for translation validation of (multi-clocked) SIGNAL specifications. | Julio C. Peralta, Thierry Gautier, Loc Besnard, Paul Le Guernic |
| 2010 | Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID). | Michael Pellauer, Abhinav Agarwal, Asif Khan, Man Cheuk Ng, Muralidaran Vijayaraghavan, Forrest Brewer, Joel S. Emer |
| 2010 | A regular expression matching using non-deterministic finite automaton. | Hiroshi Nakahara, Tsutomu Sasao, Munehiro Matsuura |
| 2010 | A formal executable semantics of Verilog. | Patrick O'Neil Meredith, Michael Katelman, Jos Meseguer, Grigore Rosu |
| 2010 | Using hardware-software codesign language to implement CANSCID. | Oleg S. Medvedev, Ilya Posov |
| 2010 | Systematic testing for control applications. | Rupak Majumdar, Indranil Saha, Zilong Wang |
| 2010 | High-throughput stream categorization and intrusion detection on GPU. | Mohammad Hassan Khabbazian, Hassan Eslami, Ehsan Totoni, AmadReza Khadem |
| 2010 | Numerical stability analysis of floating-point computations using software model checking. | Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, Aarti Gupta |
| 2010 | Power emulation: Methodology and applications for HW/SW power optimization. | Josef Haid, Christian Bachmann, Andreas Genser, Christian Steger, Reinhold Weiss |
| 2010 | Proving transaction and system-level properties of untimed SystemC TLM designs. | Daniel Groe, Hoang Minh Le, Rolf Drechsler |
| 2010 | Designing application specific circuits with concurrent C# programs. | David J. Greaves, Satnam Singh |