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

TOTAL DOCUMENTS

67

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By IEEE

0780385098

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal verification in intel cpu design

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

10.1109/memcod.2004.1459841 ◽

2005 ◽

Author(s):

J. O'Leary

Keyword(s):

Formal Verification

Download Full-text

Using invariants to optimize fonnal specifications before code synthesis

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

10.1109/memcod.2004.1459821 ◽

2005 ◽

Author(s):

R.D. Jeffords ◽

E.I. Leonard

Download Full-text

Static priority scheduling of event-triggered real-time embedded systems

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

10.1109/memcod.2004.1459830 ◽

2005 ◽

Author(s):

C. Erbas ◽

S. Cerav-Erbas ◽

A.D. Pimentel

Keyword(s):

Embedded Systems ◽

Real Time ◽

Priority Scheduling ◽

Event Triggered

Download Full-text

Curing Schizophrenia by program rewriting in Esterel

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

10.1109/memcod.2004.1459813 ◽

2005 ◽

Author(s):

O. Tardieu ◽

R. de Simone

Download Full-text

Message from the chairs

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

10.1109/memcod.2004.1459799 ◽

2005 ◽

Author(s):

A. Shukla ◽

S. Shukla ◽

C. Heitmeyer ◽

J. Talpin

Keyword(s):

Download Full-text

Automated, compositional and iterative deadlock detection

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

10.1109/memcod.2004.1459856 ◽

2005 ◽

Author(s):

S. Chaki ◽

E. Clarke ◽

J. Ouaknine ◽

N. Sharygina

Keyword(s):

Deadlock Detection

Download Full-text

Formal methods and software reliability

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

10.1109/memcod.2004.1459838 ◽

2005 ◽

Author(s):

G.J. Holzmann

Keyword(s):

Formal Methods ◽

Software Reliability

Download Full-text

Formal verification of pipelined processors with precise exceptions

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

10.1109/memcod.2004.1459832 ◽

2005 ◽

Author(s):

K. Kalyanasundaram ◽

R.K. Shyammundar

Keyword(s):

Formal Verification ◽

Pipelined Processors

Download Full-text

Static driver verifier, a formal verification tool for windows device drivers

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

10.1109/memcod.2004.1459840 ◽

2005 ◽

Author(s):

V. Levin

Keyword(s):

Formal Verification ◽

Device Drivers ◽

Verification Tool

Download Full-text

The battle of accountable voting systems

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

10.1109/memcod.2004.1459826 ◽

2005 ◽

Author(s):

D.L. Dill

Keyword(s):

Download Full-text