2003 share record
persistent URL:
Arvind : Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. MEMOCODE 2003 : 249- export record
dblp key:
conf/memocode/BellegardeCK03 share record
persistent URL:
Françoise Bellegarde , Celina Charlet , Olga Kouchnarenko : How to Compute the Refinement Relation for Parameterized Systems. MEMOCODE 2003 : 103-112 share record
persistent URL:
Margot Bittner , Florian Kammüller : Translating Fusion/UML to Object-Z. MEMOCODE 2003 : 49-50 share record
persistent URL:
Manfred Broy : Modular Hierarchies of Models for Embedded Systems. MEMOCODE 2003 : 183- share record
persistent URL:
David Cachera , Katell Morin-Allory : Verification of Control Properties in the Polyhedral Model. MEMOCODE 2003 : 265- export record
dblp key:
conf/memocode/ClarkeGTW03 share record
persistent URL:
Edmund M. Clarke , Orna Grumberg , Muralidhar Talupur , Dong Wang : High Level Verification of Control Intensive Systems Using Predicate Abstraction. MEMOCODE 2003 : 55-64 export record
dblp key:
conf/memocode/ContensinP03 share record
persistent URL:
Magali Contensin , Laurence Pierre : Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. MEMOCODE 2003 : 75- export record
dblp key:
conf/memocode/El-MaddahM03 share record
persistent URL:
Islam A. M. El-Maddah , T. S. E. Maibaum : Goal-Oriented Requirements Analysis for Process Control Systems Design. MEMOCODE 2003 : 45-46 export record
dblp key:
conf/memocode/FernandesM03 share record
persistent URL:
Sérgio Murilo Maciel Fernandes , Paulo Romero Martins Maciel : Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. MEMOCODE 2003 : 172- share record
persistent URL:
Görschwin Fey , Rolf Drechsler : Finding Good Counter-Examples to Aid Design Verification. MEMOCODE 2003 : 51- share record
persistent URL:
Julio A. de Oliveira Filho , Manoel Eusébio de Lima , Paulo Romero Martins Maciel : Petri Net Based Interface Analysis for Fast IP-Core Integration. MEMOCODE 2003 : 34- export record
dblp key:
conf/memocode/FummiPFRT03 share record
persistent URL:
Franco Fummi , Graziano Pravadelli , Andrea Fedeli , Umberto Rossi , Franco Toto : On the Use of a High-Level Fault Model to Check Properties Incompleteness. MEMOCODE 2003 : 145-152 share record
persistent URL:
William B. Gardner : Bridging CSP and C++ with Selective Formalism and Executable Specifications. MEMOCODE 2003 : 237- share record
persistent URL:
Luís Gomes , Anikó Costa : From Use Cases to System Implementation: Statechart Based Co-design. MEMOCODE 2003 : 24-33 export record
dblp key:
conf/memocode/GrandpierreS03 share record
persistent URL:
Thierry Grandpierre , Yves Sorel : From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations. MEMOCODE 2003 : 123- share record
persistent URL:
Rajesh K. Gupta , Sandeep K. Shukla : Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation? MEMOCODE 2003 : 277- share record
persistent URL:
Jinfeng Huang , Jeroen Voeten , Marc Geilen : Real-time Property Preservation in Approximations of Timed Systems. MEMOCODE 2003 : 163-171 share record
persistent URL:
Rohit Jindal , Kshitiz Jain : Verification of Transaction-Level SystemC models using RTL Testbenches. MEMOCODE 2003 : 199-203 share record
persistent URL:
Grant Martin , Sandeep K. Shukla : Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments. MEMOCODE 2003 : 97- share record
persistent URL:
Kenneth L. McMillan : Methods for exploiting SAT solvers in unbounded model checking. MEMOCODE 2003 : 135- share record
persistent URL:
José Meseguer : Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design. MEMOCODE 2003 : 3- share record
persistent URL:
Giovanni De Micheli : Robust System Design with Uncertain Information. MEMOCODE 2003 : 283- export record
dblp key:
conf/memocode/OmnesPVBG03 share record
persistent URL:
Thierry J.-F. Omnés , Gerard Postuma , Jos Verhaegh , Marleen Boonen , Nick Gatherer : Using SSDE for USB2.0 conformance co-verification. MEMOCODE 2003 : 113-122 export record
dblp key:
conf/memocode/Potop-ButucaruS03 share record
persistent URL:
Dumitru Potop-Butucaru , Robert de Simone : Optimizations for Faster Execution of Esterel Programs. MEMOCODE 2003 : 227-236 export record
dblp key:
conf/memocode/RombergSH03 share record
persistent URL:
Jan Romberg , Oscar Slotosch , Gabor Hahn : MoDe: A Method for System-Level Architecture Evaluation. MEMOCODE 2003 : 13-23 export record
dblp key:
conf/memocode/SaitoSKKF03 share record
persistent URL:
Hiroshi Saito , Kenshu Seto , Yoshihisa Kojima , Satoshi Komatsu , Masahiro Fujita : Engineering Changes in Field Modifiable Architectures. MEMOCODE 2003 : 87-94 share record
persistent URL:
Tobias Schüle , Klaus Schneider : Exact Runtime Analysis Using Automata-Based Symbolic Simulation. MEMOCODE 2003 : 153-162 export record
dblp key:
conf/memocode/SprengerW03 share record
persistent URL:
Christoph Sprenger , Krzysztof Worytkiewicz : A Verification Methodology for Infinite-State Message Passing Systems. MEMOCODE 2003 : 255-264 export record
dblp key:
conf/memocode/SrinivasanV03 share record
persistent URL:
Sudarshan K. Srinivasan , Miroslav N. Velev : Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions. MEMOCODE 2003 : 65-74 share record
persistent URL:
Sander Stuijk , Twan Basten : Analyzing Concurrency in Computational Networks. MEMOCODE 2003 : 47-48