| 2013 | 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013 |
| 2013 | A GPU implementation of tiled belief propagation on Markov Random Fields. Hassan Eslami, Theodoros Kasampalis, Maria Kotsifakou |
| 2013 | APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. Matthew Anderson, Sandeep K. Shukla |
| 2013 | An equivalence checker for hardware-dependent embedded system software. Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz |
| 2013 | Automated extraction of scenario sequences from disciplined dataflow networks. Firew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal |
| 2013 | Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs. Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma |
| 2013 | Causal analysis of probabilistic counterexamples. Hichem Debbi, Mustapha Bourahla |
| 2013 | Compiler-directed memory hierarchy design for low-energy embedded systems. Florin Balasa, Ilie I. Luican, Noha Abuaesh, Cristian V. Gingu |
| 2013 | Equivalence checking for synchronous elastic circuits. Vidura Wijaysekara, Sudarshan K. Srinivasan |
| 2013 | FERAL - Framework for simulator coupling on requirements and architecture level. Thomas Kuhn, Thomas Forster, Tobias Braun, Reinhard Gotzhein |
| 2013 | FPGA acceleration of Markov Random Field TRW-S inference for stereo matching. Jungwook Choi, Rob A. Rutenbar |
| 2013 | Fast and adaptive BP-based multi-core implementation for stereo matching. Armin Ahmadzadeh, Hatef Madani, Kianoush Jafari, Farzad Salimi Jazi, Shervin Daneshpajouh, Saeid Gorgin |
| 2013 | Fast prototyping from assertions: A pragmatic approach. Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
| 2013 | Generation of inductive invariants from register transfer level designs of communication fabrics. Sebastiaan J. C. Joosten, Julien Schmaltz |
| 2013 | Keynote talk I: Building a high-assurance unpiloted air vehicle. Lee Pike |
| 2013 | Keynote talk II: Designing tomorrow's chips. Yatin Hoskote |
| 2013 | Keynote talk III: Industry pulse: Trends in function verification. Harry Foster |
| 2013 | MEMOCODE 2013 hardware/software co-design contest: Stereo matching. Eriko Nurvitadhi |
| 2013 | Modular compilation of guarded atomic actions. Muralidaran Vijayaraghavan, Nirav Dave, Arvind |
| 2013 | Ranking structure in communication fabrics. Sayak Ray, Robert K. Brayton |
| 2013 | Safe CCSL specifications and marked graphs. Frédéric Mallet, Jean-Vivien Millo, Robert de Simone |
| 2013 | Symbolic software model validation. Cynthia Sturton, Rohit Sinha, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner |
| 2013 | Synthesizing distributed scheduling implementation for probabilistic component-based systems. Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled |
| 2013 | Translating synchronous guarded actions to interleaved guarded actions. Manuel Gesell, Klaus Schneider |
| 2013 | Tutorial I: Syntax-guided synthesis. Rajeev Alur |