Search dblp for Publications

export results for "toc:db/conf/memocode/memocode2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/memocode/Aiken06,
  author       = {Alexander Aiken},
  title        = {Scalable program analysis using Boolean satisfiability},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {89},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695908},
  doi          = {10.1109/MEMCOD.2006.1695908},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/Aiken06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Alur06,
  author       = {Rajeev Alur},
  title        = {Games for formal design and verification of reactive systems},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695893},
  doi          = {10.1109/MEMCOD.2006.1695893},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/Alur06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/ArcherLLMU06,
  author       = {Myla Archer and
                  Hongping Lim and
                  Nancy A. Lynch and
                  Sayan Mitra and
                  Shinya Umeno},
  title        = {Specifying and proving properties of timed {I/O} automata in the {TIOA}
                  toolkit},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {129--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695916},
  doi          = {10.1109/MEMCOD.2006.1695916},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/ArcherLLMU06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BanerjeeDC06,
  author       = {Ansuman Banerjee and
                  Pallab Dasgupta and
                  P. P. Chakrabarti},
  title        = {Formal methods for checking realizability of coalitions in 3-party
                  systems},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {198},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695927},
  doi          = {10.1109/MEMCOD.2006.1695927},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BanerjeeDC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BombieriFP06,
  author       = {Nicola Bombieri and
                  Franco Fummi and
                  Graziano Pravadelli},
  title        = {A methodology for abstracting {RTL} designs into {TL} descriptions},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {103--112},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695911},
  doi          = {10.1109/MEMCOD.2006.1695911},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BombieriFP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BoucaronSM06,
  author       = {Julien Boucaron and
                  Robert de Simone and
                  Jean{-}Vivien Millo},
  title        = {Latency-insensitive design and central repetitive scheduling},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {175--183},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695923},
  doi          = {10.1109/MEMCOD.2006.1695923},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BoucaronSM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/BultanH06,
  author       = {Tevfik Bultan and
                  Constance L. Heitmeyer},
  title        = {Analyzing tabular requirements specifications using infinite state
                  model checking},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {7--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695895},
  doi          = {10.1109/MEMCOD.2006.1695895},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/BultanH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/CzeckNS06,
  author       = {E. Czeck and
                  Ravi Nanavati and
                  Joseph E. Stoy},
  title        = {Reliable design with multiple clock domains},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {139--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695917},
  doi          = {10.1109/MEMCOD.2006.1695917},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/CzeckNS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/DavePGA06,
  author       = {Nirav Dave and
                  Michael Pellauer and
                  S. Gerding and
                  Arvind},
  title        = {802.11a transmitter: a case study in microarchitectural exploration},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {59--68},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695901},
  doi          = {10.1109/MEMCOD.2006.1695901},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/DavePGA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/DoucetKGS06,
  author       = {Frederic Doucet and
                  Ingolf Kr{\"{u}}ger and
                  Rajesh K. Gupta and
                  R. K. Shyamasundar},
  title        = {Compositional interaction specifications for SystemC},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {201},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695930},
  doi          = {10.1109/MEMCOD.2006.1695930},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/DoucetKGS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/EckerEH06,
  author       = {Wolfgang Ecker and
                  Volkan Esen and
                  Michael Hull},
  title        = {Execution semantics and formalisms for multi-abstraction {TLM} assertions},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {93--102},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695910},
  doi          = {10.1109/MEMCOD.2006.1695910},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/EckerEH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/FujitaSS06,
  author       = {Masahiro Fujita and
                  Subash Shankar and
                  Sasaki Shunsuke},
  title        = {Equivalence checking: a rule-based approach},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {197},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695926},
  doi          = {10.1109/MEMCOD.2006.1695926},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/FujitaSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/GruianRSR06,
  author       = {Flavius Gruian and
                  Partha S. Roop and
                  Zoran A. Salcic and
                  Ivan Radojevic},
  title        = {The SystemJ approach to system-level design},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {149--158},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695918},
  doi          = {10.1109/MEMCOD.2006.1695918},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/GruianRSR06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Gupta06,
  author       = {Rajesh Gupta},
  title        = {Programming models and languages for SoC-implemented architectures},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {125},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695914},
  doi          = {10.1109/MEMCOD.2006.1695914},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/Gupta06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/HsiaoSGL06,
  author       = {M. Hsiao and
                  Sandeep K. Shukla and
                  Maya B. Gokhale and
                  Alvin R. Lebeck},
  title        = {Panel: Nano-computing - do we need new formal approaches?},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {85--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695906},
  doi          = {10.1109/MEMCOD.2006.1695906},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/HsiaoSGL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/McEwanS06,
  author       = {Alistair A. McEwan and
                  Steve A. Schneider},
  title        = {A verified development of hardware using CSP{\(\parallel\)}B},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {81},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695904},
  doi          = {10.1109/MEMCOD.2006.1695904},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/McEwanS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/PatelSMN06,
  author       = {Hiren D. Patel and
                  Sandeep K. Shukla and
                  E. Mednick and
                  Rishiyur S. Nikhil},
  title        = {A rule-based model of computation for SystemC: integrating SystemC
                  and Bluespec for co-design},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {39--48},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695899},
  doi          = {10.1109/MEMCOD.2006.1695899},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/PatelSMN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/RazaviS06,
  author       = {Niloofar Razavi and
                  Marjan Sirjani},
  title        = {Using Reo for formal specification and verification of system designs},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {113--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695912},
  doi          = {10.1109/MEMCOD.2006.1695912},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/RazaviS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/SchneiderBV06,
  author       = {Klaus Schneider and
                  Jens Brandt and
                  Eric Vecchi{\'{e}}},
  title        = {Efficient code generation from synchronous programs},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {165--174},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695922},
  doi          = {10.1109/MEMCOD.2006.1695922},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/SchneiderBV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/Seger06,
  author       = {C. Seger},
  title        = {Integrating design and verification - from simple idea to practical
                  system},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {161},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695920},
  doi          = {10.1109/MEMCOD.2006.1695920},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/Seger06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/SinghS06,
  author       = {Gaurav Singh and
                  Sandeep K. Shukla},
  title        = {Low-power hardware synthesis from TRS-based specifications},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {49--58},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695900},
  doi          = {10.1109/MEMCOD.2006.1695900},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/SinghS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/TardieuE06,
  author       = {Olivier Tardieu and
                  Stephen A. Edwards},
  title        = {{R-SHIM:} deterministic concurrency with recursion and shared variables},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {202},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695931},
  doi          = {10.1109/MEMCOD.2006.1695931},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/TardieuE06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/TheelenGBVGS06,
  author       = {Bart D. Theelen and
                  Marc Geilen and
                  Twan Basten and
                  Jeroen Voeten and
                  Stefan Valentin Gheorghita and
                  Sander Stuijk},
  title        = {A scenario-aware data flow model for combined long-run average and
                  worst-case performance analysis},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {185--194},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695924},
  doi          = {10.1109/MEMCOD.2006.1695924},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/TheelenGBVGS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/UgarteS06,
  author       = {{\'{I}}{\~{n}}igo Ugarte and
                  Pablo Sanchez},
  title        = {Assertion checking of control dominated systems with nonlinear solvers},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {200},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695929},
  doi          = {10.1109/MEMCOD.2006.1695929},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/UgarteS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/VasudevanAVT06,
  author       = {Shobha Vasudevan and
                  Jacob A. Abraham and
                  Vinod Viswanath and
                  Jiajin Tu},
  title        = {Automatic decomposition for sequential equivalence checking of system
                  level and {RTL} descriptions},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {71--80},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695903},
  doi          = {10.1109/MEMCOD.2006.1695903},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/VasudevanAVT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/XieYS06,
  author       = {Fei Xie and
                  Guowu Yang and
                  Xiaoyu Song},
  title        = {Component-based hardware/software co-verification},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {27--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695897},
  doi          = {10.1109/MEMCOD.2006.1695897},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/XieYS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/YangWGI06,
  author       = {Zijiang Yang and
                  Chao Wang and
                  Aarti Gupta and
                  Franjo Ivancic},
  title        = {Mixed symbolic representations for model checking software programs},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {17--26},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695896},
  doi          = {10.1109/MEMCOD.2006.1695896},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/YangWGI06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/memocode/ZhuDS06,
  author       = {Qi Zhu and
                  Abhijit Davare and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {A semantic-driven synthesis flow for platform-based design},
  booktitle    = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  pages        = {199},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/MEMCOD.2006.1695928},
  doi          = {10.1109/MEMCOD.2006.1695928},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/ZhuDS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/memocode/2006,
  title        = {4th {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2006), 27-29 July 2006, Embassy
                  Suites, Napa, California, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/11148/proceeding},
  isbn         = {1-4244-0421-5},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/memocode/2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.