Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/memocode/memocode2005.bht:"
download as .bib file
@inproceedings{DBLP:conf/memocode/Archer05,
author = {Myla Archer},
title = {Making {PVS} do what you want},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {67},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487893},
doi = {10.1109/MEMCOD.2005.1487893},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Archer05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BalarinPPS05,
author = {Felice Balarin and
Roberto Passerone and
Alessandro Pinto and
Alberto L. Sangiovanni{-}Vincentelli},
title = {A formal approach to system level design: metamodels and unified design
environments},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {155--163},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487909},
doi = {10.1109/MEMCOD.2005.1487909},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BalarinPPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BellegardeCJ05,
author = {Fran{\c{c}}oise Bellegarde and
Samir Chouali and
Jacques Julliand},
title = {Refinemant verification of fair transition systems can contribute
to {PLTL} model checking},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487911},
doi = {10.1109/MEMCOD.2005.1487911},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BellegardeCJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BombieriFF05,
author = {Nicola Bombieri and
Andrea Fedeli and
Franco Fummi},
title = {Extended abstract: on the property-based verification in SoC design
flow founded on transaction level modeling},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {239--240},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487922},
doi = {10.1109/MEMCOD.2005.1487922},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BombieriFF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BraitFP05,
author = {Stefano Brait and
Franco Fummi and
Graziano Pravadelli},
title = {On the use of a high-level fault model to analyze logical consequence
of properties},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {221--230},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487918},
doi = {10.1109/MEMCOD.2005.1487918},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BraitFP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Broy05,
author = {Manfred Broy},
title = {Automotive software and systems engineering (Panel)},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {143--149},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487905},
doi = {10.1109/MEMCOD.2005.1487905},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Broy05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BultanHO05,
author = {Tevfik Bultan and
Constance L. Heitmeyer and
John O'Leary},
title = {Panel on design for verification},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {232--235},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487920},
doi = {10.1109/MEMCOD.2005.1487920},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BultanHO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/DaveNA05,
author = {Nirav Dave and
Man Cheuk Ng and
Arvind},
title = {Automatic synthesis of cache-coherence protocol processors using Bluespec},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {25--34},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487887},
doi = {10.1109/MEMCOD.2005.1487887},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/DaveNA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/EdwardsT05,
author = {Stephen A. Edwards and
Olivier Tardieu},
title = {Deterministic receptive processes are Kahn processes},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {37--44},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487889},
doi = {10.1109/MEMCOD.2005.1487889},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/EdwardsT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Fujita05,
author = {Masahiro Fujita},
title = {Extended abstract: a formal design approach from software oriented
{UML} descriptions to hardware oriented {RTL}},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {241--242},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487923},
doi = {10.1109/MEMCOD.2005.1487923},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Fujita05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Gajski05,
author = {Daniel Gajski},
title = {System design extreme makeover},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {71--75},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487895},
doi = {10.1109/MEMCOD.2005.1487895},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Gajski05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Halbwachs05,
author = {Nicolas Halbwachs},
title = {A synchronous language at work: the story of Lustre},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {3--11},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487884},
doi = {10.1109/MEMCOD.2005.1487884},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Halbwachs05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/HooverB05,
author = {Greg Hoover and
Forrest Brewer},
title = {PyPBS design and methodologies},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487891},
doi = {10.1109/MEMCOD.2005.1487891},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/HooverB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/JeffordsB05,
author = {Ralph D. Jeffords and
Ramesh Bharadwaj},
title = {Extended abstract: formal verification of architectural patterns in
support of dependable distributed systems},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {243--244},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487924},
doi = {10.1109/MEMCOD.2005.1487924},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/JeffordsB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Jurjens05,
author = {Jan J{\"{u}}rjens},
title = {Verification of low-level crypto-protocol implementations using automated
theorem proving},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {89--98},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487898},
doi = {10.1109/MEMCOD.2005.1487898},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Jurjens05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Kloukinas05,
author = {Christos Kloukinas},
title = {Thunderstriking constraints with {JUPITER}},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {211--220},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487917},
doi = {10.1109/MEMCOD.2005.1487917},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Kloukinas05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/KroeningS05,
author = {Daniel Kroening and
Natasha Sharygina},
title = {Formal verification of SystemC by automatic hardware/software partitioning},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487900},
doi = {10.1109/MEMCOD.2005.1487900},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/KroeningS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Kruger05,
author = {Ingolf Kr{\"{u}}ger},
title = {Service-oriented software and systems engineering - a vision for the
automotive domain},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {150},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487906},
doi = {10.1109/MEMCOD.2005.1487906},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Kruger05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/LeonardA05,
author = {Elizabeth I. Leonard and
Myla Archer},
title = {Extended abstract: organizing automaton specifications to achieve
faithful representation},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {245--246},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487925},
doi = {10.1109/MEMCOD.2005.1487925},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/LeonardA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ManoliosS05,
author = {Panagiotis Manolios and
Sudarshan K. Srinivasan},
title = {A computationally ef{\textasciitilde}cient method based on commitment
re{\textasciitilde}nement maps for verifying pipelined machines},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {188--197},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487914},
doi = {10.1109/MEMCOD.2005.1487914},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ManoliosS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/NaeserF05,
author = {Gustaf Naeser and
Johan Furun{\"{a}}s},
title = {Extended abstract: evaluation of delay queues for a Ravenscar {HW}
kernel},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {247--248},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487926},
doi = {10.1109/MEMCOD.2005.1487926},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/NaeserF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Pareto05,
author = {Lars Pareto},
title = {Extended abstract: requirements modeling within iterative, incremental
processes},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {249--250},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487927},
doi = {10.1109/MEMCOD.2005.1487927},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Pareto05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PellauerLBN05,
author = {Michael Pellauer and
Mieszko Lis and
Don Baltus and
Rishiyur S. Nikhil},
title = {Synthesis of synchronous assertions with guarded atomic actions},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487886},
doi = {10.1109/MEMCOD.2005.1487886},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/PellauerLBN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PoplavkoBPMBW05,
author = {Peter Poplavko and
Twan Basten and
Milan Pastrnak and
Jef L. van Meerbergen and
Marco Bekooij and
Peter H. N. de With},
title = {Extended abstract: estimation times of on-chip multiprocessor stream-oriented
applications},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {250--251},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487928},
doi = {10.1109/MEMCOD.2005.1487928},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/PoplavkoBPMBW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Pree05,
author = {Wolfgang Pree},
title = {From bold idea to product - a case study},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {151},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487907},
doi = {10.1109/MEMCOD.2005.1487907},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Pree05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/RothbartNSWRM05,
author = {Klaus Rothbart and
Ulrich Neffe and
Christian Steger and
Reinhold Weiss and
Edgar Rieger and
Andreas M{\"{u}}hlberger},
title = {Extended abstract: an environment for design verification of smart
card systems using attack simulation in SystemC},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {253--254},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487929},
doi = {10.1109/MEMCOD.2005.1487929},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/RothbartNSWRM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SakunkonchakKF05,
author = {Thanyapat Sakunkonchak and
Satoshi Komatsu and
Masahiro Fujita},
title = {Synchronization verification in system-level design with {ILP} solvers},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {121--130},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487902},
doi = {10.1109/MEMCOD.2005.1487902},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SakunkonchakKF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SavoiuSG05,
author = {Nicolae Savoiu and
Sandeep K. Shukla and
Rajesh K. Gupta},
title = {Improving SystemC simulation through Petri net reductions},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {131--140},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487903},
doi = {10.1109/MEMCOD.2005.1487903},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SavoiuSG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SchaumontSV05,
author = {Patrick Schaumont and
Sandeep K. Shukla and
Ingrid Verbauwhede},
title = {Extended abstract: a race-free hardware modeling language},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {255--256},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487930},
doi = {10.1109/MEMCOD.2005.1487930},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SchaumontSV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SchuleS05,
author = {Tobias Sch{\"{u}}le and
Klaus Schneider},
title = {Three-valued logic in bounded model checking},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487912},
doi = {10.1109/MEMCOD.2005.1487912},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SchuleS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SezginG05,
author = {Ali Sezgin and
Ganesh Gopalakrishnan},
title = {On the decidability of shared memory consistency verification},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {199--208},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487915},
doi = {10.1109/MEMCOD.2005.1487915},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SezginG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/UgarteS05,
author = {{\'{I}}{\~{n}}igo Ugarte and
Pablo Sanchez},
title = {Extended abstract: polynomial model-based evaluation of the branch
coverage metric for functional verification of hardware systems},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {257--258},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487931},
doi = {10.1109/MEMCOD.2005.1487931},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/UgarteS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/XieSCN05,
author = {Fei Xie and
Xiaoyu Song and
Haera Chung and
Ranajoy Nandi},
title = {Translation-based co-verification},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {111--120},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487901},
doi = {10.1109/MEMCOD.2005.1487901},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/XieSCN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/XuKHT05,
author = {Xingwen Xu and
Shinji Kimura and
Kazunari Horikawa and
Takehiko Tsuchiya},
title = {Extended abstract: transition traversal coverage estimation for symbolic
model checking},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {259--260},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487932},
doi = {10.1109/MEMCOD.2005.1487932},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/XuKHT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Yavuz-KahveciB05,
author = {Tuba Yavuz{-}Kahveci and
Tevfik Bultan},
title = {Verification of parameterized hierarchical state machines using action
language verifier},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487897},
doi = {10.1109/MEMCOD.2005.1487897},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Yavuz-KahveciB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ZhaoG05,
author = {Shuqing Zhao and
Daniel D. Gajski},
title = {Structural operational semantics for supporting multi-cycle operations
in {RTL} HDLs},
booktitle = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
pages = {45--53},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/MEMCOD.2005.1487890},
doi = {10.1109/MEMCOD.2005.1487890},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ZhaoG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2005,
title = {3rd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2005), 11-14 July 2005, Verona,
Italy, Proceedings},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://ieeexplore.ieee.org/xpl/conhome/9956/proceeding},
isbn = {0-7803-9227-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-16 14:54 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
