First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.

Panel: hierarchical and incremental verification for system level design: challenges and accomplishments

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210094 ◽

2005 ◽

Cited By ~ 2

Author(s):

G. Martin ◽

S. Shukla

Keyword(s):

System Level ◽

System Level Design ◽

Level Design ◽

Design Challenges

Download Full-text

Panel: should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210112 ◽

2005 ◽

Author(s):

R. Gupta ◽

S. Shukla

Keyword(s):

High Level Synthesis ◽

High Level

Download Full-text

Proceedings First ACM and IEEE International Conference on Formal Methods and Models for Co-Design. MEMOCODE'03

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210080 ◽

2003 ◽

Keyword(s):

Formal Methods ◽

International Conference ◽

Ieee International Conference

Download Full-text

Engineering changes in field modifiable architectures

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210092 ◽

2003 ◽

Author(s):

H. Saito ◽

K. Seto ◽

Y. Kojima ◽

S. Komatsu ◽

M. Fujita

Keyword(s):

Engineering Changes

Download Full-text

Methods for exploiting SAT solvers in unbounded model checking

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210098 ◽

2003 ◽

Cited By ~ 2

Author(s):

K.L. McMillan

Keyword(s):

Model Checking ◽

Sat Solvers

Download Full-text

Finding good counter-examples to aid design verification

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210088 ◽

2003 ◽

Cited By ~ 11

Author(s):

G. Fey ◽

R. Dreschler

Keyword(s):

Design Verification

Download Full-text

Reliability evaluation for dependable embedded system specifications: an approach based on DSPN

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210102 ◽

2003 ◽

Author(s):

S.M.M. Fernandes ◽

P.R.M. Maciel

Keyword(s):

Embedded System ◽

Reliability Evaluation

Download Full-text

From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210097 ◽

2003 ◽

Cited By ~ 37

Author(s):

T. Grandpierre ◽

Y. Sorel

Keyword(s):

Real Time ◽

Automatic Generation

Download Full-text

Goal-oriented requirements analysis for process control systems design

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210085 ◽

2003 ◽

Cited By ~ 6

Author(s):

I. El-Maddah ◽

T. Maibaum

Keyword(s):

Process Control ◽

Control Systems ◽

Systems Design ◽

Requirements Analysis ◽

Process Control Systems ◽

Control Systems Design

Download Full-text

Petri net based interface analysis for fast IP-core integration

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings. ◽

10.1109/memcod.2003.1210084 ◽

2003 ◽

Cited By ~ 1

Author(s):

J.A. de Oliveira Filho ◽

M.E. de Lima ◽

P.R. Maciel

Keyword(s):

Petri Net ◽

Ip Core ◽

Interface Analysis ◽

Core Integration

Download Full-text

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Panel: hierarchical and incremental verification for system level design: challenges and accomplishments

Panel: should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?

Proceedings First ACM and IEEE International Conference on Formal Methods and Models for Co-Design. MEMOCODE'03

Engineering changes in field modifiable architectures

Methods for exploiting SAT solvers in unbounded model checking

Finding good counter-examples to aid design verification

Reliability evaluation for dependable embedded system specifications: an approach based on DSPN

From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations

Goal-oriented requirements analysis for process control systems design

Petri net based interface analysis for fast IP-core integration

Export Citation Format

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Panel: hierarchical and incremental verification for system level design: challenges and accomplishments

Panel: should the space of implementation possibilities be determined by the abilities of high-level synthesis and validation?

Proceedings First ACM and IEEE International Conference on Formal Methods and Models for Co-Design. MEMOCODE'03

Engineering changes in field modifiable architectures

Methods for exploiting SAT solvers in unbounded model checking

Finding good counter-examples to aid design verification

Reliability evaluation for dependable embedded system specifications: an approach based on DSPN

From algorithm and architecture specifications to automatic generation of distributed real-time executives: a seamless flow of graphs transformations

Goal-oriented requirements analysis for process control systems design

Petri net based interface analysis for fast IP-core integration

First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. MEMOCODE '03. Proceedings.
Latest Publications