Searching...
Advanced Search
A
ACSD
2012
2012 12th International Conference on Application of Concurrency to System Design
This Publication
Digital Library
Advanced Search
This Publication
Purchase Instant Conference Download
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2012 12th International Conference on Application of Concurrency to System Design
Hamburg, Germany
June 27-June 29
ISBN: 978-0-7695-4709-1
Table of Contents
Papers
ACSD 2012 - 12th International Conference on Application of Concurrency to System Design [cover art]
(PDF)
pp. C4-C4
ABSTRACT
PDF
Proceedings: 2012 12th International Conference on Application of Concurrency to System Design - ACSD 2012 [breaker page]
(PDF)
pp. i-i
ABSTRACT
PDF
Proceedings: 2012 12th international conference on application of concurrency to system design - acsd 2012 [breaker page]
(PDF)
pp. iii-iii
ABSTRACT
PDF
[Copyright notice]
(PDF)
pp. iv-iv
ABSTRACT
PDF
2012 12th International Conference on Application of Concurrency to System Design: ACSD 2012 - Table of contents
(PDF)
pp. v-vi
ABSTRACT
PDF
Message from the Programme Co-chairs
(PDF)
Jens Brandt
Keijo Heljanko
pp. vii-vii
ABSTRACT
PDF
Conference Organization
(PDF)
pp. viii-viii
ABSTRACT
PDF
Programme Committee
(PDF)
pp. ix-ix
ABSTRACT
PDF
External reviewers
(PDF)
pp. x-x
ABSTRACT
PDF
Design of Networks-on-Chip for Real-Time Multi-processor Systems-on-Chip
(Abstract)
Jens Sparso
pp. 1-5
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
GSPNs Revisited: Simple Semantics and New Analysis Algorithms
(Abstract)
Joost-Pieter Katoen
pp. 6-11
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
All Linear-Time Congruences for Finite LTSs and Familiar Operators
(Abstract)
Antti Valmari
pp. 12-21
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Algebra of Parameterised Graphs
(Abstract)
Andrey Mokhov
Victor Khomenko
Arseniy Alekseyev
Alex Yakovlev
pp. 22-31
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Introducing Fairness into Compositional Verification via Unidirectional Counters
(Abstract)
Antti Siirtola
Antti Puhakka
Gerald Luttgen
pp. 32-41
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Trace-Based Semantics for Responsiveness
(Abstract)
Walter Vogler
Christian Stahl
Richard Muller
pp. 42-51
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Verifying Performance of Supervised Plants
(Abstract)
J. Markovski
M.A. Reniers
pp. 52-61
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Large-Scale On-Chip Dynamic Programming Network Inferences Using Moderated Inter-core Communication
(Abstract)
Andrew Mundy
Terrence Mak
Alex Yakovlev
Simon Davidson
Steve Furber
pp. 62-71
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Reachability Analysis of P-time Petri Nets with Parametric Markings
(Abstract)
Hanifa Boucheneb
Kamel Barkaoui
pp. 72-81
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Translating Structural Process Properties to Petri Net Markings
(Abstract)
Sven Linker
pp. 82-91
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Hasse Diagrams of Combined Traces
(Abstract)
Lukasz Mikulski
Maciej Koutny
pp. 92-101
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A High-Level Strategy for C-net Discovery
(Abstract)
Marc Sole
Josep Carmona
pp. 102-111
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
On Dual-Rail Control Logic for Enhanced Circuit Robustness
(Abstract)
Andrey Mokhov
Victor Khomenko
Danil Sokolov
Alex Yakovlev
pp. 112-121
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Robust Asynchronous Interfacing Scheme with Four-Phase Dual-Rail Coding
(Abstract)
Jakob Lechner
Martin Lampacher
Thomas Polzer
pp. 122-131
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Improving Dynamic Partial Order Reductions for Concolic Testing
(Abstract)
Olli Saarikivi
Kari Kahkonen
Keijo Heljanko
pp. 132-141
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
PeabraiN: A PIPE Extension for Performance Estimation and Resource Optimisation
(Abstract)
Ricardo J. Rodriguez
Jorge Julvez
Jose Merseguer
pp. 142-147
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Sequence Chart Studio
(Abstract)
Martin Bezdeka
Ondrej Bouda
Lubo Korenciak
Matú Madzin
Vojtech Reh'k
pp. 148-153
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Reactive and Proactive Diagnosis of Distributed Systems Using Net Unfoldings
(Abstract)
Javier Esparza
Christian Kern
pp. 154-163
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
State Space Analysis Using Symmetries on Decision Diagrams
(Abstract)
Maximilien Colange
Fabrice Kordon
Yann Thierry-Mieg
Souheib Baarir
pp. 164-172
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
An Algorithmic Framework for Coverability in Well-Structured Systems
(Abstract)
Tim Strazny
Roland Meyer
pp. 173-182
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Affine Data-Flow Graphs for the Synthesis of Hard Real-Time Applications
(Abstract)
Adnan Bouakaz
Jean-Pierre Talpin
Jan Vitek
pp. 183-192
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Modularity and Part-Whole Compositionality for Computing the State Semantics of Statecharts
(Abstract)
Luca Pazzi
Marco Pradelli
pp. 193-203
ABSTRACT
PDF
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Author index
(PDF)
pp. 204-204
ABSTRACT
PDF
IEEE Computer Society Technical & Conference Activities Board [Publisher's information]
(PDF)
pp. 206-206
ABSTRACT
PDF
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
