Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th 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, Wojciech Penczek:
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, Axel Legay, Guangyuan Li, Danny Bøgsted Poulsen:
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, Víctor A. Braberman, Nir Piterman, Sebastián Uchitel:
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, Robert de Groote, Philip K. F. Hölzenspies, Mariëlle Stoelinga, Jaco van de Pol:
Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata. 72-81 - Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers, Kees van Berkel:
Cyclo-Static Data Flow Model for TDM. 82-91
Programming and Runtime Support
- Florian Furbach, Roland Meyer, Klaus Schneider, Maximilian Senftleben:
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, Andrey Mokhov, Fei Xia, Alexandre Yakovlev:
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, Myriam Desainte-Catherine, Camilo Rueda:
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. 186-195
a service of 
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-04-25 05:26 CEST 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:
