10. ACSD 2010: Braga, Portugal

Luís Gomes, Victor Khomenko, João M. Fernandes (Eds.): 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4066-5

Circuits

Andrey Mokhov, Arseniy Alekseyev, Alexandre Yakovlev:
Automated Synthesis of Instruction Codes in the Context of Micro-architecture Design. 3-12
Dominic Wist, Mark Schäfer, Walter Vogler, Ralf Wollowski:
STG Decomposition: Internal Communication for SI Implementability. 13-23
W. B. Toms, David A. Edwards:
A Complete Synthesis Method for Block-Level Relaxation in Self-Timed Datapaths. 24-34
Charlie Brej:
Wagging Logic: Implicit Parallelism Extraction Using Asynchronous Methodologies. 35-44

Performance, Security, and Reliability

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten:
From POOSL to UPPAAL: Transformation and Quantitative Analysis. 47-56
Jean-Baptiste Voron, Clement Demoulins, Fabrice Kordon:
Adaptable Intrusion Detection Systems Dedicated to Concurrent Programs: A Petri Net-Based Approach. 57-66
Wei Song, Doug Edwards:
An Asynchronous Routing Algorithm for Clos Networks. 67-76
Laurent Doyen, Thomas A. Henzinger, Axel Legay, Dejan Nickovic:
Robustness of Sequential Circuits. 77-84
Fatemeh Ghassemi, Ali Movaghar, Wan Fokkink:
Towards Performance Evaluation of Mobile Ad Hoc Network Protocols. 85-92

Model Checking 1

Tuomas Launiainen, Keijo Heljanko, Tommi A. Junttila:
Efficient Model Checking of PSL Safety Properties. 95-104
Antti Siirtola:
Cut-Offs with Network Invariants. 105-114
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema:
Order-Independence of Vector-Based Transition Systems. 115-123
Alban Linard, Emmanuel Paviot-Adet, Fabrice Kordon, Didier Buchs, Samuel Charron:
polyDD: Towards a Framework Generalizing Decision Diagrams. 124-133

Synchronous Systems

Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier:
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. 137-146
Bijoy A. Jose, Jason Pribble, Sandeep K. Shukla:
Faster Software Synthesis Using Actor Elimination Techniques for Polychronous Formalism. 147-156
Mike Gemunde, Jens Brandt, Klaus Schneider:
A Formal Semantics of Clock Refinement in Imperative Synchronous Languages. 157-168

Model Checking 2

Pepijn Crouzen, Holger Hermanns:
Aggregation Ordering for Massively Compositional Models. 171-180
Jens Brandt, Klaus Schneider, Sumit Ahuja, Sandeep K. Shukla:
The Model Checking View to Clock Gating and Operand Isolation. 181-190
Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs:
Partial Order Reduction for Branching Security Protocols. 191-200
Parisa Heidari, Hanifa Boucheneb:
Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets. 201-210

Probabilistic and Stochastic Systems

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer:
A Linear Process-Algebraic Format for Probabilistic Systems with Data. 213-222
Benoît Delahaye, Benoît Caillaud, Axel Legay:
Probabilistic Contracts: A Compositional Reasoning Methodology for the Design of Stochastic Systems. 223-232

Last update Wed May 22 22:47:26 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page