Proceedings 1998 International Conference on Application of Concurrency to System Design
Latest Publications

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By IEEE Comput. Soc

0818683503

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Identifying state coding conflicts in asynchronous system specifications using Petri net unfoldings

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657548 ◽

2002 ◽

Author(s):

A. Kondratyev ◽

M. Kishinevsky ◽

A. Taubin ◽

J. Cortadella ◽

L. Lavagno ◽

...

Keyword(s):

Petri Net ◽

Asynchronous System

Download Full-text

Hierarchical concurrent finite state machines in Ptolemy

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657537 ◽

2002 ◽

Author(s):

Bilung Lee ◽

E.A. Lee

Keyword(s):

Finite State Machines ◽

State Machines ◽

Download Full-text

Efficient approach to symbolic state exploration of complex parallel controllers

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657546 ◽

2002 ◽

Author(s):

K. Bilinski ◽

E.L. Dagless

Keyword(s):

Efficient Approach

Download Full-text

Integrating the verification of timing, performance and correctness properties of concurrent systems

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657544 ◽

2002 ◽

Author(s):

A. Cerone ◽

D.A. Kearney ◽

G.J. Milne

Keyword(s):

Concurrent Systems

Download Full-text

A translation of Statecharts into Signal

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657539 ◽

2002 ◽

Author(s):

J.-R. Beauvais ◽

T. Gautier ◽

P. Le Guernic ◽

R. Houdebine ◽

E. Rutten

Download Full-text

A Java-based formal development environment for factory communication systems

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657558 ◽

2002 ◽

Author(s):

C. Demartini ◽

R. Sisto

Keyword(s):

Communication Systems ◽

Development Environment ◽

Formal Development

Download Full-text

Proving correctness of distributed algorithms using high-level Petri nets-a case study

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657550 ◽

2002 ◽

Author(s):

G. Desel ◽

E. Kindler

Keyword(s):

Distributed Algorithms ◽

Download Full-text

A presentation of regular languages in the assumption-commitment framework

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657556 ◽

2002 ◽

Author(s):

S. Mohalik ◽

R. Ramanujam

Keyword(s):

Regular Languages

Download Full-text

Event-driven verification of switch-level correctness concerns

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657553 ◽

2002 ◽

Author(s):

R. Negulescu

Keyword(s):

Download Full-text

Visual formalisms revisited

Proceedings 1998 International Conference on Application of Concurrency to System Design ◽

10.1109/csd.1998.657538 ◽

2002 ◽

Author(s):

R. Grosu ◽

G. Stefanescu ◽

M. Broy

Keyword(s):

Visual Formalisms

Download Full-text