Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

0769525563

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On-the-fly TCTL model checking for Time Petri Nets using state class graphs

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.18 ◽

2006 ◽

Author(s):

R. Hadjidj ◽

H. Boucheneb

Keyword(s):

Model Checking ◽

Petri Nets ◽

Time Petri Nets

Download Full-text

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language)

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.12 ◽

2006 ◽

Cited By ~ 1

Author(s):

R. Bouroulet ◽

H. Klaudel ◽

E. Pelz

Keyword(s):

Security Protocol

Download Full-text

SDF^3: SDF For Free

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.23 ◽

2006 ◽

Cited By ~ 108

Author(s):

S. Stuijk ◽

M. Geilen ◽

T. Basten

Download Full-text

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.36 ◽

2006 ◽

Cited By ~ 2

Author(s):

D. Cerotti ◽

D. D'Aprile ◽

S. Donatelli ◽

J. Sproston

Keyword(s):

Model Checking

Download Full-text

Specification and Verification of Dynamic Communication Systems

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.29 ◽

2006 ◽

Cited By ~ 6

Author(s):

J. Bauer ◽

I. Schaefer ◽

T. Toben ◽

B. Westphal

Keyword(s):

Communication Systems ◽

Specification And Verification

Download Full-text

Communicating with Synchronized Environments

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.3 ◽

2006 ◽

Author(s):

T. Seceleanu ◽

A. Jantsch

Download Full-text

Strategies for Optimised STG Decomposition

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.30 ◽

2006 ◽

Cited By ~ 6

Author(s):

M. Schaefer ◽

W. Vogler ◽

R. Wollowski ◽

V. Khomenko

Download Full-text

In this work, we propose two translations: one from extended

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.10 ◽

2006 ◽

Cited By ~ 2

Author(s):

K. Altisen ◽

F. Cassez ◽

S. Tripakis

Download Full-text

Synchronous + Concurrent + Sequential = Earlier than + Not later than

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.31 ◽

2006 ◽

Cited By ~ 1

Author(s):

G. Juhas ◽

R. Lorenz ◽

S. Mauser

Download Full-text

Minimal Counterexamples in O(n log n) Memory and O(n^2) Time

Sixth International Conference on Application of Concurrency to System Design (ACSD'06) ◽

10.1109/acsd.2006.11 ◽

2006 ◽

Cited By ~ 1

Author(s):

H. Hansen ◽

A. Kervinen

Download Full-text

Sixth International Conference on Application of Concurrency to System Design (ACSD'06)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

On-the-fly TCTL model checking for Time Petri Nets using state class graphs

Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language)

SDF^3: SDF For Free

Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools

Specification and Verification of Dynamic Communication Systems

Communicating with Synchronized Environments

Strategies for Optimised STG Decomposition

In this work, we propose two translations: one from extended

Synchronous + Concurrent + Sequential = Earlier than + Not later than

Minimal Counterexamples in O(n log n) Memory and O(n^2) Time

Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Latest Publications