![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/memocode/memocode2003.bht:"
@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 = {Fri, 24 Mar 2023 00:00:00 +0100}, 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 = {Fri, 24 Mar 2023 00:00:00 +0100}, 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} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.