2017 17th International Conference on Application of Concurrency to System Design (ACSD)
Latest Publications

TOTAL DOCUMENTS

25

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By IEEE

9781538628676

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reduction of Order Structures

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.17 ◽

2017 ◽

Author(s):

Lukasz Mikulski ◽

Andrey Mokhov ◽

Marcin Piatkowski

Keyword(s):

Order Structures

Download Full-text

[Publisher's information]

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.8 ◽

2017 ◽

Download Full-text

Process Windows

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.18 ◽

2017 ◽

Author(s):

Andrey Mokhov ◽

Jordi Cortadella ◽

Alessandro de Gennaro

Download Full-text

Formal Design and Verification of an Asynchronous SRAM Controller

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.12 ◽

2017 ◽

Author(s):

Victor Khomenko ◽

Andrey Mokhov ◽

Danil Sokolov ◽

Alex Yakovlev

Keyword(s):

Download Full-text

[Title page i]

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.1 ◽

2017 ◽

Keyword(s):

Download Full-text

Author index

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.7 ◽

2017 ◽

Download Full-text

Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.10 ◽

2017 ◽

Author(s):

Mohammed Foughali

Keyword(s):

Robotic Systems

Download Full-text

Ardoises: Collaborative & Interactive Editing Using Layered Data

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.11 ◽

2017 ◽

Author(s):

Alban Linard ◽

Didier Buchs

Keyword(s):

Interactive Editing

Download Full-text

Xprova: Formal Verification Tool with Built-in Metastability Modeling

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.22 ◽

2017 ◽

Author(s):

Ghaith Tarawneh ◽

Andrey Mokhov

Keyword(s):

Formal Verification ◽

Verification Tool

Download Full-text

A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks

2017 17th International Conference on Application of Concurrency to System Design (ACSD) ◽

10.1109/acsd.2017.9 ◽

2017 ◽

Author(s):

Gilles Geeraerts ◽

Joel Goossens ◽

Thi-Van-Anh Nguyen

Keyword(s):

Download Full-text