| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang 0006 |
From visual to logical formalisms for SoC validation.  |
MEMOCODE  |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Kinder |
Tutorial I: Efficient symbolic execution for software testing. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi Nuzzo 0002, Antonio Iannopollo, Stavros Tripakis, Alberto L. Sangiovanni-Vincentelli |
Are interface theories equivalent to contract theories? |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Meyer 0001 |
Keynote talk IIP: Proving (and revisiting) what programs do not. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Larrieu, Natarajan Shankar |
A framework for high-assurance quasi-synchronous systems. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Rubén Trillo Flores, Marc Boyer |
Performance analysis of the Disrupted Static Priority scheduling for AFDX. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Qin, ShengYu Shen, Yan Jia 0001 |
Structure-aware CNF obfuscation for privacy-preserving SAT solving. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Hans D. Mittelmann, Georgios Fainekos |
Formal property verification in a conformance testing framework. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Armin Ahmadzadeh, Reza Mirzaei, Hatef Madani, Mohammad Shobeiri, Mahsa Sadeghi, Mohsen Gavahi, Kianoush Jafari, Mohsen Mahmoudi Aznaveh, Saeid Gorgin 0001 |
Cost-efficient implementation of k-NN algorithm on multi-core processors. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Thi Thieu Hoa Le, Roberto Passerone |
Refinement-based synthesis of correct contract model decompositions. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014 |
MEMOCODE |
2014 |
DBLP BibTeX RDF |
|
| 1 | Wayne P. Burleson |
Keynote talk I: Security and privacy in implantable medical devices: An ongoing concern. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Bouakaz, Thierry Gautier |
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Keynote talk III: A framework for modeling architectures and their properties. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Richie, James A. Ross |
Cycle-accurate 8080 emulation using an ARM11 processor with dynamic binary translation. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Nariman Eskandari, Hatef Madani, Armin Ahmadzadeh, Mohsen Mahmoudi Aznaveh, Saeid Gorgin 0001 |
A fast emulator for ARM-based embedded systems. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Karczmarek, Arvind, Muralidaran Vijayaraghavan |
A new synthesis procedure for atomic rules containing multi-cycle function blocks. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Bai 0003, Klaus Schneider 0001, Nikita Bhardwaj, Badarinath Katti, Tania Shazadi |
From clock-driven to data-driven models. |
MEMOCODE |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Katell Morin-Allory, Fatemeh Negin Javaheri, Dominique Borrione |
Fast prototyping from assertions: A pragmatic approach. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Florin Balasa, Ilie I. Luican, Noha Abuaesh, Cristian V. Gingu |
Compiler-directed memory hierarchy design for low-energy embedded systems. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Lee Pike |
Keynote talk I: Building a high-assurance unpiloted air vehicle. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Jungwook Choi, Rob A. Rutenbar |
FPGA acceleration of Markov Random Field TRW-S inference for stereo matching. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Carlos Villarraga, Bernard Schmidt, Jörg Bormann, Christian Bartsch 0001, Dominik Stoffel, Wolfgang Kunz |
An equivalence checker for hardware-dependent embedded system software. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Vidura Wijaysekara, Sudarshan K. Srinivasan |
Equivalence checking for synchronous elastic circuits. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Hajo Broersma |
Back to basics: Homogeneous representations of multi-rate synchronous dataflow graphs. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Yatin Hoskote |
Keynote talk II: Designing tomorrow's chips. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Harry Foster |
Keynote talk III: Industry pulse: Trends in function verification. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Manuel Gesell, Klaus Schneider 0001 |
Translating synchronous guarded actions to interleaved guarded actions. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur |
Tutorial I: Syntax-guided synthesis. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Sayak Ray, Robert K. Brayton |
Ranking structure in communication fabrics. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron A. Peled |
Synthesizing distributed scheduling implementation for probabilistic component-based systems. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | |
11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2013, Portland, OR, USA, October 18-20, 2013 |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Frédéric Mallet, Jean-Vivien Millo, Robert de Simone |
Safe CCSL specifications and marked graphs. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Muralidaran Vijayaraghavan, Nirav Dave, Arvind |
Modular compilation of guarded atomic actions. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Matthew Anderson, Sandeep K. Shukla |
APECS: An AADL and polychrony based embedded computing system design environment with an elevator control case study. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Cynthia Sturton, Rohit Sinha 0001, Thurston H. Y. Dang, Sakshi Jain, Michael McCoyd, Wei Yang Tan, Petros Maniatis, Sanjit A. Seshia, David A. Wagner 0001 |
Symbolic software model validation. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Firew Siyoum, Marc Geilen, Johan Eker, Carl von Platen, Henk Corporaal |
Automated extraction of scenario sequences from disciplined dataflow networks. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Hassan Eslami, Theodoros Kasampalis, Maria Kotsifakou |
A GPU implementation of tiled belief propagation on Markov Random Fields. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Eriko Nurvitadhi |
MEMOCODE 2013 hardware/software co-design contest: Stereo matching. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Sebastiaan J. C. Joosten, Julien Schmaltz |
Generation of inductive invariants from register transfer level designs of communication fabrics. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Armin Ahmadzadeh, Hatef Madani, Kianoush Jafari, Farzad Salimi Jazi, Shervin Daneshpajouh, Saeid Gorgin 0001 |
Fast and adaptive BP-based multi-core implementation for stereo matching. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Hichem Debbi, Mustapha Bourahla |
Causal analysis of probabilistic counterexamples. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Thomas Kuhn 0001, Thomas Forster, Tobias Braun, Reinhard Gotzhein |
FERAL - Framework for simulator coupling on requirements and architecture level. |
MEMOCODE |
2013 |
DBLP BibTeX RDF |
|
| 1 | Elizabeth I. Leonard, Myla Archer, Constance L. Heitmeyer, Ralph D. Jeffords |
Direct generation of invariants for reactive models. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aryan Arbabi, Milad Gholami, Mojtaba Varmazyar, Shervin Daneshpajouh |
Fast CPU-based DNA exact sequence aligner. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Edwards |
MEMOCODE 2012 hardware/software codesign contest: DNA sequence aligner. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Riener, Görschwin Fey |
Model-based diagnosis versus error explanation. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Gideon Smeding, Gregor Gößler |
A correlation preserving performance analysis for stream processing systems. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Asif Khan 0005, Muralidaran Vijayaraghavan, Arvind |
A general technique for deterministic model-cycle-level debugging. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai-Hui Chang, Chia-Wei Chang, Jie-Hong Roland Jiang, Chien-Nan Jimmy Liu |
Improving design verifiability by early RTL coverability analysis. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia |
Compositional performance verification of NoC designs. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yosinori Watanabe, Stuart Swan |
Clearing the clutter: Unified modeling and verification methodology for system level hardware design. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kartik Nagar, Y. N. Srikant |
Interdependent cache analyses for better precision and safety. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Bai 0003, Jens Brandt 0001, Klaus Schneider 0001 |
Preservation of LTL properties in desynchronized systems. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Samaneh Ghandali, Bijan Alizadeh, Zainalabedin Navabi, Masahiro Fujita |
Polynomial datapath synthesis and optimization based on vanishing polynomial over Z2m and algebraic techniques. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Gesell, Klaus Schneider 0001 |
Interactive verification of synchronous systems. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012 |
MEMOCODE |
2012 |
DBLP BibTeX RDF |
|
| 1 | Chad Nelson, Kevin Townsend, Bhavani Satyanarayana Rao, Phillip H. Jones, Joseph Zambreno |
Shepard: A fast exact match short read aligner. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiong Gong, Yun Wang, Haihao Shen, Xu Deng, Wei Wang, Xiangning Ma |
FAST: Formal specification driven test harness generation. |
MEMOCODE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan |
Automatic generation of assertions from system level design using data mining. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Satnam Singh, Barbara Jobstmann, Michael Kishinevsky, Jens Brandt 0001 (eds.) |
9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011, Cambridge, UK, 11-13 July, 2011 |
MEMOCODE |
2011 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Funchal, Matthieu Moy |
Modeling of time in discrete-event simulation of systems-on-chip. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Sinha, Sharad Malik, Chao Wang 0001, Aarti Gupta |
Predictive analysis for detecting serializability violations through Trace Segmentation. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Greaves, Satnam Singh |
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Papamichael |
Fast scalable FPGA-based Network-on-Chip simulation models. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan R. Ghica |
Function interface models for hardware compilation. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenchao Li 0001, Lili Dworkin, Sanjit A. Seshia |
Mining assumptions for synthesis. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahdy Zolghadr, Koosha Mirhosseini, Saeid Gorgin 0001, Abbas Nayebi |
GPU-based NoC simulator. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Chiou |
MEMOCODE 2011 Hardware/Software CoDesign Contest: NoC simulator. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Slobodová, Jared Davis, Sol Swords, Warren A. Hunt Jr. |
A flexible formal verification framework for industrial scale validation. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Hervé Marchand, Paul Le Guernic |
Polychronous controller synthesis from MARTE CCSL timing specifications. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled |
Efficient deadlock detection for concurrent systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Jefferson |
Modern constraint solving by propagation. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirav Dave, Michael Katelman, Myron King, Arvind, José Meseguer 0001 |
Verification of microarchitectural refinements in rule-based systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli, Stefano Soffia |
EFSM-based model-driven approach to concolic testing of system-level design. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
Transforming SystemC Transaction Level Models into UPPAAL timed automata. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Hofferek, Roderick Bloem |
Controller synthesis for pipelined circuits using uninterpreted functions. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paraskevas Bourgos, Ananda Basu, Marius Bozga, Saddek Bensalem, Joseph Sifakis, Kai Huang |
Rigorous system level modeling and analysis of mixed HW/SW systems. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Wimmer 0001, Ernst Moritz Hahn, Holger Hermanns, Bernd Becker 0001 |
Reachability analysis for incomplete networks of Markov decision processes. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bijoy Antony Jose, Abdoulaye Gamatié, Julien Ouy, Sandeep K. Shukla |
SMT based false causal loop detection during code synthesis from Polychronous specifications. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David I. August, Sharad Malik |
Parallel assertions for debugging parallel programs. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Mokhov, Danil Sokolov, Maxim Rykunov, Alex Yakovlev |
Formal modelling and transformations of processor instruction sets. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Shand |
A case study of hardware software co-design in a consumer ASIC. |
MEMOCODE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Xue, Sandeep K. Shukla, S. S. Ravi |
Minimizing back pressure for latency insensitive system synthesis. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky |
Elastic systems. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Darte |
Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary |
ATLAS: Automatic Term-level abstraction of RTL designs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda |
Feldspar: A domain specific language for digital signal processing algorithms. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nirav Dave, Man Cheuk Ng, Michael Pellauer, Arvind |
A design flow based on modular refinement. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg S. Medvedev, Ilya Posov |
Using hardware-software codesign language to implement CANSCID. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider 0001, Barbara Jobstmann, Luca P. Carloni, Jens Brandt 0001 |
Message from the chairs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidharta Andalam, Partha S. Roop, Alain Girault |
Predictable multithreading of embedded applications using PRET-C. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Große, Hoang Minh Le 0001, Rolf Drechsler |
Proving transaction and system-level properties of untimed SystemC TLM designs. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Velacheri Jagadeesan Sananda |
A high throughput parallel architecture for category specific Deep Packet Inspection. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Deian Tabakov, Moshe Y. Vardi |
Monitoring temporal SystemC properties. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruttomesso, Edgar Pek, Natasha Sharygina |
A flexible schema for generating explanations in lazy theory propagation. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Fang Yu 0001, Aysu Betin-Can |
Modular verification of synchronization with reentrant locks. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mike Gemunde, Jens Brandt 0001, Klaus Schneider 0001 |
Compilation of imperative synchronous programs with refined clocks. |
MEMOCODE |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license