| 2014 | A fast emulator for ARM-based embedded systems. Nariman Eskandari, Hatef Madani, Armin Ahmadzadeh, Mohsen Mahmoudi Aznaveh, Saeid Gorgin |
| 2014 | A framework for high-assurance quasi-synchronous systems. Robin Larrieu, Natarajan Shankar |
| 2014 | A high performance systolic architecture for k-NN classification. Kevin Townsend, Phillip H. Jones, Joseph Zambreno |
| 2014 | A multi-core version of FreeRTOS verified for datarace and deadlock freedom. Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram |
| 2014 | A new synthesis procedure for atomic rules containing multi-cycle function blocks. Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan |
| 2014 | An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. Adnan Bouakaz, Thierry Gautier |
| 2014 | An architecturally-integrated, systems-based hazard analysis for medical applications. Sam Procter, John Hatcliff |
| 2014 | Are interface theories equivalent to contract theories? Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
| 2014 | Assertion-based flow monitoring of SystemC models. Sonali Dutta, Moshe Y. Vardi |
| 2014 | Building faithful high-level models and performance evaluation of manycore embedded systems. Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem |
| 2014 | Cost-efficient implementation of k-NN algorithm on multi-core processors. Armin Ahmadzadeh, Reza Mirzaei, Hatef Madani, Mohammad Shobeiri, Mahsa Sadeghi, Mohsen Gavahi, Kianoush Jafari, Mohsen Mahmoudi Aznaveh, Saeid Gorgin |
| 2014 | Cycle-accurate 8080 emulation using an ARM11 processor with dynamic binary translation. David A. Richie, James A. Ross |
| 2014 | Formal property verification in a conformance testing framework. Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos |
| 2014 | From clock-driven to data-driven models. Yu Bai, Klaus Schneider, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi |
| 2014 | From visual to logical formalisms for SoC validation. Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang |
| 2014 | Keynote talk I: Security and privacy in implantable medical devices: An ongoing concern. Wayne P. Burleson |
| 2014 | Keynote talk III: A framework for modeling architectures and their properties. Joseph Sifakis |
| 2014 | Keynote talk IIP: Proving (and revisiting) what programs do not. Bertrand Meyer |
| 2014 | MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metric. Peter A. Milder |
| 2014 | MEMOCODE 2014 software design contest: Space Invaders emulator. Stephen A. Edwards, Hiren D. Patel |
| 2014 | Optimized distribution of synchronous programs via a polychronous model. Ke Sun, Loïc Besnard, Thierry Gautier |
| 2014 | Performance analysis of the Disrupted Static Priority scheduling for AFDX. Rubén Trillo Flores, Marc Boyer |
| 2014 | Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault |
| 2014 | Profiling and optimizations for embedded systems. Pablo González de Aledo Marugán, Luis Díaz Suárez, Álvaro Díaz Suárez, Pablo Sánchez Espeso |
| 2014 | Refinement-based synthesis of correct contract model decompositions. Thi Thieu Hoa Le, Roberto Passerone |
| 2014 | Structure-aware CNF obfuscation for privacy-preserving SAT solving. Ying Qin, Shengyu Shen, Yan Jia |
| 2014 | Symbolic inner loop parallelisation for massively parallel processor arrays. Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig |
| 2014 | TESL: A language for reconciling heterogeneous execution traces. Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan |
| 2014 | Three-valued asynchronous distributed runtime verification. Torben Scheffel, Malte Schmitz |
| 2014 | Tutorial I: Efficient symbolic execution for software testing. Johannes Kinder |
| 2014 | Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 |
| 2014 | Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing. Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij |