Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0780392272

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extended abstract: an environment for design verification of smart card systems using attack simulation in systemC

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487929 ◽

2005 ◽

Cited By ~ 1

Author(s):

K. Rothbart ◽

U. Neffe ◽

Ch. Steger ◽

R. Weiss ◽

E. Rieger ◽

...

Keyword(s):

Smart Card ◽

Design Verification

Download Full-text

Automotive software and systems engineering

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487905 ◽

2005 ◽

Cited By ~ 16

Author(s):

M. Broy

Keyword(s):

Systems Engineering ◽

Automotive Software

Download Full-text

Verification of parameterized hierarchical state machines using action language verifier

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487897 ◽

2005 ◽

Cited By ~ 4

Author(s):

T. Yavuz-Kahveci ◽

T. Bultan

Keyword(s):

State Machines ◽

Action Language ◽

Hierarchical State Machines

Download Full-text

Structural Operational Semantics for Supporting Multi-Cycle Operations in RTL HDLs

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487890 ◽

2005 ◽

Author(s):

Shuqing Zhao ◽

D.D. Gajski

Keyword(s):

Operational Semantics ◽

Structural Operational Semantics

Download Full-text

Improving SystemC simulation through Petri net reductions

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487903 ◽

2005 ◽

Cited By ~ 3

Author(s):

N. Savoiu ◽

Sandeep Shukla ◽

Rajesh Gupta

Keyword(s):

Petri Net

Download Full-text

Thunderstriking constraints with JUPITER

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487917 ◽

2005 ◽

Cited By ~ 1

Author(s):

C. Kloukinas

Download Full-text

Formal verification of SystemC by automatic hardware/software partitioning

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487900 ◽

2005 ◽

Cited By ~ 45

Author(s):

D. Kroening ◽

N. Sharygina

Keyword(s):

Formal Verification ◽

Software Partitioning

Download Full-text

On the decidability of shared memory consistency veri~cation

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487915 ◽

2005 ◽

Cited By ~ 2

Author(s):

A. Sezgin ◽

G. Gopalakrishnan

Keyword(s):

Shared Memory ◽

Memory Consistency

Download Full-text

Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487931 ◽

2005 ◽

Author(s):

I. Ugarte ◽

P. Sanchez

Keyword(s):

Polynomial Model ◽

Functional Verification ◽

Branch Coverage ◽

Model Based

Download Full-text

System design extreme makeover

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487895 ◽

2005 ◽

Cited By ~ 2

Author(s):

D.D. Gajski

Keyword(s):

System Design

Download Full-text

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Extended abstract: an environment for design verification of smart card systems using attack simulation in systemC

Automotive software and systems engineering

Verification of parameterized hierarchical state machines using action language verifier

Structural Operational Semantics for Supporting Multi-Cycle Operations in RTL HDLs

Improving SystemC simulation through Petri net reductions

Thunderstriking constraints with JUPITER

Formal verification of SystemC by automatic hardware/software partitioning

On the decidability of shared memory consistency veri~cation

Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems

System design extreme makeover

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.
Latest Publications