default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/memocode/memocode2003.bht:"
download as .bib file
@inproceedings{DBLP:conf/memocode/Arvind03,
author = {Arvind},
title = {Bluespec: {A} language for hardware design, simulation, synthesis
and verification Invited Talk},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {249},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/MEMOCODE.2003.10000},
doi = {10.1109/MEMOCODE.2003.10000},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Arvind03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BellegardeCK03,
author = {Fran{\c{c}}oise Bellegarde and
Celina Charlet and
Olga Kouchnarenko},
title = {How to Compute the Refinement Relation for Parameterized Systems},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210095},
doi = {10.1109/MEMCOD.2003.1210095},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BellegardeCK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BittnerK03,
author = {Margot Bittner and
Florian Kamm{\"{u}}ller},
title = {Translating Fusion/UML to Object-Z},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {49--50},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210087},
doi = {10.1109/MEMCOD.2003.1210087},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/BittnerK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Broy03,
author = {Manfred Broy},
title = {Modular Hierarchies of Models for Embedded Systems},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {183},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210103},
doi = {10.1109/MEMCOD.2003.1210103},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Broy03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/CacheraM03,
author = {David Cachera and
Katell Morin{-}Allory},
title = {Verification of Control Properties in the Polyhedral Model},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {265},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210111},
doi = {10.1109/MEMCOD.2003.1210111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/CacheraM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ClarkeGTW03,
author = {Edmund M. Clarke and
Orna Grumberg and
Muralidhar Talupur and
Dong Wang},
title = {High Level Verification of Control Intensive Systems Using Predicate
Abstraction},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {55--64},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210089},
doi = {10.1109/MEMCOD.2003.1210089},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ClarkeGTW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ContensinP03,
author = {Magali Contensin and
Laurence Pierre},
title = {Combining {ACL2} and a v-calculus Model-Checker to Verify System-Level
Designs},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {75},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210091},
doi = {10.1109/MEMCOD.2003.1210091},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/ContensinP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/El-MaddahM03,
author = {Islam A. M. El{-}Maddah and
T. S. E. Maibaum},
title = {Goal-Oriented Requirements Analysis for Process Control Systems Design},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {45--46},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210085},
doi = {10.1109/MEMCOD.2003.1210085},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/El-MaddahM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/FernandesM03,
author = {S{\'{e}}rgio Murilo Maciel Fernandes and
Paulo Romero Martins Maciel},
title = {Reliability Evaluation for Dependable Embedded System Specifications:
An Approach Based on {DSPN}},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {172},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210102},
doi = {10.1109/MEMCOD.2003.1210102},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/FernandesM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/FeyD03,
author = {G{\"{o}}rschwin Fey and
Rolf Drechsler},
title = {Finding Good Counter-Examples to Aid Design Verification},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {51},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210088},
doi = {10.1109/MEMCOD.2003.1210088},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/FeyD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/FilhoLM03,
author = {Julio A. de Oliveira Filho and
Manoel Eus{\'{e}}bio de Lima and
Paulo Romero Martins Maciel},
title = {Petri Net Based Interface Analysis for Fast IP-Core Integration},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {34},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210084},
doi = {10.1109/MEMCOD.2003.1210084},
timestamp = {Mon, 04 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/FilhoLM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/FummiPFRT03,
author = {Franco Fummi and
Graziano Pravadelli and
Andrea Fedeli and
Umberto Rossi and
Franco Toto},
title = {On the Use of a High-Level Fault Model to Check Properties Incompleteness},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {145--152},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210099},
doi = {10.1109/MEMCOD.2003.1210099},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/FummiPFRT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Gardner03,
author = {William B. Gardner},
title = {Bridging {CSP} and {C++} with Selective Formalism and Executable Specifications},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {237},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210108},
doi = {10.1109/MEMCOD.2003.1210108},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Gardner03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GomesC03,
author = {Lu{\'{\i}}s Gomes and
Anik{\'{o}} Costa},
title = {From Use Cases to System Implementation: Statechart Based Co-design},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {24--33},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210083},
doi = {10.1109/MEMCOD.2003.1210083},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/GomesC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GrandpierreS03,
author = {Thierry Grandpierre and
Yves Sorel},
title = {From Algorithm and Architecture Specifications to Automatic Generation
of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {123},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210097},
doi = {10.1109/MEMCOD.2003.1210097},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/GrandpierreS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/GuptaS03,
author = {Rajesh K. Gupta and
Sandeep K. Shukla},
title = {Should the space of implementation possibilities be determined by
the abilities of high-level synthesis and validation?},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {277},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210112},
doi = {10.1109/MEMCOD.2003.1210112},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/GuptaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/HuangVG03,
author = {Jinfeng Huang and
Jeroen Voeten and
Marc Geilen},
title = {Real-time Property Preservation in Approximations of Timed Systems},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {163--171},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210101},
doi = {10.1109/MEMCOD.2003.1210101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/HuangVG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/JindalJ03,
author = {Rohit Jindal and
Kshitiz Jain},
title = {Verification of Transaction-Level SystemC models using {RTL} Testbenches},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {199--203},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/MEMOCODE.2003.10002},
doi = {10.1109/MEMOCODE.2003.10002},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/JindalJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/MartinS03,
author = {Grant Martin and
Sandeep K. Shukla},
title = {Hierarchical and Incremental Verification for System Level Design:
Challenges and Accomplishments},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {97},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210094},
doi = {10.1109/MEMCOD.2003.1210094},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/MartinS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/McMillan03,
author = {Kenneth L. McMillan},
title = {Methods for exploiting {SAT} solvers in unbounded model checking},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {135},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210098},
doi = {10.1109/MEMCOD.2003.1210098},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/McMillan03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Meseguer03,
author = {Jos{\'{e}} Meseguer},
title = {Executable Computational Logics: Combining Formal Methods and Programming
Language Based System Design},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {3},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210081},
doi = {10.1109/MEMCOD.2003.1210081},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/Meseguer03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Micheli03,
author = {Giovanni De Micheli},
title = {Robust System Design with Uncertain Information},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {283},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210113},
doi = {10.1109/MEMCOD.2003.1210113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Micheli03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/OmnesPVBG03,
author = {Thierry J.{-}F. Omn{\'{e}}s and
Gerard Postuma and
Jos Verhaegh and
Marleen Boonen and
Nick Gatherer},
title = {Using {SSDE} for {USB2.0} conformance co-verification},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {113--122},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210096},
doi = {10.1109/MEMCOD.2003.1210096},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/OmnesPVBG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Potop-ButucaruS03,
author = {Dumitru Potop{-}Butucaru and
Robert de Simone},
title = {Optimizations for Faster Execution of Esterel Programs},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {227--236},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210107},
doi = {10.1109/MEMCOD.2003.1210107},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Potop-ButucaruS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/RombergSH03,
author = {Jan Romberg and
Oscar Slotosch and
Gabor Hahn},
title = {MoDe: {A} Method for System-Level Architecture Evaluation},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {13--23},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210082},
doi = {10.1109/MEMCOD.2003.1210082},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/RombergSH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SaitoSKKF03,
author = {Hiroshi Saito and
Kenshu Seto and
Yoshihisa Kojima and
Satoshi Komatsu and
Masahiro Fujita},
title = {Engineering Changes in Field Modifiable Architectures},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {87--94},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/MEMOCODE.2003.10001},
doi = {10.1109/MEMOCODE.2003.10001},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SaitoSKKF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SchuleS03,
author = {Tobias Sch{\"{u}}le and
Klaus Schneider},
title = {Exact Runtime Analysis Using Automata-Based Symbolic Simulation},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210100},
doi = {10.1109/MEMCOD.2003.1210100},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/SchuleS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SprengerW03,
author = {Christoph Sprenger and
Krzysztof Worytkiewicz},
title = {A Verification Methodology for Infinite-State Message Passing Systems},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {255--264},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210110},
doi = {10.1109/MEMCOD.2003.1210110},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/SprengerW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SrinivasanV03,
author = {Sudarshan K. Srinivasan and
Miroslav N. Velev},
title = {Formal Verification of an Intel XScale Processor Model with Scoreboarding,
Specialized Execution Pipelines, and Impress Data-Memory Exceptions},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {65--74},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210090},
doi = {10.1109/MEMCOD.2003.1210090},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/SrinivasanV03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/StuijkB03,
author = {Sander Stuijk and
Twan Basten},
title = {Analyzing Concurrency in Computational Networks},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {47--48},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210086},
doi = {10.1109/MEMCOD.2003.1210086},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/StuijkB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/WodeyCHC03,
author = {Pierre Wodey and
Geoffrey Camarroque and
Fabrice Baray and
Richard Hersemeule and
Jean{-}Philippe Cousin},
title = {{LOTOS} Code Generation for Model Checking of STBus Based SoC: the
STBus interconnect},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {204},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210105},
doi = {10.1109/MEMCOD.2003.1210105},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/WodeyCHC03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/ZillerS03,
author = {Roberto Ziller and
Klaus Schneider},
title = {A Generalised Approach to Supervisor Synthesis},
booktitle = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
pages = {217--226},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/MEMCOD.2003.1210106},
doi = {10.1109/MEMCOD.2003.1210106},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/ZillerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/memocode/2003,
title = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
Saint-Michel, France, Proceedings},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://ieeexplore.ieee.org/xpl/conhome/8593/proceeding},
isbn = {0-7695-1923-7},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-11-05 06:42 CET 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:
