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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769550350

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 4

Author(s):

Roland Kindermann ◽

Tommi Junttila ◽

Ilkka Niemela

Keyword(s):

Model Checking ◽

Timed Automata ◽

Bounded Model Checking

Download Full-text

Prototyping a Concurrency Model

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

10.1109/acsd.2013.21 ◽

2013 ◽

Cited By ~ 7

Author(s):

Benjamin Morandi ◽

Mischael Schill ◽

Sebastian Nanz ◽

Bertrand Meyer

Keyword(s):

Concurrency Model

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 ◽

Cited By ~ 2

Author(s):

Antti Siirtola ◽

Keijo Heljanko

Keyword(s):

Compositional Verification ◽

Data Types ◽

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 2

Author(s):

Mahesh Nanjundappa ◽

Matthew Kracht ◽

Julien Ouy ◽

Sandeep K. Shukla

Keyword(s):

Synthesis Methodology

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Bounded Model Checking of an MITL Fragment for Timed Automata

Prototyping a Concurrency Model

Additional reviewers

Parametrised Compositional Verification with Multiple Process and Data Types

Precision Timed Embedded Systems Using TickPAD Memory

Organizing Committee

Timing Analysis of Binary Programs with UPPAAL

Publisher's Information

Maximal Synthesis for Hennessy-Milner Logic

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
Latest Publications