Searching...
Advanced Search
A
ACSD
2010
2010 10th International Conference on Application of Concurrency to System Design
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
Bibliographic References
ASCII Text
BibTex
RefWorks Procite/RefMan/EndNote
2010 10th International Conference on Application of Concurrency to System Design
Braga, Portugal
June 21-June 25
ISBN: 978-0-7695-4066-5
Table of Contents
Papers
[Front cover]
(PDF)
pp. C1
ABSTRACT
PDF
Title Page i
(PDF)
pp. i
ABSTRACT
PDF
Title Page iii
(PDF)
pp. iii
ABSTRACT
PDF
[Copyright notice]
(PDF)
pp. iv
ABSTRACT
PDF
Table of contents
(PDF)
pp. v-vii
ABSTRACT
PDF
Message from the Conference Chairs
(PDF)
pp. viii
ABSTRACT
PDF
Organisation
(PDF)
pp. ix
ABSTRACT
PDF
Programme Committee
(PDF)
pp. x
ABSTRACT
PDF
Additional reviewers
(PDF)
pp. xi
ABSTRACT
PDF
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design
(Abstract)
Andrey Mokhov
Arseniy Alekseyev
Alex Yakovlev
pp. 3-12
ABSTRACT
PDF
PURCHASE ARTICLE: $19
STG Decomposition: Internal Communication for SI Implementability
(Abstract)
Dominic Wist
Mark Schäfer
Walter Vogler
Ralf Wollowski
pp. 13-23
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths
(Abstract)
W.B. Toms
D.A. Edwards
pp. 24-34
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies
(Abstract)
Charlie Brej
pp. 35-44
ABSTRACT
PDF
PURCHASE ARTICLE: $19
From POOSL to UPPAAL: Transformation and Quantitative Analysis
(Abstract)
Jiansheng Xing
B.D. Theelen
Rom Langerak
Jaco van de Pol
Jan Tretmans
J.P.M. Voeten
pp. 47-56
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach
(Abstract)
Jean-Baptiste Voron
Clément Démoulins
Fabrice Kordon
pp. 57-66
ABSTRACT
PDF
PURCHASE ARTICLE: $19
An Asynchronous Routing Algorithm for Clos Networks
(Abstract)
Wei Song
Doug Edwards
pp. 67-76
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Robustness of Sequential Circuits
(Abstract)
Laurent Doyen
Thomas A. Henzinger
Axel Legay
Dejan Nickovic
pp. 77-84
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols
(Abstract)
Fatemeh Ghassemi
Ali Movaghar
Wan Fokkink
pp. 85-92
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Efficient Model Checking of PSL Safety Properties
(Abstract)
Tuomas Launiainen
Keijo Heljanko
Tommi Junttila
pp. 95-104
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Cut-Offs with Network Invariants
(Abstract)
Antti Siirtola
pp. 105-114
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Order-Independence of Vector-Based Transition Systems
(Abstract)
Matthias Raffelsieper
MohammadReza Mousavi
Hans Zantema
pp. 115-123
ABSTRACT
PDF
PURCHASE ARTICLE: $19
polyDD: Towards a Framework Generalizing Decision Diagrams
(Abstract)
Alban Linard
Emmanuel Paviot-Adet
Fabrice Kordon
Didier Buchs
Samuel Charron
pp. 124-133
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment
(Abstract)
Jean-Pierre Talpin
Julien Ouy
Thierry Gautier
Loïc Besnard
Alexandre Cortier
pp. 137-146
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism
(Abstract)
Bijoy A. Jose
Jason Pribble
Sandeep K. Shukla
pp. 147-156
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages
(Abstract)
Mike Gemünde
Jens Brandt
Klaus Schneider
pp. 157-168
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Aggregation Ordering for Massively Compositional Models
(Abstract)
Pepijn Crouzen
Holger Hermanns
pp. 171-180
ABSTRACT
PDF
PURCHASE ARTICLE: $19
The Model Checking View to Clock Gating and Operand Isolation
(Abstract)
Jens Brandt
Klaus Schneider
Sumit Ahuja
Sandeep K. Shukla
pp. 181-190
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Partial Order Reduction for Branching Security Protocols
(Abstract)
Wan Fokkink
Mohammad Torabi Dashti
Anton Wijs
pp. 191-200
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets
(Abstract)
Parisa Heidari
Hanifa Boucheneb
pp. 201-210
ABSTRACT
PDF
PURCHASE ARTICLE: $19
A Linear Process-Algebraic Format for Probabilistic Systems with Data
(Abstract)
Joost-Pieter Katoen
Jaco van_de_ Pol
Mariëlle Stoelinga
Mark Timmer
pp. 213-222
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems
(Abstract)
Benoît Delahaye
Benoît Caillaud
Axel Legay
pp. 223-232
ABSTRACT
PDF
PURCHASE ARTICLE: $19
Author Index
(PDF)
pp. 233
ABSTRACT
PDF
[Publisher's information]
(PDF)
pp. 234
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
