Fifth International Conference on Application of Concurrency to System Design (ACSD'05)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769523633

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling the SpaceWire Architecture with Lyra

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.26 ◽

2006 ◽

Cited By ~ 2

Author(s):

J. Honkola ◽

S. Leppanen ◽

T. Tynjala

Download Full-text

Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.27 ◽

2006 ◽

Cited By ~ 2

Author(s):

J. de Lara ◽

G. Taentzer

Keyword(s):

Distributed Simulation ◽

Graph Transformation

Download Full-text

Dead-Path-Elimination in BPEL4WS

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.11 ◽

2006 ◽

Cited By ~ 8

Author(s):

F. van Breugel ◽

M. Koshkina

Download Full-text

On Monitoring Concurrent Systems with TLA: An Example

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.29 ◽

2006 ◽

Cited By ~ 1

Author(s):

N. Rivierre ◽

F. Horn ◽

F.D. Tran

Keyword(s):

Concurrent Systems

Download Full-text

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.10 ◽

2006 ◽

Cited By ~ 16

Author(s):

D. Potop-Butucaru ◽

B. Caillaud

Download Full-text

A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.1 ◽

2006 ◽

Cited By ~ 2

Author(s):

T. Kellomaki ◽

A. Valmari

Keyword(s):

Concurrent Systems ◽

Testing Techniques

Download Full-text

Formal Methods for Networks on Chips

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.36 ◽

2006 ◽

Cited By ~ 5

Author(s):

K. Goossens

Keyword(s):

Formal Methods ◽

Networks On Chips

Download Full-text

Two-Phase Distributed Observation Problems

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.33 ◽

2006 ◽

Cited By ~ 5

Author(s):

S. Tripakis

Keyword(s):

Two Phase

Download Full-text

Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.28 ◽

2006 ◽

Cited By ~ 2

Author(s):

R. Hadjidj ◽

H. Boucheneb

Keyword(s):

Petri Net ◽

Time Petri Net

Download Full-text

Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) ◽

10.1109/acsd.2005.9 ◽

2006 ◽

Author(s):

H. Kapoor ◽

M. Josephs

Download Full-text

Fifth International Conference on Application of Concurrency to System Design (ACSD'05)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Modeling the SpaceWire Architecture with Lyra

Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation

Dead-Path-Elimination in BPEL4WS

On Monitoring Concurrent Systems with TLA: An Example

Correct-by-Construction Asynchronous Implementation of Modular Synchronous Specifications

A Method for Analysing the Performance of Certain Testing Techniques for Concurrent Systems

Formal Methods for Networks on Chips

Two-Phase Distributed Observation Problems

Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties

Controllable Delay-Insensitive Processes and their Reflection, Interaction and Factorisation

Fifth International Conference on Application of Concurrency to System Design (ACSD'05)
Latest Publications