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
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.