2013 13th International Conference on Application of Concurrency to System Design
Latest Publications

TOTAL DOCUMENTS

38

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By IEEE

9780769550350

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Prototyping a Concurrency Model

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.21 ◽

2013 ◽

Author(s):

Benjamin Morandi ◽

Mischael Schill ◽

Sebastian Nanz ◽

Bertrand Meyer

Keyword(s):

Concurrency Model

Download Full-text

Bounded Model Checking of an MITL Fragment for Timed Automata

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.25 ◽

2013 ◽

Author(s):

Roland Kindermann ◽

Tommi Junttila ◽

Ilkka Niemela

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Additional reviewers

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.35 ◽

2013 ◽

Download Full-text

Parametrised Compositional Verification with Multiple Process and Data Types

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.9 ◽

2013 ◽

Author(s):

Antti Siirtola ◽

Keijo Heljanko

Keyword(s):

Compositional Verification ◽

Multiple Process

Download Full-text

Precision Timed Embedded Systems Using TickPAD Memory

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.30 ◽

2013 ◽

Author(s):

Matthew Kuo ◽

Partha Roop ◽

Sidharta Andalam ◽

Nitish Patel

Keyword(s):

Embedded Systems

Download Full-text

Organizing Committee

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.2 ◽

2013 ◽

Download Full-text

Timing Analysis of Binary Programs with UPPAAL

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.7 ◽

2013 ◽

Author(s):

Franck Cassez ◽

Jean-Luc Bechennec

Keyword(s):

Timing Analysis ◽

Binary Programs

Download Full-text

Publisher's Information

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.28 ◽

2013 ◽

Download Full-text

Maximal Synthesis for Hennessy-Milner Logic

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.4 ◽

2013 ◽

Author(s):

A.C. van Hulst ◽

M.A. Reniers ◽

W.J.Fokkink

Download Full-text

A New Multi-threaded Code Synthesis Methodology and Tool for Correct-by-Construction Synthesis from Polychronous Specifications

2013 13th International Conference on Application of Concurrency to System Design ◽

10.1109/acsd.2013.6 ◽

2013 ◽

Author(s):

Mahesh Nanjundappa ◽

Matthew Kracht ◽

Julien Ouy ◽

Sandeep K. Shukla

Keyword(s):

Synthesis Methodology

Download Full-text