2015 15th International Conference on Application of Concurrency to System Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781467378826

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Author index

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.23 ◽

2015 ◽

Download Full-text

Preserving Partial Order Runs in Parametric Time Petri Nets

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.20 ◽

2015 ◽

Author(s):

Etienne Andre ◽

Thomas Chatain ◽

Cesar Rodriguez

Keyword(s):

Petri Nets ◽

Partial Order ◽

Time Petri Nets

Download Full-text

[Title page iii]

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.2 ◽

2015 ◽

Keyword(s):

Title Page

Download Full-text

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.15 ◽

2015 ◽

Cited By ~ 1

Author(s):

Ala Eddine Ben Salem ◽

Mohamed Graiet

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.9 ◽

2015 ◽

Cited By ~ 1

Author(s):

Qi Tang ◽

Twan Basten ◽

Marc Geilen ◽

Sander Stuijk ◽

Ji-Bo Wei

Keyword(s):

Memory Hierarchy ◽

Streaming Applications

Download Full-text

Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.21 ◽

2015 ◽

Cited By ~ 3

Author(s):

Ferenc Bujtor ◽

Lev Sorokin ◽

Walter Vogler

Download Full-text

Building a Symbolic Model Checker from Formal Language Description

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.10 ◽

2015 ◽

Cited By ~ 2

Author(s):

Edmundo Lopez Bobeda ◽

Maximilien Colange ◽

Didier Buchs

Keyword(s):

Formal Language ◽

Model Checker ◽

Symbolic Model ◽

Language Description

Download Full-text

[Publisher's information]

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.24 ◽

2015 ◽

Download Full-text

A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.17 ◽

2015 ◽

Cited By ~ 2

Author(s):

Alessandro De Gennaro ◽

Paulius Stankaitis ◽

Andrey Mokhov

Keyword(s):

Heuristic Algorithm ◽

Instruction Sets ◽

Compact Models

Download Full-text

Conference Organization

2015 15th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2015.25 ◽

2015 ◽

Keyword(s):

Conference Organization

Download Full-text

2015 15th International Conference on Application of Concurrency to System DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Author index

Preserving Partial Order Runs in Parametric Time Petri Nets

[Title page iii]

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata

Task-FIFO Co-scheduling of Streaming Applications on MPSoCs with Predictable Memory Hierarchy

Testing Preorders for dMTS: Deadlock- and the New Deadlock/Divergence-Testing

Building a Symbolic Model Checker from Formal Language Description

[Publisher's information]

A Heuristic Algorithm for Deriving Compact Models of Processor Instruction Sets

Conference Organization

2015 15th International Conference on Application of Concurrency to System Design
Latest Publications