Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

1424404215

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

R-SHIM: deterministic concurrency with recursion and shared variables

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695931 ◽

2006 ◽

Cited By ~ 2

Author(s):

O. Tardieu ◽

S.A. Edwards

Keyword(s):

Shared Variables

Download Full-text

Reliable design with multiple clock domains

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695917 ◽

2006 ◽

Cited By ~ 1

Author(s):

E. Czeck ◽

R. Nanavati ◽

J. Stoy

Keyword(s):

Clock Domains ◽

Reliable Design

Download Full-text

Integrating design and verification -- from simple idea to practical system

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695920 ◽

2006 ◽

Cited By ~ 2

Author(s):

C. Seger

Keyword(s):

Simple Idea ◽

Practical System

Download Full-text

A semantic-driven synthesis flow for platform-based design

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695928 ◽

2006 ◽

Author(s):

Qi Zhu ◽

A. Davare ◽

A. Sangiovanni-Vincentelli

Keyword(s):

Platform Based Design

Download Full-text

Specifying and proving properties of timed I/O automata in the TIOA toolkit

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695916 ◽

2006 ◽

Cited By ~ 13

Author(s):

M. Archer ◽

HongPing Lim ◽

N. Lynch ◽

S. Mitra ◽

S. Umeno

Download Full-text

Assertion checking of control dominated systems with nonlinear solvers

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695929 ◽

2006 ◽

Author(s):

I. Ugarte ◽

P. Sanchez

Keyword(s):

Nonlinear Solvers

Download Full-text

Compositional interaction specifications for SystemC

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695930 ◽

2006 ◽

Cited By ~ 1

Author(s):

F. Doucet ◽

I.H. Krueger ◽

R. Gupta ◽

R.K. Shyamasundar

Download Full-text

Analyzing tabular requirements specifications using infinite state model checking

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695895 ◽

2006 ◽

Cited By ~ 2

Author(s):

T. Bultan ◽

C. Heitmeyer

Keyword(s):

Model Checking ◽

State Model ◽

Requirements Specifications ◽

Infinite State

Download Full-text

The SystemJ approach to system-level design

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695918 ◽

2006 ◽

Cited By ~ 8

Author(s):

F. Gruian ◽

P. Roop ◽

Z. Salcic ◽

I. Radojevic

Keyword(s):

System Level ◽

System Level Design ◽

Level Design

Download Full-text

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06 ◽

10.1109/memcod.2006.1695899 ◽

2006 ◽

Cited By ~ 9

Author(s):

H.D. Patel ◽

S.K. Shukla ◽

E. Mednick ◽

R.S. Nikhil

Keyword(s):

Rule Based ◽

Model Of Computation

Download Full-text

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

R-SHIM: deterministic concurrency with recursion and shared variables

Reliable design with multiple clock domains

Integrating design and verification -- from simple idea to practical system

A semantic-driven synthesis flow for platform-based design

Specifying and proving properties of timed I/O automata in the TIOA toolkit

Assertion checking of control dominated systems with nonlinear solvers

Compositional interaction specifications for SystemC

Analyzing tabular requirements specifications using infinite state model checking

The SystemJ approach to system-level design

A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design

Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design 2006 MEMOCODE 06 Proceedings MEMCOD-06
Latest Publications