Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0769518877

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

AutoFOCUS and the MoDe tool

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207727 ◽

2004 ◽

Cited By ~ 1

Author(s):

J. Romberg ◽

J. Jurjens ◽

G. Wimmel ◽

O. Slotosch ◽

G. Hahn

Download Full-text

ABTOOLS: another B tool

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207718 ◽

2004 ◽

Cited By ~ 1

Author(s):

J.-L. Boulanger

Download Full-text

Detecting state coding conflicts in STG unfoldings using SAT

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207699 ◽

2004 ◽

Cited By ~ 10

Author(s):

V. Khomenko ◽

M. Koutny ◽

A. Yakovlev

Download Full-text

Rialto profile in the SMW toolkit

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207719 ◽

2004 ◽

Author(s):

D. Bjorklund ◽

J. Lilius ◽

I. Porres

Download Full-text

Case studies of model checking for embedded system designs

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207696 ◽

2004 ◽

Cited By ~ 1

Author(s):

Xi Chen ◽

H. Hsieh ◽

F. Balarin ◽

Y. Watanabe

Keyword(s):

Model Checking ◽

Embedded System ◽

Case Studies ◽

System Designs

Download Full-text

Design validation of ZCSP with SPIN

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207704 ◽

2004 ◽

Cited By ~ 3

Author(s):

V. Beaudenon ◽

E. Encrenaz ◽

J.-L. Desbarbieux

Keyword(s):

Design Validation

Download Full-text

Compositional verification of integrity for digital stream signature protocols

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207708 ◽

2004 ◽

Cited By ~ 1

Author(s):

R. Gorrieri ◽

F. Martinelli ◽

M. Petrocchi ◽

A. Vaccarelli

Keyword(s):

Compositional Verification

Download Full-text

Logic of involved variables - system specification with temporal logic of distributed actions

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207711 ◽

2004 ◽

Cited By ~ 2

Author(s):

A. Alexander ◽

W. Reisig

Keyword(s):

Temporal Logic ◽

System Specification

Download Full-text

HiWorD: a Petri net-based hierarchical workflow designer

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207720 ◽

2004 ◽

Cited By ~ 4

Author(s):

B. Benatallah ◽

P. Chrzastowski-Wachtel ◽

R. Hamadi ◽

M. O'Dell ◽

A. Susanto

Keyword(s):

Petri Net

Download Full-text

A polynomial-time algorithm for checking consistency of free-choice signal transition graphs

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. ◽

10.1109/csd.2003.1207700 ◽

2004 ◽

Cited By ~ 1

Author(s):

J. Esparza

Keyword(s):

Polynomial Time ◽

Free Choice ◽

Polynomial Time Algorithm ◽

Time Algorithm ◽

Transition Graphs

Download Full-text

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

AutoFOCUS and the MoDe tool

ABTOOLS: another B tool

Detecting state coding conflicts in STG unfoldings using SAT

Rialto profile in the SMW toolkit

Case studies of model checking for embedded system designs

Design validation of ZCSP with SPIN

Compositional verification of integrity for digital stream signature protocols

Logic of involved variables - system specification with temporal logic of distributed actions

HiWorD: a Petri net-based hierarchical workflow designer

A polynomial-time algorithm for checking consistency of free-choice signal transition graphs

Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.
Latest Publications