The 13th ACSD conference aims at cross–fertilizing both theoretical and applied research on any topic in the conference field, including:<br>design methods, tools and techniques based on models of computation and concurrency (data–flow models, communicating automata, Petri nets, process algebras, graph rewriting, state charts, MSCs, etc.);<br>graph transformations (as an elementary model of concurrency and many applications), logics for concurrency (e.g., modal and temporal logics);<br>verification, testing, synthesis and (performance) analysis;<br>software and hardware memory models, semantics (operational, axiomatic), theorem proving, memory model aware verification;<br>hardware/software co–design, platform–based design, component–based design, energy–aware design, refinement techniques, hardware/software abstractions, co–simulation and verification;<br>synchronous and asynchronous design, asynchronous circuits, globally asynchronous locally synchronous systems, interface design, multi–clock systems, functional and timing verification;<br>concurrency issues in hard real–time systems, embedded systems and Systems on Chip, massively parallel architectures, Networks on Chip, task and communication scheduling, resource, memory and power management, fault–tolerance and Quality of Service issues;<br>concurrency issues in ad–hoc, mobile and wireless networking, wireless sensor networks, communication protocols, cross–layer optimization, resource and power management, fault–tolerance, concurrency–related security and safety–critical issues;<br>systems of systems (e.g., cyber–physical systems, ambient systems): design, verification and deployment;<br>synthesis and control of concurrent systems, (compositional) modeling and design, (modular) synthesis and analysis, distributed simulation and implementation, (distributed) controller synthesis, adaptive systems, supervisory control;<br>concurrent programming, scalability and the Cloud;<br>(industrial) case studies of general interest, gaming applications, consumer electronics and multimedia, automotive systems, (bio–)medical applications, internet and grid computing, etc.;<br>business process modelling, simulation and verification, (distributed) workflow execution, business process (de–)composition, interorganisational and heterogeneous workflow systems, computer–supported collaborative work systems, web services.<br>
Abbrevation
ACSD
City
Barcelona
Country
Spain
Deadline Paper
Start Date
End Date
Abstract