2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design
Latest Publications

TOTAL DOCUMENTS

42

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By IEEE

9781424424177

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Arithmetic Circuits Verification without Looking for Internal Equivalences

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547681 ◽

2008 ◽

Author(s):

O. Sarbishei ◽

B. Alizadeh ◽

Masahiro Fujita

Keyword(s):

Arithmetic Circuits

Download Full-text

Virtual prototyping AADL architectures in a polychronous model of computation

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547701 ◽

2008 ◽

Author(s):

Yue Ma ◽

Jean-Pierre Talpin ◽

Thierry Gautier

Keyword(s):

Virtual Prototyping ◽

Model Of Computation

Download Full-text

A Comparison of Two SystemC/TLM Semantics for Formal Verification

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547687 ◽

2008 ◽

Author(s):

Claude Helmstetter ◽

Olivier Ponsini

Keyword(s):

Formal Verification

Download Full-text

Breaker Pages - Panel: Methodologies for On-Chip Communication Design: Trends and Challenges

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547711 ◽

2008 ◽

Keyword(s):

Communication Design ◽

Download Full-text

Vacuity Analysis by Fault Simulation

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547683 ◽

2008 ◽

Author(s):

Luigi di Guglielmo ◽

Franco Fummi ◽

Graziano Pravadelli

Keyword(s):

Fault Simulation

Download Full-text

Infinite State Model Checking with Arithmetic Constraints

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547697 ◽

2008 ◽

Author(s):

Tevfik Bultan

Keyword(s):

Model Checking ◽

State Model ◽

Download Full-text

Breaker Pages: Keynote Talk I

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547678 ◽

2008 ◽

Download Full-text

Assertion-Based Design with Horus

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547691 ◽

2008 ◽

Author(s):

Yann Oddos ◽

Katell Morin-Allory ◽

Dominique Borrione

Download Full-text

From Data to Events: Checking Properties on the Control of a System

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547682 ◽

2008 ◽

Author(s):

Christophe Jacquet ◽

Frederic Boulanger ◽

Dominique Marcadet

Download Full-text

Session V: Models of Computation

2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design ◽

10.1109/memcod.2008.4547698 ◽

2008 ◽

Keyword(s):

Models Of Computation

Download Full-text