2019 19th International Conference on Application of Concurrency to System Design (ACSD)
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781728138435

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Parametric Analyses of Attack-Fault Trees

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.00008 ◽

2019 ◽

Cited By ~ 2

Author(s):

Etienne Andre ◽

Didier Lime ◽

Mathias Ramparison ◽

Marielle Stoelinga

Keyword(s):

Fault Trees ◽

Parametric Analyses

Download Full-text

Reviewers

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.000-2 ◽

2019 ◽

Download Full-text

Structural Computation of Alignments of Business Processes Over Partial Orders

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.00012 ◽

2019 ◽

Cited By ~ 1

Author(s):

Farbod Taymouri ◽

Josep Carmona

Keyword(s):

Business Processes ◽

Partial Orders

Download Full-text

Control of DES with Urgency, Avoidability and Ineluctability

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.00020 ◽

2019 ◽

Cited By ~ 1

Author(s):

Jean-Luc Bechennec ◽

Didier Lime ◽

Olivier H. Roux

Download Full-text

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.00007 ◽

2019 ◽

Author(s):

Hiba Ouni ◽

Kais Klai ◽

Chiheb Ameur Abid ◽

Belhassen Zouari

Keyword(s):

Concurrent Systems ◽

Parallel Verification

Download Full-text

A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.00010 ◽

2019 ◽

Author(s):

Markus Anders ◽

Klaus Schneider

Keyword(s):

Formal Semantics

Download Full-text

Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.00013 ◽

2019 ◽

Author(s):

Paolo Felli ◽

Massimiliano de Leoni ◽

Marco Montali

Keyword(s):

Process Models

Download Full-text

Title Page iii

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.00002 ◽

2019 ◽

Keyword(s):

Title Page

Download Full-text

Conference Organization

2019 19th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2019.000-3 ◽

2019 ◽

Keyword(s):

Conference Organization

Download Full-text

2019 19th International Conference on Application of Concurrency to System Design (ACSD)
Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Parametric Analyses of Attack-Fault Trees

Reviewers

Structural Computation of Alignments of Business Processes Over Partial Orders

Control of DES with Urgency, Avoidability and Ineluctability

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph

A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units

Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions

Title Page iii

Conference Organization

Sponsors

Export Citation Format

2019 19th International Conference on Application of Concurrency to System Design (ACSD)Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Parametric Analyses of Attack-Fault Trees

Reviewers

Structural Computation of Alignments of Business Processes Over Partial Orders

Control of DES with Urgency, Avoidability and Ineluctability

Towards Parallel Verification of Concurrent Systems using the Symbolic Observation Graph

A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units

Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions

Title Page iii

Conference Organization

Sponsors

2019 19th International Conference on Application of Concurrency to System Design (ACSD)
Latest Publications