Abstract is missing.
- Keynote talk I: Security and privacy in implantable medical devices: An ongoing concernWayne Burleson. 1 [doi]
- An abstraction-refinement framework for priority-driven scheduling of static dataflow graphsAdnan Bouakaz, Thierry Gautier. 2-11 [doi]
- Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizingJoost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij. 12-21 [doi]
- A new synthesis procedure for atomic rules containing multi-cycle function blocksMichal Karczmarek, Arvind, Muralidaran Vijayaraghavan. 22-31 [doi]
- From clock-driven to data-driven modelsYu Bai, Klaus Schneider 0001, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi. 32-41 [doi]
- Optimized distribution of synchronous programs via a polychronous modelKe Sun, Loïc Besnard, Thierry Gautier. 42-51 [doi]
- Three-valued asynchronous distributed runtime verificationTorben Scheffel, Malte Schmitz 0001. 52-61 [doi]
- A multi-core version of FreeRTOS verified for datarace and deadlock freedomPrakash Chandrasekaran, K. B. Shibu Kumar, Remish L. Minz, Deepak D'Souza, Lomesh Meshram. 62-71 [doi]
- A framework for high-assurance quasi-synchronous systemsRobin Larrieu, Natarajan Shankar. 72-83 [doi]
- Structure-aware CNF obfuscation for privacy-preserving SAT solvingYing Qin, ShengYu Shen, Yan Jia. 84-93 [doi]
- Performance analysis of the Disrupted Static Priority scheduling for AFDXRubén Trillo Flores, Marc Boyer. 94-103 [doi]
- Are interface theories equivalent to contract theories?Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli. 104-113 [doi]
- TESL: A language for reconciling heterogeneous execution tracesFrédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan. 114-123 [doi]
- An architecturally-integrated, systems-based hazard analysis for medical applicationsSam Procter, John Hatcliff. 124-133 [doi]
- Refinement-based synthesis of correct contract model decompositionsThi Thieu Hoa Le, Roberto Passerone. 134-143 [doi]
- Keynote talk IIP: Proving (and revisiting) what programs do notBertrand Meyer. 144 [doi]
- Assertion-based flow monitoring of SystemC modelsSonali Dutta, Moshe Y. Vardi. 145-154 [doi]
- Formal property verification in a conformance testing frameworkHoussam Abbas, Hans D. Mittelmann, Georgios E. Fainekos. 155-164 [doi]
- From visual to logical formalisms for SoC validationRanan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang. 165-174 [doi]
- Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applicationsKhaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault. 175-184 [doi]
- MEMOCODE 2014 software design contest: Space Invaders emulatorStephen A. Edwards, Hiren D. Patel. 185 [doi]
- Cycle-accurate 8080 emulation using an ARM11 processor with dynamic binary translationDavid A. Richie, James A. Ross. 186-189 [doi]
- A fast emulator for ARM-based embedded systemsNariman Eskandari, Hatef Madani, Armin Ahmadzadeh, Mohsen Mahmoudi Aznaveh, Saeid Gorgin. 190-193 [doi]
- Profiling and optimizations for embedded systemsPablo González de Aledo Marugán, Luis Díaz Suárez, Álvaro Díaz Suárez, Pablo Sánchez Espeso. 194-197 [doi]
- MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metricPeter Milder. 198-200 [doi]
- A high performance systolic architecture for k-NN classificationKevin Townsend, Phillip H. Jones, Joseph Zambreno. 201-204 [doi]
- Cost-efficient implementation of k-NN algorithm on multi-core processorsArmin Ahmadzadeh, Reza Mirzaei, Hatef Madani, Mohammad Shobeiri, Mahsa Sadeghi, Mohsen Gavahi, Kianoush Jafari, Mohsen Mahmoudi Aznaveh, Saeid Gorgin. 205-208 [doi]
- Building faithful high-level models and performance evaluation of manycore embedded systemsAyoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem. 209-218 [doi]
- Symbolic inner loop parallelisation for massively parallel processor arraysAlexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig. 219-228 [doi]
- Keynote talk III: A framework for modeling architectures and their propertiesJoseph Sifakis. 229-230 [doi]
- Tutorial I: Efficient symbolic execution for software testingJohannes Kinder. 231 [doi]