default search action
14th ACSD 2014: Tunis La Marsa, Tunisia
- 14th International Conference on Application of Concurrency to System Design, ACSD 2014, Tunis La Marsa, Tunisia, June 23-27, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-4281-7
Logic and Model-Checking
- Michal Knapik
, Artur Meski
Action Synthesis for Branching Time Logic: Theory and Applications. 1-10 - Yves-Stan Le Cornec, Franck Pommereau:
Modular µ-Calculus Model-Checking with Formula-Dependent Hierarchical Abstractions. 11-20
Automata
- Arpit Sharma, Joost-Pieter Katoen
Layered Reduction for Abstract Probabilistic Automata. 21-31 - Alexandre David, Kim G. Larsen
Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata. 32-41 - Ferenc Bujtor, Walter Vogler:
Failure Semantics for Modal Transition Systems. 42-51 - Nicolás D'Ippolito
Controllability in Partial and Uncertain Environments. 52-61
Dataflow
- Robert de Groote, Philip K. F. Hölzenspies, Jan Kuper, Gerard J. M. Smit:
Multi-rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs. 62-71 - Waheed Ahmad
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. 72-81 - Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers
Cyclo-Static Data Flow Model for TDM. 82-91
Programming and Runtime Support
- Florian Furbach, Roland Meyer, Klaus Schneider
Memory Model-Aware Testing - A Unified Complexity Analysis. 92-101 - Aurelien Deharbe, Frédéric Peschanski:
The Omniscient Garbage Collector: A Resource Analysis Framework. 102-111 - Thomas Carle, Manel Djemal, Dumitru Potop-Butucaru, Robert de Simone, Zhen Zhang:
Static Mapping of Real-Time Applications onto Massively Parallel Processor Arrays. 112-121 - Ashur Rafiev, Alexei Iliasov, Alexander B. Romanovsky
Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn - An Architecture-Open Resource-Driven Cross-Layer Modelling Framework. 122-131
Unfolding and Tools
- Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon:
Diagnosability under Weak Fairness. 132-141 - Kari Kähkönen, Keijo Heljanko
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution. 142-151 - Imen Khemaissia, Olfa Mosbahi, Mohamed Khalgui
New Automatic Agent-Based Solutions for Feasible Reconfigurable MP-SoC Architectures. 152-158 - Fabrice Kordon, Francis Hulin-Hubard:
BenchKit, a Tool for Massive Concurrent Benchmarking. 159-165
Interaction
- S. Akshay, Loïc Hélouët, Madhavan Mukund:
Sessions with an Unbounded Number of Agents. 166-175 - Antti Siirtola
Parametrised Interface Automata. 176-185 - Jaime Arias
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. 186-195
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-14 20:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: