| 2013 | Efficient software-based fault tolerance approach on multicore platforms. | Hamid Mushtaq, Zaid Al-Ars, Koen Bertels |
| 2013 | Parameterized area-efficient multi-standard turbo decoder. | Purushotham Murugappa, Amer Baghdadi, Michel Jzquel |
| 2013 | Model predictive control over delay-based differentiated services control networks. | Riccardo Muradore, Davide Quaglia, Paolo Fiorini |
| 2013 | A virtual prototyping platform for real-time systems with a case study for a two-wheeled robot. | Daniel Mueller-Gritschneder, Kun Lu, Erik Wallander, Marc Greim, Ulf Schlichtmann |
| 2013 | Parallel programming with SystemC for loosely timed models: a non-intrusive approach. | Matthieu Moy |
| 2013 | Mempack: an order of magnitude reduction in the cost, risk, and time for memory compiler certification. | Kartik Mohanram, Matthew Wartell, Sundar Iyer |
| 2013 | Interactions of large scale EV mobility and virtual power plants. | Randolf Mock, Tullio Salmon Cinotti, Johannes Reinschke, Luciano Bononi |
| 2013 | Development of low power many-core SoC for multimedia applications. | Takashi Miyamori, Hui Xu, Takeshi Kodaka, Hiroyuki Usui, Toru Sano, Jun Tanabe |
| 2013 | Towards adaptive test of multi-core RF SoCs. | Rajesh Mittal, Lakshmanan Balasubramanian, Y. B. Chethan Kumar, V. R. Devanathan, Mudasir Kawoosa, Rubin A. Parekhji |
| 2013 | Adaptable, high performance energy harvesters: can energy harvesting deliver enough power for automotive electronics? | Paul D. Mitcheson |
| 2013 | A sub-μ | Biswajit Mishra, Cyril Botteron, Gabriele Tasselli, Christian Robert, Pierre-Andr Farine |
| 2013 | A semi-canonical form for sequential AIGs. | Alan Mishchenko, Niklas En, Robert K. Brayton, Michael L. Case, Pankaj Chauhan, Nikhil Sharma |
| 2013 | GLA: gate-level abstraction revisited. | Alan Mishchenko, Niklas En, Robert K. Brayton, Jason Baumgartner, Hari Mony, Pradeep Kumar Nalla |
| 2013 | A verilog-a model for reconfigurable logic gates based on graphene pn-junctions. | Sandeep Miryala, Mehrdad Montazeri, Andrea Calimera, Enrico Macii, Massimo Poncino |
| 2013 | Formal verification of analog circuit parameters across variation utilizing SAT. | Merritt Miller, Forrest Brewer |
| 2013 | Sustainable energy policies: research challenges and opportunities. | Michela Milano |
| 2013 | Toward polychronous analysis and validation for timed software architectures in AADL. | Yue Ma, Huafeng Yu, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin, Loc Besnard, Maurice Heitz |
| 2013 | Configurable I/O integration to reduce system-on-chip time to market: DDR, PCIe examples. | Frank Martin, Peter Bennett |
| 2013 | Efficient cache architectures for reliable hybrid voltage operation using EDC codes. | Bojan Maric, Jaume Abella, Mateo Valero |
| 2013 | AVF-driven parity optimization for MBU protection of in-core memory arrays. | Michail Maniatakos, Maria K. Michael, Yiorgos Makris |
| 2013 | Exploring topologies for source-synchronous ring-based network-on-chip. | Ayan Mandal, Sunil P. Khatri, Rabi N. Mahapatra |
| 2013 | Tuning dynamic data flow analysis to support design understanding. | Jan Malburg, Alexander Finder, Grschwin Fey |
| 2013 | UTBB FD-SOI: a process/design symbiosis for breakthrough energy-efficiency. | Philippe Magarshack, Philippe Flatresse, Giorgio Cesana |
| 2013 | Hypervised transient SPICE simulations of large netlists & workloads on multi-processor systems. | Grigorios Lyras, Dimitrios Rodopoulos, Antonis Papanikolaou, Dimitrios Soudris |
| 2013 | Retiming for Soft Error Minimization Under Error-Latching Window Constraints. | Yinghai Lu, Hai Zhou |