2011 Eleventh International Conference on Application of Concurrency to System Design
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781612849744

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Building Tight Occurrence Nets from Reveals Relations

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.16 ◽

2011 ◽

Cited By ~ 3

Author(s):

Sandie Balaguer ◽

Thomas Chatain ◽

Stefan Haar

Download Full-text

Publisher's Information

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.13 ◽

2011 ◽

Download Full-text

Author Index

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.12 ◽

2011 ◽

Download Full-text

Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting Systems

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.27 ◽

2011 ◽

Author(s):

Yu Zhou ◽

Terrence Mak ◽

Alex Yakovlev

Keyword(s):

Energy Harvesting ◽

Peak Power ◽

Power Modulation ◽

Harvesting Systems ◽

Run Time

Download Full-text

Bounds: From Parameterised to Finite-State Verification

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.24 ◽

2011 ◽

Cited By ~ 2

Author(s):

Antti Siirtola

Keyword(s):

Finite State ◽

Finite State Verification

Download Full-text

Cost-Based Fitness in Conformance Checking

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.19 ◽

2011 ◽

Cited By ~ 29

Author(s):

A. Adriansyah ◽

N. Sidorova ◽

B.F. van Dongen

Keyword(s):

Conformance Checking

Download Full-text

Copyright Page

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.3 ◽

2011 ◽

Download Full-text

Additional Reviewers

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.7 ◽

2011 ◽

Download Full-text

On Generating *-Sound Nets with Substitution

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.26 ◽

2011 ◽

Cited By ~ 1

Author(s):

Jacek Sroka ◽

Piotr Chrzastowski-Wachtel ◽

Jan Hidders

Download Full-text

Invited Talks Abstracts

2011 Eleventh International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2011.8 ◽

2011 ◽

Download Full-text

2011 Eleventh International Conference on Application of Concurrency to System DesignLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Building Tight Occurrence Nets from Reveals Relations

Publisher's Information

Author Index

Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting Systems

Bounds: From Parameterised to Finite-State Verification

Cost-Based Fitness in Conformance Checking

Copyright Page

Additional Reviewers

On Generating *-Sound Nets with Substitution

Invited Talks Abstracts

2011 Eleventh International Conference on Application of Concurrency to System Design
Latest Publications