default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st MEMOCODE 2003: Mont Saint-Michel, France
- 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings. IEEE Computer Society 2003, ISBN 0-7695-1923-7
Invited Talk
- José Meseguer:
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design. 3-
System Level Models and Co-design
- Jan Romberg, Oscar Slotosch, Gabor Hahn:
MoDe: A Method for System-Level Architecture Evaluation. 13-23 - Luís Gomes, Anikó Costa
:
From Use Cases to System Implementation: Statechart Based Co-design. 24-33 - Julio A. de Oliveira Filho, Manoel Eusébio de Lima, Paulo Romero Martins Maciel:
Petri Net Based Interface Analysis for Fast IP-Core Integration. 34-
Short Presentation Session
- Islam A. M. El-Maddah, T. S. E. Maibaum:
Goal-Oriented Requirements Analysis for Process Control Systems Design. 45-46 - Sander Stuijk, Twan Basten:
Analyzing Concurrency in Computational Networks. 47-48 - Margot Bittner, Florian Kammüller:
Translating Fusion/UML to Object-Z. 49-50 - Görschwin Fey, Rolf Drechsler:
Finding Good Counter-Examples to Aid Design Verification. 51-
Formal Verification I
- Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang:
High Level Verification of Control Intensive Systems Using Predicate Abstraction. 55-64 - Sudarshan K. Srinivasan, Miroslav N. Velev:
Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions. 65-74 - Magali Contensin, Laurence Pierre:
Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs. 75-
Field Modifiability and Verifiability
- Hiroshi Saito, Kenshu Seto, Yoshihisa Kojima, Satoshi Komatsu, Masahiro Fujita:
Engineering Changes in Field Modifiable Architectures. 87-94
Panel I
- Grant Martin, Sandeep K. Shukla:
Hierarchical and Incremental Verification for System Level Design: Challenges and Accomplishments. 97-
Refinement/Conformance I
- Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko:
How to Compute the Refinement Relation for Parameterized Systems. 103-112 - Thierry J.-F. Omnés, Gerard Postuma, Jos Verhaegh, Marleen Boonen, Nick Gatherer:
Using SSDE for USB2.0 conformance co-verification. 113-122 - Thierry Grandpierre, Yves Sorel:
From Algorithm and Architecture Specifications to Automatic Generation of Distributed Real-Time Executives: a Seamless Flow of Graphs Transformations. 123-
Invited Talk
- Kenneth L. McMillan:
Methods for exploiting SAT solvers in unbounded model checking. 135-
Validation, Co-validation
- Franco Fummi, Graziano Pravadelli, Andrea Fedeli, Umberto Rossi, Franco Toto:
On the Use of a High-Level Fault Model to Check Properties Incompleteness. 145-152 - Tobias Schüle, Klaus Schneider:
Exact Runtime Analysis Using Automata-Based Symbolic Simulation. 153-162 - Jinfeng Huang, Jeroen Voeten, Marc Geilen:
Real-time Property Preservation in Approximations of Timed Systems. 163-171 - Sérgio Murilo Maciel Fernandes, Paulo Romero Martins Maciel:
Reliability Evaluation for Dependable Embedded System Specifications: An Approach Based on DSPN. 172-
Invited Talk
- Manfred Broy:
Modular Hierarchies of Models for Embedded Systems. 183-
Refinement II
- Rohit Jindal, Kshitiz Jain:
Verification of Transaction-Level SystemC models using RTL Testbenches. 199-203 - Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin:
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect. 204-
Synthesis, Optimization
- Roberto Ziller, Klaus Schneider:
A Generalised Approach to Supervisor Synthesis. 217-226 - Dumitru Potop-Butucaru, Robert de Simone:
Optimizations for Faster Execution of Esterel Programs. 227-236 - William B. Gardner:
Bridging CSP and C++ with Selective Formalism and Executable Specifications. 237-
Invited Talk
- Arvind:
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. 249-
Formal Verification II
- Christoph Sprenger, Krzysztof Worytkiewicz:
A Verification Methodology for Infinite-State Message Passing Systems. 255-264 - David Cachera, Katell Morin-Allory:
Verification of Control Properties in the Polyhedral Model. 265-
Panel II
- Rajesh K. Gupta, Sandeep K. Shukla:
Should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation? 277-
Closing Talk
- Giovanni De Micheli:
Robust System Design with Uncertain Information. 283-
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.
last updated on 2025-12-09 23:22 CET 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:
