![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
12th MEMOCODE 2014: Lausanne, Switzerland
- Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014. IEEE 2014
Keynote 1
- Wayne P. Burleson:
Keynote talk I: Security and privacy in implantable medical devices: An ongoing concern. 1
Session 1: Scheduling
- Adnan Bouakaz, Thierry Gautier:
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. 2-11 - Joost P. H. M. Hausmans, Stefan J. Geuns, Maarten Wiggers, Marco Jan Gerrit Bekooij:
Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing. 12-21 - Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan:
A new synthesis procedure for atomic rules containing multi-cycle function blocks. 22-31 - Yu Bai, Klaus Schneider, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi:
From clock-driven to data-driven models. 32-41 - Ke Sun, Loïc Besnard, Thierry Gautier:
Optimized distribution of synchronous programs via a polychronous model. 42-51
Session 2: High Assurance Software
- Torben Scheffel, Malte Schmitz:
Three-valued asynchronous distributed runtime verification. 52-61 - Prakash Chandrasekaran, Kavum Muriyil Balachandran Shibu Kumar
, Remish L. Minz, Deepak D'Souza, Lomesh Meshram:
A multi-core version of FreeRTOS verified for datarace and deadlock freedom. 62-71 - Robin Larrieu, Natarajan Shankar:
A framework for high-assurance quasi-synchronous systems. 72-83 - Ying Qin, ShengYu Shen, Yan Jia:
Structure-aware CNF obfuscation for privacy-preserving SAT solving. 84-93 - Rubén Trillo Flores, Marc Boyer
:
Performance analysis of the Disrupted Static Priority scheduling for AFDX. 94-103
Session 3: Models, Components, Contracts and Interfaces
- Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis
, Alberto L. Sangiovanni-Vincentelli:
Are interface theories equivalent to contract theories? 104-113 - Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan:
TESL: A language for reconciling heterogeneous execution traces. 114-123 - Sam Procter
, John Hatcliff:
An architecturally-integrated, systems-based hazard analysis for medical applications. 124-133 - Thi Thieu Hoa Le, Roberto Passerone
:
Refinement-based synthesis of correct contract model decompositions. 134-143
Keynote 2
- Bertrand Meyer:
Keynote talk IIP: Proving (and revisiting) what programs do not. 144
Session 4: High Assurance Hardware
- Sonali Dutta, Moshe Y. Vardi:
Assertion-based flow monitoring of SystemC models. 145-154 - Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos
:
Formal property verification in a conformance testing framework. 155-164 - Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang:
From visual to logical formalisms for SoC validation. 165-174 - Khaza Anuarul Hoque, Otmane Aït Mohamed, Yvon Savaria, Claude Thibeault:
Probabilistic model checking based DAL analysis to optimize a combined TMR-blind-scrubbing mitigation technique for FPGA-based aerospace applications. 175-184
Session 5: MEMOCODE Design & Software Contest
- Stephen A. Edwards
, Hiren D. Patel:
MEMOCODE 2014 software design contest: Space Invaders emulator. 185 - David A. Richie, James A. Ross:
Cycle-accurate 8080 emulation using an ARM11 processor with dynamic binary translation. 186-189 - Nariman Eskandari, Hatef Madani, Armin Ahmadzadeh, Mohsen Mahmoudi Aznaveh, Saeid Gorgin
:
A fast emulator for ARM-based embedded systems. 190-193 - Pablo González de Aledo Marugán, Luis Díaz Suárez, Álvaro Díaz Suárez, Pablo Sánchez Espeso:
Profiling and optimizations for embedded systems. 194-197 - Peter A. Milder:
MEMOCODE 2014 design contest: k-Nearest Neighbors with Mahalanobis distance metric. 198-200 - Kevin Townsend, Phillip H. Jones, Joseph Zambreno:
A high performance systolic architecture for k-NN classification. 201-204 - Armin Ahmadzadeh, Reza Mirzaei, Hatef Madani, Mohammad Shobeiri, Mahsa Sadeghi, Mohsen Gavahi, Kianoush Jafari, Mohsen Mahmoudi Aznaveh, Saeid Gorgin
:
Cost-efficient implementation of k-NN algorithm on multi-core processors. 205-208
Session 6: Many Core
- Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem:
Building faithful high-level models and performance evaluation of manycore embedded systems. 209-218 - Alexandru Tanase, Michael Witterauf, Jürgen Teich, Frank Hannig
:
Symbolic inner loop parallelisation for massively parallel processor arrays. 219-228
Keynote 3
- Joseph Sifakis:
Keynote talk III: A framework for modeling architectures and their properties. 229-230
Tutorials
- Johannes Kinder:
Tutorial I: Efficient symbolic execution for software testing. 231
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.